Controllability and Observability: Dr. Wenjie Dong
Controllability and Observability: Dr. Wenjie Dong
ẋ = Ax + Bu (1)
Consider the network shown in Fig. 1(a). Its state variable x is the voltage
across the capacitor. If x(0) = 0, then x(t) = 0 for all t ≥ 0 no matter
what input is applied. The system is not controllable.
Figure 1:
Consider the network shown in Fig. 1(b). It has two state variables x1 and
x2 as shown. The input can transfer x1 or x2 to any value; but it cannot
transfer x1 and x2 to any values. For example. if x1 (0) = x2 (0) = 0, then
no matter what input is applied, x1 (t) always equals x2 (t) for all t ≥ 0.
Thus the equation that describes the network is not controllable.
0 0
5. If, in addition, all eigenvalues of A have negative real parts, then the
unique solution of
then
Z t1
At1 A(t1 −τ ) 0 A0 (t1 −τ )
x(t1 ) = e x(0) − e BB e dτ Wc−1 (t1 )[e At1 x(0)
0
−x1 ] = x1
0 0
So Z t1
0=vv+ 0
v 0 e A(t1 −τ ) Bu(τ )dτ = v 0 v + 0 = kvk2
0
which contradicts v 6= 0. So, Wc is nonsingular.
W. Dong (UTRGV, Dept. of ECE) 7 / 94
Controllability
v 0 Ak B = 0, k = 0, 1, 2, . . . , n − 1
which implies ρ([Ā − λI, B̄]) < n and consequently, ρ([A − λI, B]) < n at
some eigenvalue of A, which contradicts [A − λI, B] has full row rank.
(2) ↔ (5): If A is stable, then the unique solution of (4) can be expressed
as in (5). The Gramian Wc is always positive semidefinite. It is positive
definite if and only if Wc is nonsingular.
0 1 0 0 0
0 0 −1 0 1
ẋ x + u
=
0 0 0 1 0
0 0 5 0 −2
y = [1, 0, 0, 0]x
Solution:
0 1 0 2
1 0 2 0
C = [B, AB, A2 B, A3 B] =
0 −2 0
−10
−2 0 −10 0
MATLAB functions: ctrb and gram will generate the controllability matrix
and controllability Gramian.
Cm=ctrb(A,B);
SYS=ss(A,B,C,D);
Wc=gram(SYS,’c’);
−0.5 0 0.5
ẋ = x+ u
0 −1 1
Solution:
0.5 −0.25
C = [B, AB] =
1 −1
Its rank is 2. The system is controllable.
−1 0 1
ẋ = x+ u
0 −1 1
Solution:
1 −1
C = [B, AB] =
1 −1
Its rank is 1. The system is not controllable.
For a system (A, B), assume B ∈ R p has full column rank and
rank(C) = n. Let µm be the least integer such that column vector Aµm bm
is linearly dependent on column vectors occurring to the left of it in the
controllability matrix C = [B, AB, A2 B, . . . , An−1 B] for 1 ≤ m ≤ p, then
µ1 + µ2 + · · · + µp = rank(C) = n (9)
µ = max{µ1 , µ2 , . . . , µp }
0 1 0 0 0 0
3 0 0 2 1 0
ẋ x + u
=
0 0 0 1 0 0
0 −2 0 0 0 1
1 0 0 0
y = x
0 0 1 0
0 0 1 0 0 2 −1 0
1 0 0 2 −1 0 0 −2
[B, AB, A2 B, A3 B] =
0 0 0 1 −2 0 0 −4
0 1 −2 0 0 4 2 0
Theorem 3
The controllability property is invariant under any equivalence
transformation.
Proof.
Assume the system is (A, B), after an equivalence transform is P, the
system is (PAP −1 , PB). So
Theorem 4
The set of the controllability indices of (A, B) is invariant under any
equivalence transformation and any reordering of the columns of B.
ρ(Ck ) = ρ(C¯k )
B̂ = BM
ẋ = Ax + Bu (13)
y = Cx + Du (14)
Solution: If the input is zero, no matter what the initial voltage across the
capacitor is, the output is identically zero because of the symmetry of the
four resistors. We know the input and output (both are identically zero),
but we cannot determine uniquely the initial state. Thus the system is not
observable.
Solution: The network has two state variables: the current x1 through the
inductor and the voltage x2 , across the capacitor. The input u is a current
source. If u = 0, the network reduces to the one shown in Fig. 3(b). If
x1 (0) = a 6= 0 and x2 = 0, then the output is identically zero. Any
x(0) = [a, 0]0 and u(t) ≡ 0 yield the same output y(t) ≡ 0. Thus there is
no way to determine the initial state [a, 0]0 uniquely and the equation that
describes the network is not observable.
Then,
where Z t
ȳ(t) = y(t) − C e A(t−τ ) Bu(τ )dτ − Du(t)
0
is a known function.
• Equation (13) is observable if and only if the initial state x(0) can be
determined uniquely from its zero-input response over a finite time interval.
Theorem 6
The state equation (13) is observable if and only if the n × n matrix
Z t
Wo (t) = e A τ C 0 Ce Aτ dτ (17)
0
0 0
This yields a unique x(0). This shows that if Wo (t), for any t > 0, is
nonsingular, then (13) is observable.
which implies
Ce At v ≡ 0 (19)
is nonsingular for any t. The pair (A0 , B 0 ) is observable if and only if, by
replacing A by A0 and C by B 0 in (17),
Z t
Wo (t) = e Aτ BB 0 e A τ dτ
0
is nonsingular for any t. The two conditions are identical and the theorem
follows.
2 The n × n matrix
Z t
Wo (t) = e A τ C 0 Ce Aτ dτ (20)
0
C
CA
O= .. (21)
.
CAn−1
C
has full column rank at every eigenvalue, λ, of A.
5 If, in addition, all eigenvalues of A have negative real parts, then the
unique solution of
A0 Wo + Wo A = −C 0 C (22)
C
CA
On−q+1 := .. (26)
.
CAn−q
Theorem 9
The observability property is invariant under any equivalence
transformation.
Theorem 10
The set of the observability indices of (A, C) is invariant under any
equivalence transformation and any reordering of the columns of C.
Ce At x(0) = ȳ(t)
C ȳ(0)
CA ȳ(0)
˙
.. x(0) = .. =: ỹ(0)
. .
CAν−1 ȳ (ν−1) (0)
or
Onu x(0) = ỹ(0)
then
x(0) = [Oν0 Oν ]−1 Oν0 ỹ(0)
1 1 0 0 1
is it observable or not?
C 1 1 1
O = CA = 1 3 1
CA2 1 5 1
1 1 0 0 0 0
0 1 1 0 0 1
ẋ = 0 0 1 0 0 0
x + u, y = [0, 1, 1, 0, 1]x (28)
0 0 0 2 1 0
0 0 0 0 2 1
is it observable or not?
0 1 0 0 0
0 0 1 0 0
A − λ1 I 0 0 0 0 0
=
C 0 0 0 1 1
0 0 0 0 1
0 1 1 0 1
ẋ = Jx + Bu (29)
y = Cx (30)
J = diag(J1 , J2 )
The row of B corresponding to the last row of Jij is denoted by blij , The
column of C corresponding to the first column of Jij is denoted by cfij .
W. Dong (UTRGV, Dept. of ECE) 46 / 94
Conditions in Jordan-Form Equations
Theorem 11
1. The state equation in (29)-(30) is controllable if and only if the three
row vectors {bl11 , bl12 , bl13 } are linearly independent and the two row
vectors {bl21 , bl22 } are linearly independent.
2. The state equation in (29)-(30) is observable if and only if the three
column vectors {cf 11 , cf 12 , cf 13 } are linearly independent and the two
column vectors {cf 21 , cf 22 } are linearly independent.
Proof.
The controllability can be proved by using the condition that the matrix
[A − sI, B] has full row rank at every eigenvalue of A.
The
observability can be proved by using the condition that the matrix
A − sI
has full column rank at every eigenvalue of A.
C
Remarks:
If a state equation is in Jordan form. then the controllability of the
state variables associated with one eigenvalue can be checked
independently from those associated with different eigenvalues.
The controllability of the state variables associated with the same
eigenvalue depends only on the rows of B corresponding to the last
row of all Jordan blocks associated with the eigenvalue. All other
rows of B play no role in determining the controllability.
The observability of the state variables associated with the same
eigenvalue depends only on the columns of C corresponding to the
first column of all Jordan blocks associated with the eigenvalue. All
other columns of C play no role in determining the observability.
λ1 1 0 0 0 0 0 0 0 0
0 λ1 0 0 0 0 0 1 0 0
0 0 λ1 0 0 0 0 1 0
ẋ = 0 0 0 λ1 0 0 0 1 1 1
x + u
0 0 0 0 λ2 1 0 1 2 3
0 0 0 0 0 λ2 1 0 1 0
0 0 0 0 0 0 λ2 1 1 1
1 1 2 0 0 2 1
y = 1 0 1 2 0 1 1 x
1 0 2 3 0 2 0
Solution: The matrix J has two distinct eigenvalues λ1 and λ2 . There are
three Jordan blocks, with order 2, 1 and 1, associated with λ1 . The rows
of B corresponding to the last row of the three Jordan blocks are [1, 0, 0],
[0, 1, 0], and [1, 1, 1]. The three rows are linearly independent. There is
only one Jordan block with order 3 associated with λ2 . The row of B
corresponding to the last row of the Jordan block is [1, 1, 1] which is
nonzero and is therefore linearly independent. Thus we conclude that the
state equation is controllable.
The conditions for the system to be observable are that the three columns
[1, 1, 1]0 , [2, 1, 2]0 and [0, 2, 3]0 are linearly independent (they are) and the
one column [0, 0, 0]0 is linearly independent (it is not). Therefore the state
equation is not observable.
Corollary 12
Consider an n-dimensional Jordan-form state equation with p inputs and q
outputs.
A necessary condition for the state equation to be controllable is
m ≤ p.
A necessary condition for the state equation to be observable is
m ≤ q.
Corollary 13
A single-input Jordan-form state equation is controllable if and only if
there is only one Jordan block associated with each distinct eigenvalue and
every entry of B corresponding to the last row of each Jordan block is
different from zero.
Corollary 14
A single-output Jordan-form state equation is observable if and only if
there is only one Jordan block associated with each distinct eigenvalue and
every entry of C corresponding to the first column of each Jordan block is
different from zero.
0 1 0 0 10
0 0 1 0
ẋ = x + 9 u
0 0 0 0 0
0 0 0 −2 1
y = [1, 0, 0, 2]x + u
Solution:
There are two Jordan blocks, one with order 3 and associated with
eigenvalue 0, the other with order 1 and associated with eigenvalue −2.
The entry of B corresponding to the last row of the first Jordan block is
zero; thus the state equation is not controllable. The two entries of C
corresponding to the first column of both Jordan blocks are different from
zero; thus the state equation is observable.
Consider
ẋ = Ax + Bu (31)
y = Cx + Du (32)
C¯ = PC, Ō = OP −1
where C̄c is the controllability matrix of (Āc , B̄c ). Because the columns of
Ākc B̄c , for k ≥ n1 , are linearly dependent on the columns of C¯c , the
condition ρ(C) = n1 , implies ρ(C¯c ) = n1 . Thus the n1 -dimensional state
equation in (37) is controllable.
Next we show that (37) has the same transfer matrix as (31). Because
(31) and (49) have the same transfer matrix. we need to show only that
(49) and (37) have the same transfer matrix. By direct verification, we
can show
W. Dong (UTRGV, Dept. of ECE) 60 / 94
Canonical Decomposition
where
M = (sI − Āc )−1 Ā12 (sI − Āc̄ )−1
Thus the transfer matrix of (4) is
Remarks:
By the state transformation x̄ = Px, the n-dimensional state space is
divided into two subspaces. One is the n1 -dimensional subspace that
consists of all vectors of the form [x̄c0 , 0]0 ; the other is the
(n − n1 )-dimensional subspace that consists of all vectors of the form
[0, x̄c̄0 ]0 .
The input u can transfer x̄c from any state to any other state.
The input u cannot control x̄c̄ because, as we can see from (49) u
does not affect x̄c̄ directly, nor indirectly through the state x̄c .
By dropping the uncontrollable state vector, we obtain a controllable
state equation of lesser dimension that is zero-state equivalent to the
original equation.
1 1 0 0 1
ρ(C2 ) = ρ 1 0 1 0 = 2 < 3
0 1 1 1
The system is not controllable. Let
0 1 1
P −1 =Q= 1 0 0
0 1 0
then
1 0 0 1 0
Ā = PAP −1 = 1 1 0 , B̄ = PB = 0 1 , C̄ = [1, 2, 1]
0 0 1 0 0
1 0 1 0
x̄˙ c = x̄c + u, y = [1, 2]x̄c
1 1 0 1
The MATlAB function ctrbf transforms (31) into (49) except that the
order of the columns in P −1 is reversed. Thus the resulting equation has
the form
Āc̄ 0 0
,
Ā21 Āc B̄c
Remarks:
By the equivalence transformation x̄ = Px, the n-dimensional state
space is divided into two subspaces. One is the n2 -dimensional
subspace that consists of all vectors of the form [x̄o , 0]0 ; the other is
the (n − n2 )-dimensional subspace consisting of all vectors of the form
[00 , x̄ō0 ]0 .
The state x̄o can be detected from the output.
x̄ō cannot be detected from the output because, as we can see from
(41), it is not connected to the output either directly, or indirectly
through the state x̄o .
By dropping the unobservable state vector, we obtain an observable
state equation of lesser dimension that is zero-state equivalent to the
original equation.
Theorem 17
where the vector x̄co is controllable and observable, x̄c̄ ō is controllable but
not observable, x̄c̄o is observable but not controllable, and x̄c̄ ō is neither
controllable nor observable.
Pco 0
Po =
0 Pc̄o
P = Po Pc
1 1 0 0 0 0
0 1 0 0 0 1
ẋ 0 0 2 0 0 0
x + u
=
0 0 0 3 0 0
0 0 0 0 3 1
y = [0, 1, 1, 0, 1]x + u
0 1 2 3 4
1 1 1 1 1
2 3 4
C = [B, AB, A B, A B, A B] = 0 0 0 0 0
0 0 0 0 0
1 3 9 27 81
0 0 0 1 0
0 0 3 0 0
1 0 −7 0 0
Āc A12
Ā = Pc APc = 0 1 5
−1
0 0 =
0 Āc̄
0 0 0 2 0
0 0 0 0 3
1
0
0 , C̄ = CPc = [2, 4, 10|, 0] = [C̄c , C̄c̄ ]
B̄ = Pc B = −1
0
0
W. Dong (UTRGV, Dept. of ECE) 78 / 94
Example
For the pair (Āc , C̄c ), the observability matrix is
C̄c 2 4 10
Oc = C̄c Āc = 4 10 28
C̄c Ā2c 10 28 82
Its row rank is 2. We choose
2 4 10
Pco = 4 10 28
0 0 1
C̄c̄
1 0
Oc̄ = C̄c̄ Āc̄ =
2 0
C̄c̄ Ā2c̄
Its row rank is 1.
W. Dong (UTRGV, Dept. of ECE) 79 / 94
Example
We choose
1 0
Pc̄o =
0 1
Define
Pco 0
Po =
0 Pc̄o
The transformation for the Kalman decomposition is
0 1 0 0 1
0 1 0 0 3
P = Po Pc = 0 0 1/4
−1/2 −1/4
0 0 1 0 0
0 0 0 1 0
0 1 0 0 0 2
ẋco xco
−3 4 0 0 0 4
ẋc ō xc ō
−1 1/2 1 0 0 0
= + u
ẋc̄o xc̄o
0 0 0 2 0 0
ẋc̄ ō xc̄ ō
0 0 0 0 3 0
y = [1, 0010]x̄
Consider the network shown in Fig. 4(a). Find its state space model.
Determine the controllability and the observability of the system.
Figure 4: Networks
x1 = L1 ẋ2 for L1
u = x2 + C1 ẋ1 for C1 and L1
L2 ẋ4 + x4 = 0 for L2
v − (x3 + v1 ) v1 + x3
= + C2 ẋ3 for node B
1 1
v − v1 v1
+ C2 ẋ3 = for the node C
1 1
where v is the voltage of node A and v1 is the voltage of node C. Form
the above last two equation, we have
The output is
y = Rx4 + v2 − v1 = x4 + u
W. Dong (UTRGV, Dept. of ECE) 83 / 94
Example
So, the network can be described by
0 −0.5 0 0 0.5
1 0 0 0
ẋ = x + 0 u
0 0 −0.5 0 0
0 0 0 −1 0
y = [0, 0, 0, 1]x + u
It is uncontrollable and unobservable. Because the equation is already of
the form shown in (49), it can be reduced to the following controllable
state equation
0 −0.5 0.5
ẋc = xc + u
1 0 0
y = [0, 0]xc + u
The output is independent of xc , thus the equation can be further reduced
to y = u. This is what we will obtain by using the MATLAB function
minreal.
W. Dong (UTRGV, Dept. of ECE) 84 / 94
Discrete-Time State Equations
Theorem 19
m=0
is nonsingular.
3. The n × np controllability matrix
has rank n (full row rank). The matrix can be generated by calling ctrb in
MATLAB.
W. Dong (UTRGV, Dept. of ECE) 86 / 94
Discrete-Time State Equations
m=0
n n−1
u[n − 2]
x[n] − A x[0] = [B, AB, . . . , A B] .. (56)
.
u[0]
For any x[0] and x[n], an input sequence exists if and only if the
controllability matrix has full row rank. This shows the equivalence of
Statement 1 and Statement 3.
B0
B 0 A0
Wdc [n − 1] = [B, AB, . . . , An−1 B]
..
.
B 0 (A0 )n−1
Definition 20
The discrete-time state equation (49) or the pair (A, C) is said to be
observable if for any unknown initial state x[0], there exists a finite integer
k1 > 0 such that the knowledge of the input sequence u[k] and output
sequence y[k] from k = 0 to k1 suffices to determine uniquely the initial
state x[0]. Otherwise, the equation is said to be unobservable.
m=0
C
has full column rank at every eigenvalue, λ, of A.
5. If, in addition, all eigenvalues of A have magnitudes less than 1, then
the unique solution of
m=0