data informativity for system analysis and control part 1...
TRANSCRIPT
![Page 1: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/1.jpg)
— 1
Data informativity for system analysis andcontrol part 1: analysis
Jaap Eising, Henk J. van Waarde, Harry L. Trentelman, and M. Kanat Camlibel
University of Groningen
39th Benelux Meeting on Systems and Control
![Page 2: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/2.jpg)
— 2
Motivation
Model-based vs Data-driven.Control and Analysis of unknown systems:
Data Model Controller/Analysis
![Page 3: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/3.jpg)
— 2
Motivation
Model-based vs Data-driven.Control and Analysis of unknown systems:
Model-based control
Data Model Controller/Analysis
![Page 4: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/4.jpg)
— 2
Motivation
Model-based vs Data-driven.Control and Analysis of unknown systems:
Model-based controlSystem identification
Data Model Controller/Analysis
![Page 5: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/5.jpg)
— 2
Motivation
Model-based vs Data-driven.Control and Analysis of unknown systems:
Model-based controlSystem identification
Data Model Controller/Analysis
Persistency of excitation
![Page 6: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/6.jpg)
— 2
Motivation
Model-based vs Data-driven.Control and Analysis of unknown systems:
Model-based controlSystem identification
Data Model Controller/Analysis
Persistency of excitation
Data-driven control
![Page 7: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/7.jpg)
— 3
Motivation
The main observation:
Consider the discrete-time, linear time-invariant system:
x(t+ 1) = Asx(t) +Bsu(t).
![Page 8: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/8.jpg)
— 3
Motivation
The main observation:
Consider the discrete-time, linear time-invariant system:
x(t+ 1) = Asx(t) +Bsu(t).
Suppose that As and Bs are unknown, but that we have access to measurementson this system. We want to resolve whether the system (As, Bs) is stabilizable.
![Page 9: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/9.jpg)
— 3
Motivation
The main observation:
Consider the discrete-time, linear time-invariant system:
x(t+ 1) = Asx(t) +Bsu(t).
Suppose that As and Bs are unknown, but that we have access to measurementson this system. We want to resolve whether the system (As, Bs) is stabilizable.We can only conclude that the system is stabilizable if all systems compatiblewith the measurements are stabilizable.
![Page 10: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/10.jpg)
— 4
Motivation
Contents
1. Motivation
2. Informativity Framework
3. Results on informativity for analysis
4. Conclusions
Not in this talk: Data-driven control, controller design, disturbances, noise.
![Page 11: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/11.jpg)
— 5
Informativity Framework
Informativity Framework
![Page 12: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/12.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Three important parts.
![Page 13: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/13.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Model Class ΣContains the ‘true’system.
![Page 14: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/14.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Model Class ΣContains the ‘true’system.
Data DGenerated by the ‘true’system.Set of all systems thatare compatible: ΣD.
![Page 15: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/15.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Model Class ΣContains the ‘true’system.
Data DGenerated by the ‘true’system.Set of all systems thatare compatible: ΣD.
Property PAny system-theoreticproperty.Set of all systems thathave this property: ΣP .
![Page 16: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/16.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Model Class ΣContains the ‘true’system.
Data DGenerated by the ‘true’system.Set of all systems thatare compatible: ΣD.
Property PAny system-theoreticproperty.Set of all systems thathave this property: ΣP .
We say that the data D are informative for property P if ΣD ⊆ ΣP .
![Page 17: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/17.jpg)
— 6
Informativity Framework
The informativity framework for analysis.
Model Class ΣContains the ‘true’system.
Data DGenerated by the ‘true’system.Set of all systems thatare compatible: ΣD.
Property PAny system-theoreticproperty.Set of all systems thathave this property: ΣP .
We say that the data D are informative for property P if ΣD ⊆ ΣP .
Informativity problemProvide necessary and sufficient conditions on D under which the data areinformative for property P .
![Page 18: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/18.jpg)
— 7
Informativity Framework
Informativity for stabilizability.
Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).
![Page 19: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/19.jpg)
— 7
Informativity Framework
Informativity for stabilizability.
Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).Suppose that we measure the state and input for time 0 up to T .
U− :=[u(0) u(1) · · · u(T − 1)
], X :=
[x(0) x(1) · · · x(T )
],
X− :=[x(0) x(1) · · · x(T − 1)
], X+ :=
[x(1) x(2) · · · x(T )
].
Then the set of all systems compatible with the data is equal to:
ΣD = {(A,B) | X+ = AX− +BU−}
![Page 20: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/20.jpg)
— 7
Informativity Framework
Informativity for stabilizability.
Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).Suppose that we measure the state and input for time 0 up to T .
U− :=[u(0) u(1) · · · u(T − 1)
], X :=
[x(0) x(1) · · · x(T )
],
X− :=[x(0) x(1) · · · x(T − 1)
], X+ :=
[x(1) x(2) · · · x(T )
].
Then the set of all systems compatible with the data is equal to:
ΣD = {(A,B) | X+ = AX− +BU−}
Consider stabilizability, and let:
ΣP = {(A,B) | (A,B) is stabilizable}
![Page 21: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/21.jpg)
— 8
Informativity Framework
Informativity for stabilizability.
With data (U−, X) as before and sets:
ΣD = {(A,B) | X+ = AX− +BU−}ΣP = {(A,B) | (A,B) is stabilizable.}
Informativity for stabilizability
The data (U−, X) are informative for stabilizability if ΣD ⊆ ΣP .
![Page 22: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/22.jpg)
— 9
Informativity Framework
The informativity framework for control.
Let the ‘true’ system be (As, Bs) and data (U−, X) as before.
![Page 23: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/23.jpg)
— 9
Informativity Framework
The informativity framework for control.
Let the ‘true’ system be (As, Bs) and data (U−, X) as before.
Suppose now that we are interested in stabilization by static state feedback: FindK such that As +BsK is stable.
![Page 24: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/24.jpg)
— 9
Informativity Framework
The informativity framework for control.
Let the ‘true’ system be (As, Bs) and data (U−, X) as before.
Suppose now that we are interested in stabilization by static state feedback: FindK such that As +BsK is stable.
We say the data D is informative for property P(K) if there exists a K such thatΣD ⊆ ΣP(K).
![Page 25: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/25.jpg)
— 9
Informativity Framework
The informativity framework for control.
Let the ‘true’ system be (As, Bs) and data (U−, X) as before.
Suppose now that we are interested in stabilization by static state feedback: FindK such that As +BsK is stable.
We say the data D is informative for property P(K) if there exists a K such thatΣD ⊆ ΣP(K).
Informativity problem for controlProvide necessary and sufficient conditions on D under which there exists a Ksuch that the data are informative for property P(K).
Control design problem
If D are informative for P(K), find K such that ΣD ⊆ ΣP(K).
![Page 26: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/26.jpg)
— 10
Results on informativity for analysis
Results on informativity for analysis
![Page 27: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/27.jpg)
— 11
Results on informativity for analysis
Data-driven Hautus test.Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).
![Page 28: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/28.jpg)
— 11
Results on informativity for analysis
Data-driven Hautus test.Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).With data (U−, X) as before and sets:
Σi/s = {(A,B) | X+ = AX− +BU−},Σstab = {(A,B) | (A,B) is stabilizable},Σcont = {(A,B) | (A,B) is controllable}.
![Page 29: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/29.jpg)
— 11
Results on informativity for analysis
Data-driven Hautus test.Consider the class of discrete-time, linear time-invariant input/state systems,containing ‘true’ system: x(t+ 1) = Asx(t) +Bsu(t).
Theorem (Data-driven Hautus tests)
The data (U−, X) are informative for controllability if and only if
rank(X+ − λX−) = n ∀λ ∈ C.
Similarly, the data (U−, X) are informative for stabilizability if and only if
rank(X+ − λX−) = n ∀λ ∈ C with |λ| > 1.
![Page 30: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/30.jpg)
— 12
Results on informativity for analysis
Example
Theorem (Data-driven Hautus test)
The data (U−, X) are informative for controllability if and only if
rank(X+ − λX−) = n ∀λ ∈ C.
![Page 31: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/31.jpg)
— 12
Results on informativity for analysis
Example
Theorem (Data-driven Hautus test)
The data (U−, X) are informative for controllability if and only if
rank(X+ − λX−) = n ∀λ ∈ C.
Let n = 2 and
x0 =
[00
], x1 =
[10
], x2 =
[01
], u0 = 1, u1 = 0.
![Page 32: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/32.jpg)
— 12
Results on informativity for analysis
Example
Theorem (Data-driven Hautus test)
The data (U−, X) are informative for controllability if and only if
rank(X+ − λX−) = n ∀λ ∈ C.
Let n = 2 and
x0 =
[00
], x1 =
[10
], x2 =
[01
], u0 = 1, u1 = 0.
This implies that
X+ =
[1 00 1
], X− =
[0 10 0
], =⇒ X+ − λX− =
[1 −λ0 1
]
![Page 33: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/33.jpg)
— 12
Results on informativity for analysis
Example
Theorem (Data-driven Hautus test)
The data (U−, X) are informative for controllability if and only if
rank(X+ − λX−) = n ∀λ ∈ C.
Let n = 2 and
x0 =
[00
], x1 =
[10
], x2 =
[01
], u0 = 1, u1 = 0.
Indeed:
Σi/s =
{([0 a11 a2
],
[10
])| a1, a2 ∈ R
}
![Page 34: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/34.jpg)
— 13
Results on informativity for analysis
Observability
Given C, consider the class of autonomous discrete-time, linear time-invariantsystems, containing ‘true’ system: x(t+ 1) = Asx(t), y(t) = Cx(t).
![Page 35: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/35.jpg)
— 13
Results on informativity for analysis
Observability
Given C, consider the class of autonomous discrete-time, linear time-invariantsystems, containing ‘true’ system: x(t+ 1) = Asx(t), y(t) = Cx(t).With state measurements X as before we have sets:
Σs = {A | X+ = AX−},Σstab = {A | (C,A) is observable},Σcont = {A | (C,A) is detectable}.
![Page 36: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/36.jpg)
— 13
Results on informativity for analysis
Observability
Given C, consider the class of autonomous discrete-time, linear time-invariantsystems, containing ‘true’ system: x(t+ 1) = Asx(t), y(t) = Cx(t).
Theorem (Data-driven Hautus tests)
The data X are informative for observability with C if and only if kerC ⊆ imX−and for all λ ∈ C and v ∈ Cn we have(
X+ − λX−CX−
)v =⇒ X−v = 0.
The data X are informative for detectability with C if and only if kerC ⊆ imX−and for all λ ∈ C with |λ| > 1 and v ∈ Cn we have(
X+ − λX−CX−
)v =⇒ X−v = 0.
![Page 37: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/37.jpg)
— 14
Results on informativity for analysis
Example
Let C =(1 0 0
)and suppose that X− =
0 00 11 0
, X+ =
0 11 00 0
.
![Page 38: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/38.jpg)
— 14
Results on informativity for analysis
Example
Let C =(1 0 0
)and suppose that X− =
0 00 11 0
, X+ =
0 11 00 0
.
Theorem (Data-driven Hautus tests)
The data X are informative for observability with C if and only if kerC ⊆ imX−
and for all λ ∈ C and v ∈ Cn we have
(X+ − λX−CX−
)v =⇒ X−v = 0.
![Page 39: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/39.jpg)
— 14
Results on informativity for analysis
Example
Let C =(1 0 0
)and suppose that X− =
0 00 11 0
, X+ =
0 11 00 0
.
Theorem (Data-driven Hautus tests)
The data X are informative for observability with C if and only if kerC ⊆ imX−
and for all λ ∈ C and v ∈ Cn we have
(X+ − λX−CX−
)v =⇒ X−v = 0.
Indeed kerC ⊆ imX− and
(X+ − λX−CX−
)=
0 11 −λ−λ 00 0
.
![Page 40: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/40.jpg)
— 15
Conclusions
Conclusions
![Page 41: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/41.jpg)
— 16
Conclusions
Conclusions
> We have introduced a framework for dealing with informativity problems.
> We resolved analysis problems regarding controllability, stabilizability,observability and detectability.
> Some examples illustrated these results.
![Page 42: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/42.jpg)
— 16
Conclusions
Conclusions
> We have introduced a framework for dealing with informativity problems.
> We resolved analysis problems regarding controllability, stabilizability,observability and detectability.
> Some examples illustrated these results.
![Page 43: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/43.jpg)
— 16
Conclusions
Conclusions
> We have introduced a framework for dealing with informativity problems.
> We resolved analysis problems regarding controllability, stabilizability,observability and detectability.
> Some examples illustrated these results.
![Page 44: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/44.jpg)
— 16
Conclusions
Conclusions
> We have introduced a framework for dealing with informativity problems.
> We resolved analysis problems regarding controllability, stabilizability,observability and detectability.
> Some examples illustrated these results.
Based on: H. J. Van Waarde, J. Eising, H. L. Trentelman, and M. K. Camlibel,“Data informativity: a new perspective on data-driven analysis and control,”IEEE Transactions on Automatic Control.
![Page 45: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/45.jpg)
— 17
Conclusions
Extensions
> Data-driven control.
> Different model classes:
• Nonlinear systems.
• Disturbances.
• Parametrization (e.g. network structure).
> Different data:
• Noise.
• Input/output measurements
> Different properties.
![Page 46: Data informativity for system analysis and control part 1 ...disc.tudelft.nl/wp-content/uploads/2020/03/Jaap-Eising-Presentation.… · Informativity Framework The informativity framework](https://reader034.vdocuments.us/reader034/viewer/2022052102/603c608e40117d25a663d943/html5/thumbnails/46.jpg)
— 18
Conclusions
Questions?