Chapter 4 Controllability and Observability Part 2
Chapter 4 Controllability and Observability Part 2
Chong-Jin Ong
1 / 23
Outline
1 Observability
2 / 23
Observability
3 / 23
Why is observability important?
The design of many controllers requires the information of the states.
However, some of the state variables are not accessible for direct measurement
⇒ Estimation of unmeasurable states is needed.
Estimation of states is possible if and only if the system observable.
If u(t) = 0 for all t ≥ 0 and x1 (0) = a 6= 0 for some unknown a, and x2 (0) = 0,
⇒ y(t) is identically zero for all time.
4 / 23
Definition
While a general definition of observability exists, the one used here is for LTI
system.
Definition: A linear time-invariant system is observable if every unknown
initial state x(0) can be determined from the knowledge of u(t) and the
observation of y(t) over a finite time interval. Otherwise, the LTI system is
said to be unobservable.
For a system to be observable, all initial states x(0) can be determined using a
finite time interval. If only a subset of the initial states can be determined or
that it takes infinite amount of time to determine all initial states, the system
is not observable.
5 / 23
The study of observability is concerned with the unforced system:
ẋ = Ax, y = Cx
Under complete knowledge of {A, B, C, D} and u(t), the overall system can be
restated as those above.
We first provide one condition for observability.
The others are based on a duality result.
6 / 23
Observability
Theorem 4.2 The n-dimensional LTI system or the pair (A, C) is observable if and
only if the n × n matrix (the observability grammian)
Z t
T
M (0, t) := eA τ C T CeAτ dτ
0
7 / 23
Observability
Proof: (⇐) Suppose M (0, t) is singular for some t > 0 but the system is observable.
We want to show that this leads to a contradiction. M (0, t) is singular means that
there exists a non-zero vector α s.t.
αT M (0, t)α = 0
Z t T
⇒ αT eA t C T CeAt αdt = 0
0
Z t
⇒ kCeAt αk2 dt = 0
0
if x(0) = α. Hence, y(t) is identically zero and the system is not observable, which
leads to a contradiction.
8 / 23
Duality
(A, B) is controllable if and only if (AT , B T ) is observable.
Rt T
(A, B) controllable ⇒ W (0, t) = 0 eAτ BB T eA τ dτ is non-singular.
Rt T
(AT , B T ) observable ⇒ M (0, t) = 0 eAτ BB T eA τ dτ is non-singular.
Using the same argument, we have
(A, C) is observable if and only if (AT , C T ) is controllable.
A, B, C, D AT,CT,BT,D
9 / 23
Conditions
The following statements are equivalent.
1 The pair (A, C) is observable.
Rt T
2 The observability Grammian M (0, t) := 0
eA τ
C T CeAτ dτ is non-singular for
all t > 0.
3 The mn × n observability matrix
C
CA
O=
..
.
CAn−1
Like the case of controllability, the observability matrix, under a new basis
representation is
C̄ CT
C̄ Ā CT T −1 AT
Ō = = = OT
.. ..
. .
C̄ Ān−1 CAn−1 T
11 / 23
Observability Grammian
12 / 23
Computation of Observability Grammian
R∞ T
The expression of M = 0
eA τ
C T CeAτ dτ is hard to compute.
Like the controllability case, there is an expression that allow easy
computation of M . In particular, M satisfies the Lyapunov Equation
AT M + M A = −C T C
13 / 23
Gilbert Decomposition
14 / 23
Proof
Proof: If S is not controllable then
To see that T.F. of S and S̄c are the same, note that T.F. of S̄ is
−1
sI − Āc −Ā12 B̄c
C̄c C̄c̄ + D̄
0 sI − Āc̄ 0
(sI − Āc )−1 (sI − Āc )−1 Ā12 (sI − Āc̄ )−1
B̄c
= C̄c C̄c̄ −1 + D̄
0 (sI − Āc̄ ) 0
= C̄c (sI − Āc )−1 B̄c + D̄ = T. F. of S̄c
16 / 23
Note that the system of S̄ can be considered as two subsystems of the form
where the dynamics of x̄c is affected by x̄c̄ and u, while the dynamics of x̄c̄ is
unaffected by x̄c and u. Hence,
x̄˙ c̄ = Āc̄ x̄c̄
is an uncontrollable subsystem.
17 / 23
Example
1 1 0 0 1
ẋ = 0 1 0 x + 1 0 u
0 1 1 0 1
y= 1 1 1 x
0 1 1 1 2 1
rankU = rank 1 0 1 0 1 0 =2<3
0 1 1 1 2 1
0 1 1
−1
Choose P = 1 0 0 where the last column is arbitrary so long as P is
0 1 0
non-singular. Then
0 1
0 1 1 0 0 1 1 1 0 0
Ā = P AP −1 = 0 0
1 0 1 0 1 0 0 = 1 1 0
1 −1
0 0 1 1 0 1 0 0 0 1
0 1 0 0 1 1 0
= CP −1 =
B̄ = P B = 0 0 1 1 0 = 0 1 , C̄ 1 2 1
1 0 −1 0 1 0 0
18 / 23
An equivalent result exists for an unobservable system (not surprising in view of
duality),
Theorem 4.4: Given a LTI system S. If the observability matrix has rank
n2 (n2 < n), then there exists an equivalent transformation which transforms S
into S̄:
x̄˙ o
Āo 0 x̄o B̄o
= + u
x̄˙ ō Ā12 Āō x̄ō B̄ō
x̄o
y = C̄o 0 + D̄u
x̄ō
and the n2 -dimensional subsystem S̄o of S̄
19 / 23
Proof
Proof: Since rankO = n2 < n. Choose (n − n2 ) l.i. vectors in the null space of the
observability matrix. Let qn2 +1 , · · · , qn be such vectors and choose non-singular Q as
Q = [q1 · · · qn2 · · · qn ]
(Exercise) Note that (Āo , C̄o ) is observable and T.F. of S = T.F. of S̄o .
20 / 23
Example
1 2 1
A= , B= , C= −1 1
0 3 1
C −1 1
Note that O = = . Choose basis for null space as [1 1]T . Then
CA −1 1
1 1 −1 1 −1
Q= q1 q2 = and Q =
0 1 0 1
21 / 23
Gilbert-Kalman Canonical Decomposition
Theorem 4.5 Any LTI system can be converted into the following form using an
appropriate similarity transformation.
x̄˙ cō
Ācō Ā12 Ā13 Ā14 B̄cō
x̄˙ co 0 Āco 0 Ā24 + B̄co u
x̄˙ c̄ō = 0
0 Āc̄ō Ā34 0
x̄˙ c̄o 0 0 0 Āc̄o 0
y = 0 C̄co 0 C̄c̄o + D̄u
22 / 23
Minimality, Controllability and Observability
23 / 23