Escolar Documentos
Profissional Documentos
Cultura Documentos
182
Definition 5-4
b(t)
and
t +u,);s;aiu,)I
-3
-2
-I
for all t in ( - 00, (0), where cJ) is the state transition matrix and W is as defined
in Equation (5-13).
Example 4
FE:
e-Itlu
Since p(Mo(t)) = p(e -Itl) = 1 for all t, the dynamical equation is instantaneously
controllable at every t. However, the dynamical equation is not uniformly
controllable because there exists no althat depends on u, bilt not on t such that
W(t, t + u,) =
t + l1 ,
Jr
for alIt> O.
Example 5
Consider the one-dimensional dynamical equation
b(t)u
with b(t) defined as in Figure 5-5. The dynamical equation is not instantaneous
ly controllable in the interval (-1, 1). However, it is uniformly controllable
in ( 00, oo). This can be easily verified by choosing U c = 5.
Theorem 5-7
AR DYNAMICAL EQUATIONS
183
b(t)
that
S Ct2(U e)I
~*(t
+Ue, t) ~Ctiuc)I
-3
-2
-1
achieved in the time interval U c ; moreover, the magnitude of the control input
will not be arbitrarily large [see (5-14) and note that the input is proportional to
W 1]. In optimal control theory, the condition of uniform controllability is
sometimes required to ensure the stability of an optimal control system.
Time-invariant case. In this subsection, we study the controllability of the
n-dimensional linear time-invariant state equation
FE:
x = Ax +Bu
(5-23)
1equation
tion
Although all the entries of A and B are real numbers, we have agreed to consider them as elements
of the field of complex numbers.
DYNAMICAL EQUATIONS
183
b(t)
,*(t
+(J'c' t)~(li(J'c)1
-3
-2
-1
achieved in the time interval (J'c; moreover, the magnitude of the control input
will not be arbitrarily large [see (5-14) and note that the input is proportional to
W- 1 ]. In optimal control theory, the condition of uniform controllability is
sometimes required to ensure the stability of an optimal control system.
Time-invariant case. In this subsection, we study the controllability of the
n-dimensional1inear time-invariant state equation
FE:
x = Ax +Bu
(5-23)
equation
lon
osing (J'c = 5.
Although all the entries of A and B are real numbers, we have agreed to consider them as elements
of the field of complex numbers.
184
COl'
Example 6
(5-24 )
has rank n.
4. For every eigenvalue Aof A (and consequently for every). in C), the n x (n
complex matrix [)J - A : B] has rank n. 8
*=[1
+ p)
We compute
-1
Proof
The equivalence of statements 1 and 2 follows directly from Theorems 5-1 and
5-4. Since the entries of e- AtB are analytic functions, Theorem 5-3 implies that
the rows of e - AtB are linearly independent on [0, 00) if and only if
1)" - 1 A" - IB : (
1)nAnB : ...] = n
.se[eAtB]
(sI - A)-l B
[B AB
A2B
for any tin [0,00). Let t =0; then the equation reduces to
p[B: - AB: ..
. Example 7
+x2=u,or
[~J=[
p[B: AB
)YNAMICAL EQUATIONS
185
Example 6
Consider the inverted pendulum system studied in Figure 3-15. Its dynamical
equation is developed in (3-42). For convenience, we assume 2mg/(2M +m) = 1,
2g(M +m)j(2M +m)l 5,2f(2M +m)= 1, and 1/(2M +m)I=2. Then Equation
(3-42) becomes
dt
(5-24)
+ p)
=[1
1
0
0
0
0
-1
0
5
llx+
We compute
~ctly
j4.n-
B: ... J=n
~duces
to
U = [B
AB
A2B
A 3 BJ
[J}
[j
[1
1
0
-2
0
-10
0 OJx
(5-25)
-Ill
This matrix can be readily shown to have rank 4. Hence (5-25) is controllable.
Thus, if X3 = 8 is different from zero by a small amount, a control u can be found
to bring it back to zero. In fact, a control exists to bring x I = y, X3 = 8, and their
derivatives back to zero. This is certainly consistent with our experience of
balancing a broom on our hand.
, Example 7
-AB:"': (-l)n-1An-1BJ
. independence, we conc1 ude
f and only if p[B : AB : ...
tatements 1 and 3. In the
; of e- AtB are linearly inde
independent on [0, (0) over
equivalence of statements 1
have
Consider the platform system shown in Figure 5-2. It is assumed that the mass
of the platform is zero and the force is equally divided among the two spring
systems. The spring constants are assumed to be 1, and the viscous friction
coefficients are assumed to be 2 and 1 as shown. Then we have Xl +2Xl = u and
X2
=U, or
(5-26)
p[D: AD]
.ee Appendix G.
p [~.5
=~25J =2
186
(J[0.5J [0.5
O Sf
W(O, 2) -_
J.2
[e
,f
J .r _ -
[1.6
(
CON
and
Ul(t)= -[0.5
1]
eo.S
[
O Sf
1] [e
,f
d -
6:B
6.33J
27
u(t)
40
Example 8
[~J=
Clearly we have
pU=
X2 (t)
* Controllability
10
oI
4
~
-s
Figure 5-6
indices
U k =[B:AB:
6.33J
0e Jdr [1.6
6.33 27
T
187
DYNAMICAL EQUATIONS
and
u,(t)=
for t in [0,2]. If a force of the form Ul is applied, the platform will come to rest
at t = 2. The behavior of Xb X2 and of the input Ul are plotted by using solid
Consider again the platform system shown in Figure 5-2. Now it is assumed that
the viscous friction coefficient and the spring constant of both spring systems are
all equal to 1. Then the state-variable description of the platform system is
Clearly we have
and the state equation is not controllable. If Xl (0) = x 2(0), it is possible to find
an input to transfer x(O) to the zero state in a finite time. However, if Xl(O) i=
X2(0), no input can transfer both Xl(O) and X2(0) to zero in a finite time.
*Controllability indices
Let A and B be n x nand n x p constant matrices. Define
k =0,1,2, ...
~form
of u.
(5-27)
188
explicitly as
Uk=[b l
Ab l
bp
b2
A2bl
Ab p
I. .
A 2 bp
ro
rl
: Akb l
Akb p]
(5-28)
"---...'V,.-----'
.::;p
Since there are at most n linearly independent columns in U 00' there exists an
integer J1- such that
0'::;rO'::;r1'::;'"
and
rJl
rJl+l
'::;rJl-I
(5-29a)
(5-29b)
<P
Corollary 5-7
The state equation FE is contn
Un - Ii =
then
(5-30)
(5-31 )
CXh
x=[l
o
-2
1 0
y [0 0
p is the rank of B.
[.8 : AB : A2B]
=[
which implies
l DYNAMICAL EQUATIONS
,]
(5-28)
mns)
Un-Ii
+a p + 1 Ab l
.Abp +a p + lA 2 b 1
left-hand-side columns. Pro
,4, ... ,are linearly dependent
operty, we have
-s;p
olumns in U em there exists an
(5-29 a )
(5-29b)
<p
1 of A and
,ave
(5-31 )
p is
...
An-PB]
Example 9
Consider the satellite system studied in Figure 3-17. Its linearized dynamical
equation is developed in (3-51). As can be seen from the dotted lines in (3-51),
the control of Xi' i 1, 2, 3, 4, by UI and li2 and the control of Xs and X6 by
are entirely independent; hence, we may consider only the following subequation
of (3-51):
[l
(5-30)
t 1)
AB
p + l)p matrix
o
o
189
-2
(5-32a)
=[~ ~ ~ ~J x
(5-32b)
the rank of B.
[B : AB : A2B]
=[l
o
O'
O'
0
O.. 0
1 : -2
2
1 : -2
O 0
J]
has rank 4. This is the case; hence, the state equation in (5-32) is controllable.
190
pU O =2<pU l =4
pU 2 =pU 3 = ...
... ,
Theorem 5-8
The set of the controllability in
transformation and any orderi
Proof
Define
The integer Ili is the number of linearly independent columns associated with b i
in the set, or is the length of the chain associated with bi' Clearly we have
where A=PAP-l, B PB an
easily verified that
and III + 112 + ... + II p S n. The equality holds if {A, B} is controllable. The
set {Ill' 1l2, .. ,Il p } will be called the controllability indices of {A, B}.
Now we shan establish the relationship between the controllability indices
and the r/s defined in (5-28). In order to visualize the relationship, we use an
example. We assume p = 4, III = 3, 112 1, 113 5, and 114 3. These indepen
dent columns are arranged in a crate diagram as shown in Figure 5-7. The
(i,j)th cell represents the column Ai-lb j . A column which is linearly indepen
dent of its left-hand-side columns in (5-28) is denoted by "x"; otherwise denoted
by "0". The search of linearly independent columns in (5-28) from left to right
is equivalent to the search from left to right in each row and then to the next
row in Figure 5-7. Hence, the number of zeros in the ith row of Figure 5-7 is
equal to r i - l as shown. From the crate diagram, we can deduce that ri is equal
to the number of {b k , k 1, 2, ... , p} with controllability indices equal to or
smaller than i. Hence, we conclude that
no. of {b k , k = 1, 2, ... ,p} with controllability index i
rj - ri-l
Uk =
(5-33)
Uk=F
which implies
pUk=P
Hence, the rj defined in (5-2~
indices are invariant under an)
The rearrangement of the c
where M is a p x p elementary
forward to verify that
irk~[D
r2 -
Ili
bi
b2 b 3
b4
0
0
0
0
0
x
x
x
x
0
5
x
x
x
0
0
0
3
ro
rl
1'2
=1
r3 =3
r4 3
r5 4
: AD : ...
pl
... ,
An-lb l ; b;
b l , Ab l , ... , Aill- 1 b 1 ; b 2 , AI
DYNAMICAL EQUATIONS
191
the controllability indices of {A, B} are uniquely determinable from {rj' i =0,
1, ... , 11}.
=pU 3 =" .
Theorem 5-8
I
The set of the controllability indices of {A, B} is invariant under any equivalence
transformation and any ordering of the columns of B.
Proof
, .. , bp , Abp ,
. . , AlJ.p-l
bp
!p}
controllability index i
(5-33)
Define
0, 1, 2, ...
which implies
for k = 0, 1, 2, ...
Hence, the rj defined in (5-28) and, consequently, the set of controllability
indices are invariant under any equivalence transformation.
The rearrangement of the columns of B can be represented by
D=BM
... ,
An- 1 b 1 ; b 2 , Ab 2 ,
... ,
A n- 1 b 2 ;
. ;
and then search its linearly independent columns in order from left to right.
In terms of the crate diagram in Figure 5-7, the linearly independent columns
are searched in order from top to bottom in the first column, then in the second
column and so forth. Let
192
iiI +Jiz + ... +Jip=n. The lengths of these chains are {Jib Jiz,, Ji p}.
Unlike the controllability indices, these lengths of chains depend highly on the
ordering of {bj, i = 1, 2, ... ,p}.
E:
Example 10
Consider the state equation in (5-32). lfwe search linearly independent columns
from left to right in
b l , Ab l , A 2 b!> A 3 b 1 ; b 2 , Ab 2 , AZb z, A 3 b 2
Its lengths are {4, O}. The lengths are indeed different for different ordering of
b l and b 2 The controllability indices of (5-32) can be computed as {2, 2} and
Definition 5-5
Let ii =max{Jib Ji2' ... , Ji p}. It is clear that Ji can never be smaller than {L,
the controllability index. Since {L =max{{Lt. {Lz, ... , {Lp}, we may conclude
that {L is the smallest possible maximum length of chains obtainable in any
search of linearly independent columns of U. This controllability index will
play an important role in the design of state feedback in Chapter 7 and the design
of compensators in Chapter 9.
+A
u(rv)
5-4
In~WH
IF
.L
Inc>
~-.....
105-j
----.J-
In? I~Jl
-L..
..
(a)
l DYNAMICAL EQUATIONS
193
x
Y
A(t)x(t) + B(t)u(t)
C(t)x(t) + E(t)u(t)
(5-35a)
(5-35b)
ight in
Example 1
A2bb A3 b 1
... ,
Definition 5-5
II p }, we may conclude
Consider the network shown in Figure 5-8. If the input is zero, no matter what
the initial voltage across the capacitor is, in view of the symmetry of the network,
the output is identically zero. We know the input and output (both are identi
cally zero), but we are not able to determine the initial condition of the capaci~or;
hence the system, or more precisely, the dynamical equation that describes the
system, is not observable at any to.
Example 2
Consider the network shown in Figure 5-9(a). Ifno input is applied, the network
reduces to the one shown in Figure 5-9(b). Clearly the response to the initial
1
1
In
u'"'-'
cal Equations
bility is dual to that of control
lies the possibility of steering
le possibility of estimating the
s controllable, all the modes of
dynamical equation is Qbserv
'Ved at the output. These two
e have the complete knowledge
B, C, and E are known before
different from the problem of
identification is a problem of
e information collected at the
In
I H
In
1
' - - -_ _----4-----J
F
(a)
(b)
194
current in the inductor can never appear at the output terminal. Therefore,
there is no way of determining the initial current in the inductor from the input
and the output terminals. Hence the system or its dynamical equation is not
observable at any to
C( t)<l>(t. t o)x(t 0)
y(t)~y(t) -
where
CU)
(5-37)
(5-38)
(5-39)
Proof
to
<1>*(t, to)C*(t)y(t) dt
[L
tl
where
V(to, t d~
then
Theorem 5-9
tl
IX;
y(t)=C(t)fj
(5-36)
where <1>(t. r) is the state transition matrix of x = A(t)x. In the study of observ
ability. the output y and the input u are assumed to be known. the initial state
x(t o ) is the only unknown; hence (5-36) can be written as
y(t)
C(t}fj
Let us choose x(t o)
(5-41 )
to
From Theorem 5-1 and the assumption that all the columns of C(')<l>(', to) are
linearly independent on [to, t 1 ], we conclude that N(to, td is nonsingular.
Hence, from (5-40) we have
E*:
Proof
tl
Xo = V- 1 (to, td
<1>*(t, to)C*(t)y(t) dt
(5-42)
to
Thus, if the function y[to, ttl is known, Xo can be computed from (5-42). Necessity:
IYNAMICAL EQUATIONS
r)u(r) elr
+ E(t)u(t)
(5-37)
(5-38)
i,
from
r)u(r) elr
(I; then
y(t) = C(t}(f)(t, to)(I
E(t)u (t )
(5-36)
[t)x.
:lr
Qt)(f)(t, to)(I =0
Let us choose x(to)
is given by
195
(5-39)
Hence the initial state x(t o) (I cannot be detected. This contradicts the assump
tion that E is observable. Therefore, if E is observable, there exists a finite
tl > to such that the columns ofC('}(f)(" to) are linearly independent on [to, tIl
Q.E.D.
We see from this theorem that the observability of a linear dynamical equa
tion depends only on C(t) and (f)(t, to) or, equivalently, only on C and A. This
can also be deduced from Definition 5-5 by choosing u O. Hence in the ob
servability study, it is sometimes convenient to assume u 0 and study only
x = A(t)x, y C(t)x.
The controllability of a dynamical equation is determined by the linear
independence of the rows of (f)(to, ')B(,), whereas the observability is determined
by the linear independence of the columns of C(')(f)(', to). The relationship
between these two concepts is established in the following theorem.
E*:
i
"(
A*(t)z +C*(t)v
B*(t)z + E*(t)v
(5-43a)
(5-43b)
where A*, B*, C*, and E* are the complex conjugate transposes of A, B, C, and
E in E. The equation E is controllable: (observable) at to if and only if the
equation E* is observable (controllable) at to.
Proof
From Theorem 5-4, the dynamical equation E is controllable if and only if the
rows of (f)(t o, t)B(t) are linearly independent, in t, on [to, tIl From Theorem
5-9, the dynamical equation E* is observable if and only if the columns of
B*(t)4it, to) are linearly independent, in t, on [to, tlJ, or equivalently, the rows of
[B*(t)4it, to)J* = 4:(t, to)B(t) are linearly independent, in t, on [to, t IJ, where
4a is the state transition matrix ofi - A *(t)z. It is easy to show that 4:(t, to)
(f)(to, t) (see Problem 4-8); hence E is controllable if and only if E* is observable.
Q.E.D.
t)y(t) elt
We list in the following, for observability, Theorems 5-11 to 5-14 and Defini
tions 5-6 to 5-8, which are dual to Theorems 5-5 to 5-8 and Definitions 5-2 to
5-4 for controllability. Theorems 5-11 to 5-14 can be proved either directly or
(5-42)
196
Definition 5- 7
Theorem 5-11
NO(t )
N1(tl)
P
.
=n
[
Nn-1(t 1)
where
N k+ 1 (t) = Nk(t)A(t)
WIth
+ dt
Nk(t)
No(t) = C(t)
(S-44 )
No(t)
N1(t)
[
p N"-l(t)
(S-4Sa)
(S-4Sb)
* Differential
Time-invariance case.
equation
FJ
Definition 5-6
Theorem 5-12
If the matrices A and C are analytic on ( - 00, 00), then the n-dimensional dy
namical equation E is differentially observable at every t in ( - 00,00) if and only
if, for any fixed to in ( - 00, 00),
No(t o)
N 1 (to)
PI
=n
N n - 1 (to)
v
is nonsingular for any t > O.
'NAMICAL EQUATIONS
197
Definition 5-7
(5-44 )
p[
~:~:~ ]=n
for all t in (
00,
(0)
Nn~l(t)
1,2, ... ,n
(5-45a)
(5-45b)
Jbility,
(J)
Time-invariance case.
equation
FE:
X Ax +Bu
y=Cx +Eu
(5-46a)
(5-46b)
of continuity.
1. All columns of Ce A ! are linearly independent on [0, (0) over C, the field of
complex numbers.
w"'~
is nonsingular for any t > 0.
/'C'Ce , dr
198
CANONICAL DECOMPOSITION OF
and
C
CA
CA 2
CAn-l
has rank n.
4. For every eigenvalue A of A (and consequently for every Ain C), the (n +q) x n
. complex matrix
[AICA]
,-
CJ
CA
v n
and
CIA}
czA
,.,
+ V2 + . "
+\'q :::;11.
Th
I'k
'I
:::;q
VI
Theorem 5-14
(5-48)
~;Akl
}
c A
clJA
[C~. = _C_q~J
:::;
*Observability Indices
V. _
n
q
Corollary 5-13
~: 11
pVO<pV 1 < .
(5-47)
Cq
:::;r v - l <q
00'
Fj
AMICAL EQUATIONS
and
199
(5-49b)
(5-47)
PV v
PV v + 1 =' . .
(5-50)
The integer v is called the observability index of {A, C}. Similar to (5-31), we
have
n
. (_
-svsmm n,n
+ q) x n
q+ 1)
(5-51 )
1t coprime.
The dynamical equation FEin (5-46) is observable if and only if the matrix
V n - q, where ij is the rank of C, is of rank n, or equivalently, the n.x n matrix
V:-qV n _q is nonsingular.
efine
Consider the matrix Vn _ l ' It is assumed that its linearly independent rows
in order from top to bottom have been found. Let Vi be the number of linearly
independent rows associated with C i . The set of {Vi, i = 1,2, ... ,q) is called
the observability indices of {A, C}. Clearly we have
:nt rows)
v = max [ Vi' i
and
1, 2, ... , q 1
C: is observable.
Theorem 5-14
(5-48)
, 00'
x=Ax +Bu
y=Cx +Eu
(5-52a)
(5-52b)
200
substitution of x
CANONICAL DECOMPOSITION OF
FE:
Proof
Ax +Du
(5-53a)
(5-53b)
pU~p[B
y=Cx +Eu
iT~ [D
P-l~Q~
Since the rank of a matrix does not change after multiplication of a nonsingular
matrix (Theorem 2-7), we have rank U rank U. Consequently FE is con
trollable if and only if FE is controllable. A similar statement holds for the
observability part.
Theorem 5-15
This theorem is in fact a special case of Theorems 5-8 and 5-14. For easy
reference, we have restated it as a theorem.
In the following, c will be used to stand for controllable, cfor uncontrollable,
o for observable, and 0 for unobservable.
V = [Be A)
Theorem 5-16
FE:
[~~J
Xc
[Ae0 At
~~. [~:J
+
xe
2J
Y= [Cc C,]
[:;J
[DcJ
0
+Eu
(5-54a)
(5-54b)
Xe Acxe +Dcu
y =Cc:Xc +Eu
Vc
(5-55a)
(5-55b)
=[~c
X:
pV =
A~..z ]
SI - Ac
sl
[(Sl
Ac
- [SI-X,
0
[Cc Cia
-.Aet
0
-X12
- [(SI
sl-Ai.'
=[Cc C c]
=Ce(sl
is easy to show that if the equation Fit is observable. then its sUbequation Fit, is also observable.
(Try)
9 It
FEe:
where
Ae)-IBe -t
201
Proof
(5-53a)
(5-53b)
Let qb q2' ... , qnl be any nl linearly independent columns of U. Note that for
each i = 1, 2, ... , n l , Aqj can be written as a linear combination of
{ql' q2' .. ,qnJ. (Why?) Define a nonsingular matrix
(5-56)
ltiplication of a nonsingular
Consequently FE is con
lar statement holds for the
time-invariant dynamical
formation.
where the last n - nl columns of Q are entirely arbitrary so long as the matrix
Q is nonsingular. We claim that the transformation x Px will transform FE
into the form of (5-54). Recall from Figure 2-5 that in the transformation
x Px we are actually using the columns ofQ~ p-l as new basis vectors of the
state space. The ith column of the new representation A is the representation of
Aqj with respect to {ql' q2,"" qn}. Now the vectors Aqh for i 1,2, ... , nl, are
linearly dependent on the set {q t, q2, ... , qnl} ; hence the matrix A has the form
given in (5-54a). The columns of B are the representations of the columns of
B with respect to {ql' q21 ... ,qn}' Now the columns of B depend only on
{qt, q2,"" q!!J}; hence B is of the form shown in (5-54a)._
Let U and U be the controllability rna trices of FE and FE, respectively. Then
we have pU pU = nl (see Theorem 5-15). It is easy to verify that
- [Bc:: AJic!I " ' ,! A~-l Bc]
U=
0: 0 :I
Bc
= [ Uc:! A~lBc!I ' "1L~n-l
c
0:
where
]}n
rows
}(n - n d rows
A~B with k :?:nl are linearly dependent on the columns of Uc, the condition
pU
(5-54a)
(5-54b)
nl < n
Sl OAc
[
(sl -Ac)-1A~?(SI1-Ac)-1]
(sl - Ad-
(5-57)
(5-55a)
(5-55b)
matrix as FE.
;,)-
(.'II -
Act 1 A 12 (sl
{sl
Ac)-l
= Ce(sl - Ac)-1Bc +E
which is the transfer-function matrix of FEe
Q.E.D.
202
CANONICAL DECOMPOSITION OF
[~'
and
C Cp-l [
[:J
the vectors Xc in L1 are controllable. Equation (5-54a) shows that the state
variables in Xc are not affected directly by the input u or indirectly through the
state vector Xc; therefore, the state vector is not controllable and is dropped in
the reduced equation (5-55). Thus, if a linear time-invariant dynamical equation
is not controllable, by a proper choice of a basis, the state vector can be decom
posed into two groups: one controllable, the other uncontrollable. By
dropping the uncontrollable state vectors, we may obtain a controllable dy
namical equation of lesser dimension that is zero-state equivalent to the
original equation. See Problems 5-22 and 5-23.
x,
Dual to Theorem
dynamical equations.
G~J
5-16, w
Theorem 5-17
valence transformation X
Example 1
Px
[~~
Xii
0] [0 1J
x= [01 1
1 0 X+ IOu
o 11
01
y=[1
l]x
(5-58)
0 1 1 01] = 2 < 3
[o 1 1
p 1 0
01 0:1: 01]
[
o 110
PB~[~
0
0
-1
1 1 0
-:lG ~] [~--~]
5-16
The first two columns of Q are the first two linearly independent columns of
U1; the last column of Q is chosen arbitrarily to make Q nonsingular. Let
X Px. We compute
1 0][0
1 0 1 0 1
PAP-I~[~ o1 0][1
FEo
is observable and has the same
--
FE
By equivalence transformation
10
IAMICAL EQUAnONS
e space L of FE is divided
pace of L, denoted by I: I,
I
the (n
and
C=CP-l=[l
1]
nd-dimensional
[~ ~] =[1
1
0
1
203
2 : 1J
Xc
[:
~}, +[~ ~}
y=[1
2Jx c
(5-59)
FE:
1Jx
[x~oo_J
y
(5-58)
[Ao
0AoJ[XoJ
[DoJ
A21
Xii + Do u
[C. 0]
[:;J
(5-60a)
(5-60b)
+Eu
Xo = Aoxo +Dou
y. =Coxo+Eu
(5-61 a)
(5-61 b)
independent columns of
ake Q nonsingular. Let
~] [1 0: OJ
This theorem can be readily established by using Theorems 5-16 and 5-10.
The first n2 rows of P in Theorem 5-17 are any n2 linearly independent rows of
the observability matrix of {A, C}; the remaining n - n2 rows of P are entirely
arbitrary so long as P is nonsingular. Equation (5-60) shows that the vector
x(j does not appear directly in the output y or indirectly through xO. Hence the
vector Xi) is not observable and is dropped in the reduced equation.
Combining Theorems 5-16 and 5-17, we have the following very important
theorem.
Theorem 5-18 (Canonical decomposition theorem)
10
~- -~ -~-
FE:
x =Ax +Bu
y=Cx+Eu
This is a simplified version of the canonical decomposition theorem. For the general form, see
References 57,60, and 116. See also Reference S127.
204
CANONICAL DECOMPOSITION C
canonical form
~12 ~ An
~13][~eoJ
FE. [~eoJ_rAeo
Xeo - 0 Aeo
xeo -I-[~eoJ
' Beo U
Xc -0--- 0- , A~ - Xc
0
(5-62a)
(5-62b)
-.
where the vector xeo is controllable but not observable, xeo is controllable
and observable, and Xc is not controllable. Furthermore, the transfer function
of FE is
Ceo(sl -
Aeo)- 1 Beo + E
which depends solely on the controllable and observable part of the equation
FE.
Proof
If the dynamical equation FE is not controllable, it can be transformed into the
form of (5-54). Consider now the dynamical equation FEe which is the con
trollable part of FE. If FEe is not observable, then FEe can be transformed into
the form of (5-60), which can also be written as
= [AeD
[~eoJ
Xeo
0
y=
~12J[~eoJ +[~eoJ U
Aco
Xeo
Beo
[0 Cco]X + Eu
Example 2
Ll
.l
II
,-------,
l~l
co
I
I
I
I
I -
leG:
I
I
I
I
--
co
?If.
In?
In..?
J:
(a)
IJ
In
In<-
In:
L ______ --.J
(b)
NAMICAL EQUATIONS
,] [BCD]
I
+ ~D
(5-62a)
(5-62 b)
205
Example 2
Consider the network shown in Figure 5-11(a). Because the input is a current
source, the behavior due to the initial conditions in C 1 and Ll can never be
detected from the output. Hence the state variables associated with C 1 and
Ll are not observable (they may be controllable, but we don't care). Similarly
the state variable associated with L2 is not controllable. Because of the sym
metry, the state variable associated with C 2 is uncontrollable and unobservable.
By dropping the state variables that are either uncontrollable or unobservable,
the network in Figure 5-11(a) is reduced to the form in Figure 5-11(b). Hence
the transfer function of the network in Figure 5-11(a) is g(s) 1.
III
'0] U
:0
Before moving to the next topic, we use Theorem 5-16 to prove statement 4
of Theorem 5-7.
C1
Ll
u
In
In
L2
In
In
(a)
In
In
y
In
In
(b)
206
or
A : B] 0
and
exB =0
which imply
CANONICAL DECOMPOSITION 0
exA = Aiex
and, in general,
1,2, ...
Hence we have
ex[B
Proof
AB
...
An-l B]
[exB
AexB
...
An -lexB] = 0
Ac
[o
A!2]
Ac
[~,]
PB
Let A be an eigenvalue of Ac. We choose p =1=0 such that pAc = AP. Now we
form a 1 x n vector ex [0 p]. Then we have
..[ AI -A i B]
[0 II] [AI ~ A,
-A Ac Bc]
=0
0
l.:
),,1
FE,
which implies
VU~ ~~ 1
[
CAn-l
Since ex =1=0, we have ~~exP =1=0. Because p-l is nonsingular, ~(AI - A)P- l =0
implies a(AI A) O. Hence we have
CB
CAB
ti[AI - A : BJ = 0
In other words, if {A, B} is not controllable, then [sI A: BJ does not have a
rank of n for some eigenvalue of A. This completes the proof.
Q.E.D.
CAn-IE
t\.MICAL EQUAnONS
207
)t at the eigenvalues of A;
C except possibly at the
I} is controllable, then
l there exist an eigenvalue
equation still has the same zero-state response. This fact motivates the follow
ing definition.
Definition 5-9
"
A linear time-invariant dynamical
equation FE is said to be reducible if and
only if there exists a linear time-invariant dynamical equation of lesser dimen
sion that has the same transfer-function matrix as FE or, equivalently, is zero
state equivalent to FE. Otherwise, the equation is said to be irreducible.
Theorem 5-19
A linear time-invariant dynamical equation FE is irreducible if and only if FE
},n-l IXBJ
[!]
that
pAc=}"p.
Now we
FE,
FE:
x=Ax +Bu
y=Cx +Eu
(5-63a)
(5-63b)
of lesser dimension, say n 1 < n, that is zero-state equivalent to FE. Then, from
Theorem 4-6, we have E =E and
~c
Boc]
~)P-l:B]
(5-64)
VU~ C~ 1
[
c~n-l
[B
AB
CAB
CA2B
...
An-1B]
CAn-lB
CAnB
1
(5-65)
CA2(~-1)B
By (5-64), we may replace CAkB in (5-65) by CAkB; consequently, we have
(5-66)
where Vn- l and Un- 1 are defined as in (5-48) and (5-27). Since FE is control
lable and observable, we have pU =n and pV =n. It follows from Theorem
2-6 that p(VU) n. Now Vn- 1 and Un- 1 are, respectively, qn x nl and nl x np
matrices; hence the matrix Vn-l Un- 1 has a rank of at most nl' However,
208
Hence, if
Q.E.D.
Recall from Section 4-4 that if a dynamical equation {A, D, C, E} has a pre
scribed transfer-function matrix G(s), then the dynamical equation {A, D, C, E}
is called a realization of G(s). Now if {A, D, C, E} is controllable and observable,
then {A, D, C, E} is called an irreducible realization of G(s), In the following we
shall show that all the irreducible realizations ofG(s) are equivalent.
Theorem 5 -20
Let the dynamical equation {A, D, C, E} be an irreducible realization of a
Then {X, B, C, E} is also an irreducible
realization ofG(s) if and only if {A, D, C, E} and {X, B, C, E} are equivalent;
that is, there exists a nonsingular constant matrix P such that X PAP - 1,
B PD, C =CP-l, and E E.
*5-6 Controllabilityal
Dynamical Equations
The controllability and ob
equation are invariant unde]
ceivable that we may obtain
by transforming the equati4
equation is in a Jordan form,
almost by inspection. In th
Consider the n-dimensio
equation
Proof
The sufficiency follows directly from Theorems 4-6 and 5-15. We show now the
necessity of the theorem. Let U, V be the controllability and the observability
matrices of {A, D, c, E}, and let U, Y be similarly defined for {X, B, C, E}. If
{A, D, C, E} and {X, B, C, E} are realizations of the same G(s), then from (5-64)
and (5-65) we have E = E,
and
VU YU
VAU=YXU
(5-67)
(5-68)
(5-69)
AI
A
(n x n) [
C [C l
Ail
(nj~in;)
C =[C il
j
(q x ni)
A.i 1
A. i
Ai}
(nij xnij)
C lj
[elij
NAMICAL EQUATIONS
. contradiction. Hence, if
cible.
Q.E.D.
ion {A, B, C, E} has a pre
lical equation {A, B, C, E}
mtrollable and observable,
. G(s), In the following we
are equivalent.
reducible realization of a
E} is also an irreducible
~ B, C, E} are equivalent;
P such that A PAP-I,
x=Ax +Bu
y=Cx +Eu
(5-70a)
(5-70b)
where the matrices A, B, and C are assumed of the forms shown in Table 5-l.
The n x n matrix A is in the Jordan form, with m distinct eigenvalues AI, }.z' . .. ,
Am' Ai denotes all the Jordan blocks associated with the eigenvalue }.i; r(i) is
the number of Jordan blocks in Ai; and Ai} is thejth Jordan block in Ai' Clearly,
and
(5-67)
(5-68)
J:s;min
invariant dynamical equations. For the time-varying case, the interested reader
is referred to References 106 and 108,
JFE:
CV*V)
Table 5-1
is
(5-69)
[A!
A2
(n x n)
AJ
lualifies as an equivalence
~ B=PB. Since pU =n,
209
C=[C 1
Ai
(ni x n;)
Ci
~["
=[C il
C2
(n
~p) {j]
Cm]
Ai2
B.
A.J
C i2
[Bil 1
_ Bi2
(nixlp)
Bir(i)
Cir(i)]
(q x n;)
[,1,1 '.
=
Ai 1
Aij
'.
(nu x nil)
A, ~.
C ij
...
(n;jxp)
[CUi
C2ij
Bij
CliJ
[b
ll
b 2ij
.
blij
210
Let
ni
and
nij
n=
rU)
I1 I1
ni
i= 1
i=
nij
j=
bnj
Bl~ b~:2
(5-71 a)
b,ir(i)
are linearly independent (over the field of complex numbers). JFE is observable
if and only if for each i = 1, 2, ... , m, the columns of the q x r(i) matrix
I
Ci
..
LCli1
C1i2
(5-71 b)
CUrti)
Example 1
Al
0
0
-0 --6-:-l~: 0
X= o 0 --0-;-1-:
o 0 0 0:
o 0 0 0
o 0 0 0:
JFE:
1: 0
AI: 0
I
0
0
0
0
0
0
0
0
A2
0
0
1
A2
0
000
0
0
1 0 0 ~b111
0
o 1 0 I ~b112
0 x+IO 0 11u~b113
1 1 2
0
010
1
A2
o 0 1 ~b'21
_ _ _ .1 _ _ _ _ _ _ _ _ _
[~
1 2: 0: 0
0:1:2:0
I
1 0:2:3:0
01
2
1 1 x
(5-72a)
~
~b -~ -~
~l~
~~~
(5-72b)
2 2
iii i
C l11
C l12 C l 13 C 121
The matrix A has two distinct eIgenvalues Al and A2 There are three Jordan
blocks associated with AI; hence r(1) 3. There is only one Jordan block associ
ated with A2 ; hence r(2) = 1. The conditions for J F E to be controllable are that
the set {bill' ,12 , /13 } and the set 12 d be, individually, linearly independent.
This is the case; hence J F E is controllable. The conditions for J F E to be
b b
{b
Figure 5-12
Block diagram of
\MICAL EQUATIONS
observable are that the set {Cll I ' Cll2, C1l3} and the set {c 12 d be, individually,
linearly independent. Although the set {C I I I , C 112 ' C 113 } is linearly indepen
dent, the set {c12d, which consists of a zero vector, is linearly dependent.
then
re partitioned as shown.
)Uj and blij, respectively.
d by CI ij and CUj'
dynamical equation J F E
, the rows of the r(i) x p
(5-71 a)
e q x r(i) matrix
(5-71 b)
nbers).
3 0
3 0
~b111
1 0
~b112
3 1
U~b113
(5-72a)
y
1 0
211
~b121
y
(5-72b)
Figure 5-12
212
linearly independent. By p
theorem can be established.
AJ
-1
-A 1
-1
S
A1
b ll1
b 211
o
,
----------------------:
- --i: -----. .:
0
bl21
(5-73)
Example 2
bl1 1
b 11 2
j - - -:
:
s A1 :
, b'12
- - - - - - - - - - - - - - - -: -s- -)~ - - - - - -=..-( - -,- -bl-2~
S
A2
The matrix A has two distinct eigenvalues A1 and A2 . There are two Jordan
blocks associated with Ab one associated with A2 If SAl, (5-73) becomes
-1
0
0
0
0
0
- - - - - - - - - - -
0
-1
0 ,,
- - - - T - - ,0
'0
Corollary 5-21
b ll1
X=
b 211
bill
- - - - - - - -,
-1,
b l12
0,
(5-74 )
l12
-----------T----------------T-----
, A -A
-1, b
A1
121
A2 ,: b /21
1 0:
I
0 1I
~--~--~H
Example 3
o
o
-1
- - - - - - - - - - - - - - i -
------------:- i: =--i
: 0
:--0--
[ ~1-
bill
0- --- =--{ -:
- 2
- - -
(5-75)
b ll2
0- ---:- -0--
,
A1 - A2 : 0
X2_
and
~1X2_
213
b lll
b 211
bill
b 112
-------------~-~~~
-1: b
-A 2
l2l
s -A2 : b /21
(5-73)
Corollary 5-21
A single-input linear time-invariant Jordan-form dynamical equation is con
trollable if and only if there is only one Jordan block associated with each
distinct eigenvalue and all the components of the column vector B that corre
spond to the last row of each Jordan block are different from zero.
A single-output linear time-invariant Jordan-form dynamical equation is
observable if and only if there is only one Jordan block associated with each
distinct eigenvalue and all the components of the row vector C that correspond
to the first column of each Jordan block are different from zero.
Example 2
b 2ll
X=
bill
b 112
I
(5-74)
b ll2
--T-----
'2
b l2l
b'21
OO:I]x
: b ll2
---------
: 0
I
1 (5-75),
y=[1
There are two distinct eigenvalues 0 and 1. The component of B which cor
responds to the last row of the Jordan block associated with eigenvalue 0
is zero; therefore, the equation is not controllable. The two components of C
corresponding to the first column of both Jordan blocks are different from zero;
therefore, the equation is observable.
Example 3
o
o
'2
~[ ~ ~ i~]. + [1+
~l
~ __~ __~_!~
or equivalently,
only if bill and b ll2 are
(5-76)
and
2t
(5-77)
That the state equation (5-76) is controllable follows from Corollary 5-21.
Equation (5-77) is a time-varying dynamical equation; however, since its A
matrix is in the Jordan form and since the components of B are different from
214
OUTPUT CONTROLl
zero for all t, one might be tempted to conclude that (5-1'1) is controllable.
Let u~ .;heck this by using Theorem 5-4. For any fixed to, we have
0
-(to-t)
c)(t o
t)B(t)= [ eO
e-
2o
(t -t)
J[:-2t
-t ]
[-to]
:-2t
From this example we see that, in applying a theorem, all the conditions
should be carefully checked; otherwise, we might obtain an erroneous con
clusion.
~ G(t,r)u(r) dr
Corollary 5-22
[CD
has rank q.
Definition 5-10
u[to,td
Example 1
Theorem 5-22
The proof of this theorem is exactly the same as the one of Theorem 5-4
and is therefore omitted.
We study in the following the class of systems tha~ also have linear time
invariant dynamical-equation descriptions. Consider the system that is
describable by
FE:
x=Ax +Bu
y=Cx
tn
y
tn
MICAL EQUATIONS
Lt (5-77) is controllable.
1 to, we have
-to]
[:-2t
215
(5-78)
Corollary 5-22
A system whose transfer function is a strictly proper rational-function matrix is
output controllable if and only if all the rows of G(s) are linearly independent
Function
In
(5-79)
has rank q.
The proof of Theorem 5-7 can be applied here with slight modification. A
trivial consequence of this corollary is that every single-output system is output
controllable. We see that although the condition of output controllability
can also be stated in terms of A, B, and C, compared with checking the linear
independence of G(s), the condition (5-79) seems more complicated.
The state controllability is defined for the dynamical equation, whereas
the output controllability is defined' for the input-output description; therefore,
these two concepts are not necessarily related.
Example 1
Consider the network shown in Figure 5-14. It is neither state controllable nor
observable, but it is output controllable.
=Yl'
In
u
1+
I
In
L - -_ _ _ _ _- - - - - - '
Figure 5-14 A network which is output controllable but neither (state) controllable nor
observable.
216
. YI
~Y2
Figure 5-15 A system which is controllable and observable but not output controllable.
Example 2
s
[
;1].
G(s)G.
s +1
the rows of which are linearly dependent. Hence the system is not output
controllable. The dynamical equation of the system is
-x +u
Y~G}
(5-80)
If pG(s) q-that is, all the rows of G(s) are linearly independent over the
field of rational functions-then the q x q matrix (;{s)G*(s) is nonsingular
(Theorem 2-8). Consequently, for any y(s), if we ,choose
u(s) = G*(s)(G(s)G*(S-l y(s)
(5-81)
5-8 Computational I
COMPUTATIONAL PROBLEMS
IAMICAL EQUATIONS
217
range of (;(s), for which there exists no solution o(s) in (5-80) (Theorem 2-4).
Q.E.D.
:ansfer-function matrix of
(5--80)
A system is said to have an inverse if it has both a right inverse and a left inverse.
A necessary and sufficient condition for (;(s) to have a right inverse is that
p(;(s) = q in !R(s). This condition is identical to that of the output function
controllability. Many questions may be raised regarding a right inverse. Is it
unique? Is it a proper rational matrix? What is its minimal degree? Is it
stable? What are its equivalent conditions in dynamical equations? These
problems will not be studied in this text. The interested reader is referred to
References S172, S185, S218, and S239.
* 5-8
Computational Problems
218
A=
AiVi,
It is
.1{
for k large
In other words, AkB tends to approach the same vector, VI' as k increases.
Hence, it will be difficult to check the rank of U if n is large.
The same conclusion can also be reached by using a different argument. The
condition number of a matrix A may be defined as cond A~ IIAI1211A -1112 = (It/(ls,
where (I, and (Is are the largest and smallest singular values of A. It can be shown
that (ls~IAnl<IAll~(ll' Hence, if IAll~IAnl, Cond A is a very large number.
In computer computation, the multiplication of a matrix with a large condition
number will introduce large computational error and should be avoided.
Hence, the use of [B AB ... An-1B] to check the controllability of {A, B}
is not necessarily a good method.
As an example consider the 10-dimensional state equation (see Reference
S169)
*=r
lo
2-
If e 0, the eigenvalues of A
the migration of the eigenval
5-16, the root locus of .1(s) (sc
indicate the migration of the j
eigenvalues except Al and A20
1J
0] +[:]u
I
Figure 5-16
~AMICAL
EQUAnONS
COMPUTATlONAL PROBLEMS
219
20
19
A=
20
18
0
20
20
1
(see Reference S212). The diagonal elements range from 1 to 20; the elements
on the superdiagonal are all equal to 20. The rest of the matrix are all zeros
except the 8 at the (20, 1)th position. The characteristic polynomial of A can be
computed as
n
20
'He have
~(s) =
(s
i) - (20)19 8
i= 1
is large.
II
Figure 5-16
220
if e is larger than 7.8 x 10- 14). We list in the following A1 0 and All for some e:
= 7.8 x 10- 14
e2 = 10- 10
el
10- 5
e4= 1
e3 =
10.5 jO
10.5 j2.73
10.5 j8.05
10.5 j16.26
P1B
x x
o x x
10 0 x
:1=[Bn
(5-82)
A(1) : A(1)J
(5-83)
PI AP'l = [ "A<lA -:- A[11
21! 22
where A\11 is an nl x nl matrix, A~11 is an (n - nd x nl matrix, and so forth.
If AW 0, the controllability matrix
B(I) A(1)B(1) (A(1)fB(l) ., 'J
P 1 [ __1 - - - - ! ~ - ~ - - - - ! ~ - - ! - - - - o
0
0
...
(5-84)
Inl
OJ P
P2
0
P2
A~ PAP' =1
L
where B\1) is an nl x P upper triangular matrix and n1 = rank B. This step can
be accomplished by a sequence of Householder transformations. 13 We then
compute
U = [B AB:: An - 1 B]
and
:I
000
If AW =foO, we
where AW is a n2 x nl mat
They are computed directly from A by using the QR method. [The computation
of the eigenvalues from 1\(s) is not advisable because the characteristic poly
nomial may be more sensitive to e than the eigenvalues and the roots of a poly
nomial are very sensitive to the variations of the coefficient.] We see that the
eigenvalues are very sensitive to e. Thus the eigenvalues of A are very ill
conditioned. For this reason, the use of the criterion rank [sl A B] = n
to check the controllability of {A, B} may yield an erroneous result.
It turns out that the use of Theorem 5-16 is the best way of checking the
controllability of a state equation. Furthermore, if the equation is not control
lable, the computation also yields a reduced controllable equation. The proof
of Theorem 5-16 provided a procedure of computing the required equivalence
transformation. The procedure, however, uses the controllability matrix and is
not satisfactory from the computational point of view. In the following, we
shall introduce an efficient and numerically st~ble method to transform a state
equation into the form in (5-54). For the single-input case, the method is
essentially the procedure of transforming the matrix A into the Hessenberg
form (see Appendix A). We discuss in the following the general case.
Let PI be an orthogonal matrix,12 that is, Pi I = P't. such that
x
{A\11, B\l)}.
All
A21
0
A22
A32
C=CP' =[C I
A12
C2 C
p ?:.,
'I
has rank n 1 < nand {A, B} is not controllable and can be reduced to controllable
{A, B} has complex elements, we use a unitary matrix, that is, PIt P'f.
13The PI can also be obtained by using gaussian elimination with partial pivoting. In this case,
P t is not orthogonal. However, the method is still numerically stable.
12lf
where rank
Zj=nj.
COMPUTATIONAL PROBLEMS
IAMICAL EQUATIONS
{A~ll, B~l)}.
~ [ A~21J
p 2A W
3
5
26
AW and
n2:::::; n1.
(5-88)
has rank n1 + n2 (where x denotes nonzero matrices), and {A, B} is not control
lable and can be reduced. If A~2(1=0, we continue the process until {A, B}
is transformed, by a sequence of orthogonal transformations, into 14
All
A21
A~PAP'= 0
Alk
B\l)
AZk
A33
A 1 ,k-1
AZ,k-1
A 3,k-1
A3k ,B~PB=
0
0
Ak,k-l
Ak,k
A12
A22
A32
A13
A 23
C=CP' =[C 1 C 2 C 3
...
C k-
~lV~~!l~
o - ~.~.~J.
(5-84)
where pB\l) =n1, pA21 n2, pA32 = n3,"" pAk,k-1 nk' The integer k is the
smallest integer such that either nk 0 or nl +n2 +... +nk =n. Note that
Ak,k-l has dimension nk x nk-1 and has a full row rank. Clearly, we have
p;:::nl;:::nZ;:::n3'"
;:::nk;:::O
be reduced to controllable
'. Pi
where rank Z j
nj. If nj = 0, go to step 7.
PT.
stable.
(5-89)
C k]
If n1 +n2
I{
(5-86)
Now
(5-82)
(5-83)
We compute
(5-87)
(5-85)
:J P1B~[~\1]
[I~,
~thod.
[The computation
~e the characteristic poly
es and the roots of a poly
fficient.] We see that the
nvalues of A are very ill
ion rank [sI -A B] n
Toneous result.
best way of checking the
le equation is not control
able equation. The proof
~ the required equivalence
,ntrollability matrix and is
ew. In the following, we
ethod to transform a state
nput case, the method is
lx A into the Hessenberg
the general case.
P'l, such that
221
14
222
Step 3. Compute
P }}A . 1 p'.}
y.]
X.
- J - - Aj
- "
[B
j
where Xj is a nj x nj matrix.
Step 4. Update
_
P-P 0
[In
0]
p.
}
Step 6. j
+ 1 and go to step 2.
controllable equation.
Step 8. {A, B} is controllable.
This is a numerically stable method of checking the controllability of a state
equation. This algorithm was first proposed by Rosenbrock [S185] and then
discussed in References S6 and S155. These papers used the gaussian elimina
tion with partial pivoting in finding Pj' Van Dooren [S203] and Patel [S170]
suggested to use orthogonal transformations to improve the numerical stability
of the algorithm. The singular value decomposition was also suggested in
Reference S170 to determine the rank of Bi . .
The algorithm actually reveals more than the controllability of {A, B}; it
also reveals its controllability indices. A comparison of (5-84) and (5-88) with
(5-28) yields immediately
; =0,1,2, ...
ri=p-ni+l
w;here rj is the number of linearly dependent columns in AiB and ni+ 1 is the
number of linearly independent columns in AiB. Since the set of controllability
indices is uniquely determinable from {ri' i 0, 1, 2, ... } [see Figure 5-7 or
Equation (5-33)], it is also uniquely determinable from {ni' i = 1,2, ... }.
Actually we can say a little more about the controllability indices. In order
not to be overwhelmed by notation, we assume that {A, B}, where A and B
are respectively 8 x 8 and 8 x 3 matrices, has been transformed into
:J)
o :1:
x
"
o 0 L'l\
------000
000
000
000
000
X X
1,- - - -
:J)
x:
x:
,'l\.:
x:
o
o
B= 10--6--6
000
000
000
_0--6--6
The matrix A is said to be if
This is achieved by c1
form.
1
1
L _ _
x x
1 x
0 1
p- 1
- -
1
1
1
x:
x:-:-
0
X
X
X
- - - - --- -- ~ ,;.;', - - - ~ - - - - -
o 0 0 ,\ Lx, X X X
o 0 0: j\: hI c 1 : d 1
(5-90)
Then we have
(f - 0-
'--v----'
1st
'-v--'
'-v--'
2nd
3rd
block column
Let B = rb l b2 b3 1; that is, bi is the ith column of B. Then from the structure
of A and B in (5-90), we can readily verify that III 3,112 1, and 113 =4. These
B1 =P l B B
Al PIAl
iAMICAL EQUATIONS
223
COMPUTATIONAL PROBLEMS
red to an ii-dimensional
le controllability of a state
;enbrock [S185J and then
lsed the gaussian elimina
1 [S203J and Patel [S170J
we the numerical stability
m was also suggested in
controllability indices can actually be read out directly from {A, B} without any
computation. The second column of the first block column of A is linearly
dependent on its left-hand-side columns. This implies that Ab 2 is linearly
dependent; hence /12 = 1. Once a column becomes linearly dependent, it will
t
not appear in the subsequent block columns of A. In the second block column
of A, both columns are linearly independent of their left-hand-side columns of
A; hence A2 b1 and A2 b3 are linearly independent. In the third block column of
A, the first column is linearly dependent on its left-hand-side columns; hence
A3 b1 is linearly dependent, and /11 3. The second column of the third block
column is linearly independent, and there is no other column of A which is
linearly independent of its left-hand-side columns; hence /13 4. We see that
these indices are equal to the numbers of 1 enclosed by circles, squares, and
triangles as shown in (5-90).
The {A, B} in (5-90) can be further transformed by equivalence transforma
tion into the following form:
x,x
x:x x,x
,
x x x:x x:x x;x
x:x x, X x, x
X
X
0 1 x
0 0
------0 0 0
0 0 0
------000
0 0 0
-----~-----~----~--
0 0:0 0: 0 0:0
0
0 0 1 :0 0:0 __0:.J __
-------"'-----1..
0 0 0: 1 0;0 0: 0
0:J __0
.J _ _ _ _1
_ '- 0
____
0 0 __0:0
0--6 0 ;0 0:0 1 0
A=
(5-91 )
I
I
o -6--6
I
I
The matrix A is said to be in the block companion form or the block Frobenius
form. This is achieved by choosing
n{ni,i=1,2, ... }.
P 1- l _
-
:x
:x
x:x
x:x
P1=
'x x'x
_ L ___ __ 1_ _
:x x:x
I
'x
I
I
X 'x
~: b
;0
d1
/l\~ :f1
i C1:
!.. ___
A _ '.
(5-90)
_ L ____ _ 1_ _
fl
1
'-.r-'
3rd
o
Then we have
x'x x'x
x X
1 x
00
-
_I _ _ _ ... _
1_ _ _
Imn
0--6--6:-1-~-:~--~-:-x
o 0 0:0 1 :b 2
C2
;d 2
(5-92)
224
Proceeding upward, {A, B} in (5-90) can be transformed into the form in (5-91).
This process can be easily programmed on a digital computer (see Reference S6).
The process of transforming {A, B} into the block Hessenberg form in (5-89)
is numerically stable. The process of transforming the block Hessenberg form
into the block companion form in (5-91), however, is not numerically stable.
The matrix Pi 1 in (5-92) carries out gaussian elimination on columns of A
without any pivoting. If pivoting is used, the form of A will be altered, and we
can never obtain the form in (5-91). Hence, Pi 1 must be chosen without any
pivoting and the process is numerically unstable.
The {A, A} in (5-90) or, equivalently, the {A, B} in (5-91) has the con...trq.1
lability indices 111 = 3, 112 1, and 113 4. Based on these indices, the {A, B}
can be transformed into
1 x
0 0
0 0
x,x,x
x x
, ,
0
0
0 0:0:0 0 0 0
1 0:0:0
0 0 0
0
_______
__________
X
X
x:x:x x x x
-------'--r----------I
x X x,x'x
x x X
, ,
0
0 0
0 0 o:0 : 1
0 0 0:0:0
1 0 0
, ,
0
1 0
0 0 0:0:0
00'
~~_L
-------
B = PH = I?--~ - -~ I
PAP- 1
000
000
000
I
T"= [
B:
0:
0:, -A B:,
~ ~ ,~ ~ ~ ,~
0 :
0:
'-v---'
________
ro
r1
(5-93)
O~
and
by the equivalence transformation 15
(0 0 0 0 0 0 0 0
o
P
0 0
o 0
o ~1~
o
o
o
o
L.. -...
0
0
0
0
0
0
c:D
0 0
0 0 ':(: 0
0 0 0 0
0
0
rank V = rank [B AB .
= total number of 1:
1\
:!~ 0
0
0 0 /!\
0 0 0
0 0 0
0 0 0
0 0 0
0 :i\ 0
0 0 :i~
15
Consequently, we conclude'
number of linearly independ(
independent columns of TIL a
position of the rows of TIL' h
apply Householder transfol
pivoting on the rows of TIL tc
Appendix A). Once in this.
readily determined.
There are two disadvant
{A, B}. First, the size ofT/l i
larger than the size of A. ~
controllable equation cannot
of {A, B} into a block Hessen1
the controllability of {A, B}.
The discussion of the ot
part and will not be repeated.
):0 0 0 0
)_ L: __
0 0 0 0
(:x x x X
--
-r-----
x X X X
): 1 0 0 0
):0
0 0
0
):0 0
225
COMPUTATIONAL PROBLEMS
-A B:
Til
0:
0: -A B:
0: I 0:1.
I
..
..
I
I
..
I
..,
..
..
..
0 :
0:
i-~ ~l
(5-94)
There are /l + 1 block columns in Til; each consists of n columns formed from
A and I and P columns formed from B. We call the former A columns, the latter
B columns. Now we search linearly independent columns of Til in order from
left to right. Because of the unit matrix I, all A columns in Til are linearly
independent of their left-hand-side columns. Let fj be the number of linearly
dependent B columns in the (i + 1)th block column as shown in (5-94). Because
of the structure of Til' we have
(5-93)
and
o
o
o
o
o
o
'~
"
,'I'..
'om the positions of 1 in
tion of {A, B} into (A, B}
nining the controllability
I to be in the controllable
.s will be seen in Chapter 7.
ollability to conclude this
em G-8', we may conclude
lial matrices sI - A and B
It can be shown directly (Problem 5-35) or deduced from Chapter 6 that the fi
in (5-94) are the same as the fj in (5-:28). Hence we have
rank U=rank [B AB ... All-IB] =(p fo) +(p ftl + ... +(p
= total number of linearly independent B columns in (5-94)
ll
226
5-9
Concluding Remarks
Theorems
Observability:
Theorems
TT T T T T
6
5-9
5-11
5-12
5-13
5-14
f~~orem
5-17
The theorems in the observability part can be easily derived from the con
trollability part by applying Theorem 5-10 (theorem of duality), and vice versa.
Theorems 5-1 and 5-4 (or 5-9) are two fundamental results of this chapter.
They are derived with the least assumption (continuity), and hence they are
most widely applicable. If additional assumptions (continuous differenti
ability) are introduced, then we have Theorems 5-2 and 5-5 (or 5-11), which give
only sufficient conditions but are easier to apply. If we have the analyticity
assumption (the strongest possible assumption) on time-varying dynamical
equations, then we have Theorems 5-3 and 5-6 (or 5-12). Theorem 5-7 (or
5-13), which follows directly from Theorems 5-1, 5-3, and 5-4, gives the necessary
and sufficient conditions for a linear time-invariant dynamical equation to be
controllable.
The relationship between the transfer-function matrix and the linear time
invariant dynamical equation was established in this chapter. This was achieved
by decomposing a dynamical equation into four parts: (1) controllable and
observable, (2) controllable but unobservable, (3) uncontrollable and unobser
vable, and (4) uncontrollable but observable. The transfer-function matrix
depends only on the controllable and observable part of the dynamical equation.
If a linear time-invariant dynamical equation is not controllable and not
observable, it can be reduced to a controllable and observable one.
The concepts of controllability and observability are essential in the study of
Chapters 6 to 8. They will be used in the realization of a rational matrix
(Chapter 6) and the stability study of linear systems (Chapter 8). Some practical
implications of these concepts will be given in Chapter 7.
The computational problems of the various controllability and observability
conditions are also discussed. Although the conditions can be stated nicely in
terms of the ranks of [B AB ... An- 1 B] and [sl - A
B] in the con
trollability case, they are not suitable for computer computations. An efficient
and numerically stable method is introduced to transform a dynamical equation
into the form in (5-54) or (5-60), and its controllability or observability can then
be determined. The algorithm can also be used to reduce a reducible dynamical
equation to an irreducible one.
'
Before concluding this chapter, we remark on the controllability of the
n-dimensional linear time-invariant des crete-time equation
x(k
+ 1) = Ax(k) +Bu(k)
Problems
5-1
a. {t, t 2 , l, e 2t,
te t , tZel,.~ ,
{l,
b.
G;]
y
:t:J +[~]
[~
[0 1]
[Xl]
Xz
[0 Jx+[
~ x=
0
-2
-4
y=[~
c.
x=
y=[
0
0
;]x
20
-25
I!} +r
-20
1 3 0]
~lCAL
PROBLEMS
EQUATIONS
Similar to Definition 5-1, we may define {A, B} to be controllable if and only if,
given anyxo and anyxb there exists an input sequence {u(k)} of finite length to
transfer Xo to Xl. 16 The condition of controllability is that rank [B AB ...
An-l BJ = n (see Problem 2-20). This condition is identical to statement 3 of
Theorem 5-7. Hence, most of the results in the time-invariant continuous-time
case are applicable to the discrete-time case without any modification. For
the time-varying case, the situation is different but is simpler. This will not be
discussed.
IS
5-8
5-16 Theorem
11
227
5-10
5-14 5-17
Problems
5-1
00,
oo)?
2t
a. {t, t , e , e , te }
b. {e t , te t , t 2 et , te 2t , te 3t
}
c. {sin t, cos t, sin 2t}
b.
[0 1]
=[ ~ ~ ~] + [~ ~]
x
-2
y=[~
c.
x=[~
Y
[-1
-4
-3
-;Jx
2
4
20
-25
u.
1~}+ [-~}
-20
3 0]
-1
5-3 Show that a linear dynamical equation is controllable at to if and only if there exists a
finite t 1 > to such that for any xo, there exists a u that transfers Xo to the zero state at time t 1.
Hint: Use the nonsingularity of the state transition matrix.
Show that if a linear dynamical equation is controllable at to, then it is controllable
at any t < to. Is it true that if a linear dynamical equation is controllable at to, then it is
controllable at any t> to? Why?
54
he controllability of the
lation
16
In the literature, if Xo =0, it is called reachable; if Xl =0, it is called controllable. Our definition
encompasses both and does not make this distinction. If A is singular, the condition of reach
ability and the condition of controllability are slightly different. If A is nonsingular, they are
identical.
}'
228
5-5
Is it true that p[B : AB: ... : An-IBJ =p[AB : A2B : ... : AnBJ? If not, under
what condition will it be true?
uniformly controllable.
5-6
yiste-tfort~1'!
5-7
State (without proof) the necessary and sufficient condition for a linear dynamical
equation E to be differentially controllable and differentially observable at to.
5-8
5-9
a.
x = [~
b.
c.
x=[~ ~JX+[e~2]U
5-10
~] x +G]u
x=[
to a controllable one.
X~[~
y
[1
-d~l +[~ ~l
5-20
5-21
0 1Jx
x=
Problem 5-1O?
Compute the controllability indices and the controllability index of the state equa
tion in (3-48).
5-12
5-13
Ax
+bu
Fi
[-1o 1 0] [0]
-1
0
0 x
-2
+ 1
5-23
y=[1
1J x
AMICAL EQUATIONS
PROBLEMS
229
Is it possible to-choose an initial state at t = 0 such that the output of the dynamical equation
is of the form y(t) = te- t for t > O?
on is controllable, then it is
5-16
Consider the dynamical equation in Problem 5-15. It is assumed that the initial
state ofthe equation is not knowb. Is it possible to find an input u[O,oo) such that the output
y is te- t for t:::::1?
5-17 Show that the state of an observable, n-dimensional linear time-invariant dynamical
equation can be determined instantaneously from the output and its derivatives up to
n-1 order. [Hint: Compute y(t),Ji(t), ... ,yln- 1l(t)']
is:
5-18
5-19
to a controllable one.
5-20
5-21
Al
Al
'0
0
[0
A2
0
1J x
dynamical equation
0
0
0
0
0
0
FE:
Ax +Bu
y=Cx+Eu
FE:
Xl =P 1 AQIXl +P 1 Bu
y =CQ1X I +Eu
5-23 In Problem 5-22, the reduction procedure reduces to solving for PI in P1QI
Find a method to solve PI in PI-QI
Inc
230
5-24
5-25
5-32
Consider two
2
0
2
2
1
o x+
x=lo
0
0
0
0
1
0
0
2
1
2
1
Y=l:
x=[j
Y=
["
2 1IU
~}
C12
C13
C14
C21
C22
C23
C24
Cl:J
C31
C32
C33
C34
C35
C25
b 21
b 31
b41
b 51
Let P be a nonsingular 1
PB=[l
0] [" b'~
~1)
0 0
o .
o X+
o
(s
Is it possible to find a set of bij and a set of Cu such that the following Jordan-form
equation
0
G1 =
5-26
1
0
0
0
s+1
0 0
0 1
0
0
systems'~
b 22
b32
b42
b5
where Bl is an nl x P matrix al
sions (n n l ) x nl and (n - n l )
if and only if {A22' A2d is con1
5-35
pU
Show that
is controllable? Observable?
Show that A is cyclic (see Problem 2-45) if and only ifthere exists a vector b such that
{A, b} is controllable. (Hint: Use Corollary 5-21.)
5-27
5-28 Show that if (A, B} is controllable and A is cyclic, then there exists a
vector r such that {A, Br} is controllable. (Hint: Use Theorem 5-21.)
x 1 column
5-29
A
This is called the Popov-Be/evit,
of Theorem 5-7.)
PROBLEMS
MICAL EQUATIONS
5-32
231
(; _[S~l
1
1-
(s
+ 1)
(S~~2;s3~1)l
(;z
(s+2)
(s
[(S~2)l
(s+1)
+ 3)(s + 1)
(s
+ 2)
PAP- 1
=rLAll
AZl
A12]
A22
where B1 is an n1 x P matrix and pB = pBl nl' The matrices A21 and A22 have dimen
sions (n - nd x nl and (n - nl) x (n - nd, respectively. Show that {A, B} is controllable
if and only if {An' Az d is controllable.
5-35
Show that
pU =p[B
where linearly independent columns of T I' are to be searched in order from left to right.
Hint: Premultiply TJ.! by
5-36 Show that (A, C} is observable if and only if {A, C*C} is observable, where A and C
are, respectively, n x nand q x n constant matrices and C* is the complex conjugate trans
pose of C.
m 5-21.)
n n x p matrix, to be control
ks associated with the same
tl
with E =0.
ontf(~bility?
Under what
5-37 Show that {A, B} is controllable if and only if there exists no left eigenvector of A
that is orthogonal to all columns of 8, that is, there exist no eigenvalue I. and nonzero
left eigenvector IX of A such that
and
IXB=O
This is called the Popov-Belevitch-Hautus test in Reference S125. (Hint: See statement 4
of Theorem 5-7.)