Con Troll Ability of Linear Systems
-
Upload
nicolasrobles -
Category
Documents
-
view
214 -
download
0
Transcript of Con Troll Ability of Linear Systems
-
8/14/2019 Con Troll Ability of Linear Systems
1/47
1
Department of Mathematics 2005/06
Controllability of Linear Systems
Candidate Number: 16776
Submitted for the Master of ScienceLondon School of Economics
University of London
-
8/14/2019 Con Troll Ability of Linear Systems
2/47
2
CONTENTS
Table of contents
Abstract p 4
I) Introduction p 5
II) Control Theory p 6
Linear control systems p 6
Solution to ( ) ( )dx
Ax t Bu t dt
= + p 7
III) Controllability p 10
IV) Feedback and eigenvalues placement p 23
V) Algorithm and Program p 27
VI) exp( ), A where n n A and the Cayley-Hamilton theorem p 32
Bibliography p 46
-
8/14/2019 Con Troll Ability of Linear Systems
3/47
3
List of Figures
Figure I.1: A Control System p 5
Figure II.1: Algebraic Underdetermined Equation p 6
Figure IV.1: A Closed Loop System by State Feedback p 23
-
8/14/2019 Con Troll Ability of Linear Systems
4/47
4
Abstract
Control systems of the form
( ( ), ( )),dx
f x t u t dt
= 0,t ( ) n x t ( ) .mu t
are explained and their applications are described. Moreover, the special case of linear control systems of the form
( ) ( ) ( ),d
x t Ax t Bu t dt
= + 0,t ,n n A ,n m B ( ) ,n x t ( ) .mu t
are solved in terms of the matrices A and B.
Conditions on the matrices A and B are given to make the system controllable, reachable
spaces are introduced, Hautus test for controllability is proved and also the Pole
Placement Theorem.
Finally, a Matlab code for the Pole Placement Theorem is given and a numericalexample solved by the program.
The necessary ideas of the exponentiation of a matrix and the Cayley-Hamilton theorem
are introduced in the last chapter.
-
8/14/2019 Con Troll Ability of Linear Systems
5/47
5
Chapter I: Introduction
Control theory is a domain of applied mathematics that deals with the basic principles
behind the analysis of control systems. Roughly speaking, control systems are models
which are described by underdetermined differential equations of the type
( ( ), ( )),dx
f x t u t dt
= 0,t (*)
: ,n m n f and
where for each 0t we have ( ) n x t and ( ) .mu t The function u is called the
input, which can be frequently chosen, that is, it can be specified arbitrarily, and once
this is done, the differential equation (*) has a unique solution x (given an initial
condition (0), x and under some mild conditions on f ).
The models given by the differential equation (*) arise frequently in applications from
various sciences such as engineering, economics and biology.
One can think of a control system as a black box. This box, being given the input u,
manufactures the output x, according to the equation.
Schematically this can be represented as the following figure
Figure I.1: A control system
The aim in control theory is to choose the input u in such a manner that some desired
effect is produce on the output x.
-
8/14/2019 Con Troll Ability of Linear Systems
6/47
6
Chapter II: Control Theory
As it has been just said above, in control theory, one studies models which are described
by underdetermined differential equations. This means that some of the variables
satisfying the differential equations are free. An example of an underdeterminedalgebraic equation would be 2 2 1, x u+ = where both x and u are non-negative real
numbers. In this case we can see that this equation does not have an unique solution of
the form ( , ). x u Rather, there is freedom in choosing one of the variables, say u, and
once a particular u is chosen, then the variable x is uniquely determined by 21 . x u=
Figure I.2: Algebraic Underdetermined Equation
Linear Control Systems
In an analogous same manner, in linear control theory, one considers the differential
equation
( ) ( ) ( ),d
x t Ax t Bu t dt
= + 0,t 0(0) x x= (**)
where ,n n A ,n m B and for each 0 :t ( ) n x t and ( ) .mu t
The equation (**) is an underdetermined differential equation: indeed, u is free, and
once a particular ( [0, )) mu C has been chosen, this determines a unique solution x.
Later on, in the next section, we will show that this x is given by
( )0
0
( ) ( ) ,t
tA t A x x t e x e Bu d = = + 0.t
We shall also explain the meaning of the exponential of a matrix.
-
8/14/2019 Con Troll Ability of Linear Systems
7/47
7
It is important to note that the underdetermined differential equation (**) is a special
case of the much more general underdetermined differential equation (*), where
: m nn f is the linear function given by
( , ) , A B = + ( , ) .n n
That is the reason why (**) are called linear control systems.
Models described by equations of the type (**) occur frequently in applications (often
as linear approximation of more complicated non-linear models), and we give one
example below from the biological field.
Consider a lake with two species of fish whose populations 1 2, x x over a time period
[0, ]T are reasonably accurately modelled by1 11 12 1
2 21 22 2
( ) ( )
( ) ( )
x t a a x t d x t a a x t dt
=
for [0, ],t T
and with initial conditions
11
22
(0).
(0)i
i
x x
x x
=
This might very well be the model of the typical prey-predator system. Here, obviously
there is no input and this system can be solved rather easily.
Let us bring in the input: suppose we are interested in harvesting these fish (both types)
at harvesting rates 1 2,h h which are the inputs. In this case, the model describing the
evolution of the population becomes
1 11 12 1 1
2 21 22 2 2
( ) ( ) ( )
( ) ( ) ( )
x t a a x t h t d x t a a x t h t dt
=
for the same [0, ],t T and the same initial conditions.
We might desire several things, i.e. several different outputs. For instance suppose that
we want to harvest the species of fish over [0, ]T in such a way that by time t T = (theend of the fishing time) we are left with the desired final populations 1 2, f x x starting
from 1 2, .i i x x Perhaps by then one of the species is nearing extinction, because we have
wanted it to be this way.
So we would like to know if this is possible and if so, how we might achieve this.
-
8/14/2019 Con Troll Ability of Linear Systems
8/47
-
8/14/2019 Con Troll Ability of Linear Systems
9/47
9
( )0
0
( ) ( ) .t
tA t A x t e x e Bu d = +
Proof.
First we show that this is indeed a solution. Formally, by working backwards we have
( ) ( )0 0
0 0
( ) ( )t t
tA t A tA tA t Ad d e x e Bu d e x e e Bu d dt dt
+ = +
( )0
0
( )t
tA tA t Ad Ae x e e Bu d dt
= +
( )0
0
( ) ( )t
tA tA t A tA tA Ae x Ae e Bu d e e Bu t = + +
( )0
0
( ) ( )t
tA tA t A tA tA A e x e e Bu d e Bu t
= + +
( )0
0
( ) ( )t
tA tA t A A e x e e Bu d Bu t
= + +
hence, this ( ) x does indeed satisfy (E.II.1) and the initial condition follows by setting t
to be zero0
0 ( )0 0 0
0
( ) 0 . A t Ae x e Bu d Ix x+ = + =
The uniqueness follows by considering two different solutions 1 x and 2 . x It follows that
1 2: x x x= satisfies the differential equation (E.II.2) with (0) 0 x = and so from the
previous Lemma we have that 0: ( ) 0t x t = which means that 1 2 . x x= And this ends
the proof.
-
8/14/2019 Con Troll Ability of Linear Systems
10/47
10
Chapter III: Controllability
As we said in the definition of linear systems, the interesting fact about
underdetermined equations is that we are allowed to choose the free variable in such a
way that we can produce a desired effect on the dependent variable.
Control theory seeks to do this in the differential equation
0( ( ), ( )), (0) , 0.dx
f x t u t x x t dt
= =
We will restrict our attention to linear systems
( ) ( ).dx
Ax t Bu t dt
= +
The state variable x are the variables to be controlled, which depend upon the free
variables u, the inputs. The main goal is then to solve the question: how do we choose
the control inputs to achieve regulation of the state variables?
We would like to define and characterize the property of controllability in terms of the
matrices A and B. To this end, we first define controllability and reachability of linear
systems.
Definition
The system
(E.III.1) ( ) ( )dx
Ax t Bu t dt
= +
for [ ]0,t T is said to be controllable at time T if for every pair of vectors 0 1, x x in ,n
there exists a control [ ]0,u C T such that the solution x of (E.III.1) with 0(0) x x=
satisfies 1( ) . x T x=
The system (E.III.1) is referred to as system ( , ). A B
Examples
Let 0 A = and 1, B = so that system ( , ) A B becomes
( ) 0 .dx
u t t T dt
=
-
8/14/2019 Con Troll Ability of Linear Systems
11/47
11
Given 0 1, , x x define [0, ]u C T to be the constant function
1 0
1( ) ( ) 0 .u t x x t T
T =
However, by the use of the fundamental theorem of calculus we can write
0 1 0 1 00 0 0
1( ) (0) ( ) '( ) ( ) ( )( 0)T T T dx x T x x T x d x d u d x x T x x
d T = = = = = =
and hence
1( ) . x T x=
Let us now study a system which is not controllable.
Consider the system1 0
0 1 A
=
and
1,
0 B
=
which gives:
11
22
( ) ( )
( )
dx x t u t dt
dx x t
dt
= +
=
The second equation implies that 2 2( ) (0) ,t x t x e= and so if 2 (0) 0, x > then for all 0t
we have 2 ( ) 0. x t > This in turn means that a final state with the 2 component x negative
is never reachable by any control.
Let us define more thoroughly what reachability means.
Definition
The reachable space of (E.III.1) at time T , denoted by ,T is defined as the set of all
n x for which there exists a control [ ]0,u C T such that
( )
0
( ) .T
T A x e Bu d =
Let us remark that this means that if we run the differential equation (E.III.1) with the
input u, and with initial condition 0(0) , x x= then x is the set of all points in the state
space that are reachable at time T starting from 0 by means of some input [ ]0, .u C T
Formally we have
-
8/14/2019 Con Troll Ability of Linear Systems
12/47
12
( )
0
| [0, ] s.t. ( ) .T
n T AT x u C T u e Bu d
= =
This means that T is made up of all the controls u that make the system ( , ) A B
controllable.
First we show that a reachable space is a subspace of . n
Lemma
The reachable space T is a subspace of .n
Proof
In order to prove this claim, we need to show that T is
- nonempty- closed under addition
- closed under scalar multiplication.
If we take 0,u = then
( )
0
( ) 0,T
T Ae Bu d =
and hence 0 .T
Next, suppose 1 2, T x x then there exist [ ]1 2, 0,u u C T such that( )
0
( )T
T Ai i x e Bu d
= for 1,2.i =
Thus [ ]1 2: 0,u u u C T = + and
( ) ( ) ( )1 2 1 2
0 0 0
( ) ( ) ( ) ,T T T
T A T A T Ae Bu d e Bu d e Bu d x x = + = +
and hence 1 2 .T x x+
Finally, if T x then there exists a [ ]0,u C T such that( )
0
( ) .T
T A x e Bu d =
If , then [ ]0,u C T and
-
8/14/2019 Con Troll Ability of Linear Systems
13/47
13
( ) ( )
0 0
( )( ) ( ) ,T T
T A T Ae B u d e Bu d x = =
thus .T x The proof is therefore finished.
So far, we have proved that , nT now we want to give a necessary and sufficient
condition for T to actually be .n As we will see, this condition depends on the rank
of the matrix 1[ | | | ].n B AB A B
Let us remember that the definition of rank is a bit technical:
Definition
The rank of a matrix A, written rank( ), is equal to the maximum number of linearly
independent rows of A or, equivalently, the dimension of the row space of A.
Essentially, the rank counts the number of genuinely independent rows in the matrix A.
Theorem
The following propositions are equivalent
(1) ,nT =
(2)1
rank[ | | | ] .n
B AB A B n
=
Proof
Let us do a contradiction to prove that (2) implies (1). To this end, suppose , nT
then there exists a 0 0 x belonging ton such that for all T r we have
T0 0. x r =
This is actually equivalent to the following equation
T ( )0
0
( ) 0T
T A x e Bu d = ([0, ]) .mu T
In particular, it will still be true if we chooseTT ( )
0( ) ,T Au u B e x= = with [0, ].t T As
a precaution it is worth reminding the reader that T and T have very different meanings
and the notation can become a bit tricky. This choice of u belongs to ([0, ]) .mT
So plugging this intro the integral gives
-
8/14/2019 Con Troll Ability of Linear Systems
14/47
14
TT ( ) T ( ) T0 0
0 0
0 ( ) ( ) ,T T
T A T A x e BB e x d y y d = =
where
T1
T ( ) 0
( )
( ) ,( )
T A
m
y
y B e x y
= =
see the Appendix to justify the change of the transpose in the exponential.
The product inside the integral can be written as
2 2
1 10 0
0 ( ) ( ) ,T T m m
k k k k
d y d = =
= =
the inversion of the summation and integration symbols is justified because the sum is
finite. However, each 20
( )T
k y d
is greater than or equal to zero, so the sum is only
zero if each 20
( )T
k d is actually zero, i.e.
{ } 20
1,..., : ( ) 0,T
k k m y d =
consequently 2( ) 0k y = or ( ) 0k y = for all [0, ]T and { }1,..., .k m
Hence T ( )0[0, ] : 0.T AT x e B = Differentiate this last equation k times with respect
to . This process gives T ( )0 0,k T A x A e B = and by suggestively setting T = we have
T0 0.
k x A B = This is the same as saying that T 10 [ | | | ] 0,n x B AB A B = but since we
have that 0 0, x we have to have1rank[ | | | ] ,n B AB A B n < which is a
contradiction since we know this rank to be exactly n, and thus .nT =
Let us now prove that (1) implies (2), set 1: rank[ | | | ] .n B AB A B n = < Then
there exists a nonzero 0n x such that
T 10 [ | | | ] 0,
n x B AB A B =
however, every matrix is a zero of its characteristic polynomial (by the Cayley-
Hamilton theorem) thus
2T T 1 T 10 0 0 1 0
0
( ) 0,n
n n n k n n k
k
x A B x I A A B x A A B
=
= + + + = + =
and by induction T0: 0.k k n x A B =
-
8/14/2019 Con Troll Ability of Linear Systems
15/47
15
These last two equations give: T00 : 0.k k x A B =
Now,
T T T 2 2 T0 0 0 0
0
1 10
2! !k k
k
x IB x AtB x A t B x A t Bk
== + + + =
since each term in the sum is zero, and we continue from here
T T0 0
0
10 .
!k k tA
k
x A t B x e Bk
=
= =
However, this implies that 0 ,T x since otherwise if some ([0, ])mu T then
( )0
0
( )T
T A x e Bu d =
T T ( )0 0 0
0 0
( ) 0 ( ) 0T T
T A x x x e Bu d Bu d = = =
which gives 0 0, x = a contradiction, so the rank has to be exactly n. And this ends the
proof.
Schematically we have the following results
( )
0
: | [0, ] s.t. ( )T
n T AT x u C T u e Bu d
= =
1rank[ | | | ]n nT B AB A B n
= = and hence (?)
1( , ) is controllable rank[ | | | ] .n A B B AB A B n =
Combining both results from the Lemma and from the Theorem we obtain:
Corollary
The following propositions are equivalent
(1) ( , ) B is controllable
(2) 1rank[ | | |] ,n B AB A B n = the dimension of the state space.
Before proceeding into the eigenvalue analysis for controllability let us return to the
examples we considered at the beginning and see why one of them is controllable and
the other is not using our new result: Corollary 3.5.
In the first example we had 1n = and
-
8/14/2019 Con Troll Ability of Linear Systems
16/47
16
1rank[ | | | ] rank[ ] rank[1] 1 ,n B AB A B B n = = = =
which is indeed the dimension of , the state space.
However, on the second example, the state space was 2 , so 2n = and we have
1 1 1rank[ | | | ] rank[ | |] rank 1 2 .0 0
n
B AB A B B AB n
= = = =
Lemma
Let ,n n A then the characteristic polynomial of A is the same as the characteristic
polynomial of 1 ,T AT where T is an invertible matrix in .n n
Proof
We have1 1det( ) det( ( ) ) I T AT T I A T =
1det( )det( )det( )T T I A=
det( ). I A=
so the characteristic polynomials are indeed the same.
Lemma
Let A be the following matrix
0 1 1
0 1 0
.0 0 1
n
A
a a a
=
Then its characteristic polynomial is1
0
det( ) .n
n k k
k
I A a
= = +
Proof
One has
-
8/14/2019 Con Troll Ability of Linear Systems
17/47
17
0 1 2 1
1 0 0
0 1 0
det( ) det
0 0 0 1n
n
I A
a a a a
=
+
1 2 1 0 2 1
1 0 0 1 0
det det0 0 1 0 0 1
n na a a a a a
= +
+ +
0
1 2 1
1 0
det0 0 1
n
a
a a a
= +
+
1 2 1 03 3
( ( ( ) ) )n nn n
a a a a
= + + + +
1 21 2 1 0
n n nn na a a a
= + + + + +
1
0
.n
n k k
k
a
== +
From now onwards, let ,n n A and 1.n B
Lemma
Let ( , ) A B be controllable and let A have characteristic polynomial1
0.
nn k k k
a
= +
Then there exists an invertible T in n n such that
1
0 1 1
0 1 0
0 0 1
n
T AT
a a a
=
and 1
1
0.
0
T B
=
Proof
Because ( , ) A B is controllable we have 1rank[ | | | ] .n B AB A B n = So if we define
as 1{ , , , },n B AB A B = then forms a basis of .n With respect to this basis ,
the matrix of the linear transformation A is
-
8/14/2019 Con Troll Ability of Linear Systems
18/47
18
0
1
1
0 0
1 0.
0 1 n
a
aQ
a
=
Let the characteristic polynomial of A be given by1
11 1 0
0
( ) ,n
n n n k n k
k
p z z a z a z a z a z
== + + + + = +
and define the auxiliary polynomials2
1 2 11 1 2 1 1
0
( )n
n n n k n k
k
p z z a z a z a z a z
+
== + + + + = +
32 3 2
2 1 3 2 20
( )n
n n n k n k
k
p z z a z a z a z a z
+
== + + + + = +
1 1( )n n p z z a = +
( ) 1.n p z =
The general polynomial being given by
1
( ) .n i
n i n i k i n k
k
p z z a z
== +
These auxiliary polynomials satisfy the recursion relation (for {1, , })i n
1 1( ) ( ) ( ).
i i i n zp z p z a p z
=
Now, also for {1, , }i n introduce the vectors ( ) .i ie p A B= The auxiliary polynomials
can be written for the matrix A as
1
( ) ,n i
n i n i k i n k
k
p A A a A
== +
and similarly for the recursion relation we have
1 1 .i i i n Ae e a e =
Using this recursion relation we can see that1
1 2span{ , , , } span{ , , , }.n
n B AB A B e e e =
Therefore, { {1, , }}ie i n is a basis for .n
In this basis, A has the matrix
-
8/14/2019 Con Troll Ability of Linear Systems
19/47
19
0 1 1
0 1 0
.0 0 1
na a a
The statement for 1
T B
1
1
0
0
T B
=
follows trivially.
Next we prove an if and only if lemma which says that if ( , ) A B is controllable, then it
will still controllable after the multiplication of an invertible matrix T .
Lemma
Let T be an invertible matrix in .n n Then the following propositions are equivalent
(1) ( , ) B is controllable
(2) 1 1( , )T AT T B is controllable.
Proof
Using the relation 1 1( ) ,n nT AT T A T = we have that1 1 1 1 1 1 1rank[ | | | ] rank[ | | | ] ,n n B AB A B n T B T ATT B T A TT B n = =
and the claim follows.
Recall that a subspace nV is said to be A-invariant if , AV V which is equivalent
to saying that if x V then . Ax V This means that V is A-invariant when the whole
trajectory remains in V whenever the initial state belongs to V .
Lemma
One has that 1ran[ | | | ]n B AB A B is the smallest A-invariant subspace containing
ran . B
-
8/14/2019 Con Troll Ability of Linear Systems
20/47
20
Proof
Let us first prove that 1ran[ | | | ]n B AB A B is a subspace containing ran . B
Suppose that ran , x B this means that there exists mu such that , x Bu= and this can
be seen my computing
1 0[ | | | ] .
0
n
u
B AB A B Bu x
= =
Next, let us show that 1ran[ | | | ]n B AB A B is an A-invariant subspace. To
accomplish this, let 1ran[ | | | ]n x B AB A B which means that
1
21[ | | | ]n
n
u
u x B AB A B
u
=
11 2 1
0
nn k
n k k
Bu ABu A Bu A Bu +=
= + + + =
and operating A on x we have
2 12 1
1
.n
n n k n n k
k
Ax ABu A Bu A Bu A Bu A Bu =
= + + + + =
If we let p denote the characteristic polynomial of A then by Cayley-Hamilton we have( ) 0. p A = So, if
11
1 1 00
( ) ,n
n n n k n k
k
p z z a z a z a z a z
== + + + + = +
then1
11 1 0
0
.n
n n k n k
k
A a A a A a I a A
== =
If we now substitute this new equation for n A in the equation for Ax we have
2 1 11 2 1 1 1 0( )n nn n n Ax ABu A Bu A Bu a A a A a I Bu = + + + +
2 11 1 2 2 1 10 ( ) ( ) ( )
nn n n n n B AB u a u A B u a u A B u a u
= + + + +
1 1
1 0
n nk k
k k nk k
A Bu a A Bu
= =
= +
-
8/14/2019 Con Troll Ability of Linear Systems
21/47
21
1
1
0 ( )n
k k k n
k
B A B u a u
== +
1 11
1 1
0
[ | | | ] nn
n n n
u a u B AB A B
u a u
=
1ran[ | | | ],n B AB A B
so 1ran[ | | | ]n B AB A B is indeed A-invariant.
Finally we need to prove that this subspace is the smallest of all the subspaces with this
property. In order to do so, let V be a subspace of n such that
- ran B V
- , AV V
then the claim is that 1ran[ | | | ] .n B AB A B V Let us proceed as in the previous
parts of the proof. Let 1ran[ | | | ]n x B AB A B then
1
21 1
1
ran[ | | | ] .n
n k k
k
n
u
u x B AB A B A Bu
u
=
= =
Since { }1, , : ran ,n Bu B and since ran , B V it follows that , Bu V for all
in the set { }1, , .n And, as we have shown, V is A-invariant, and so 0 : .k k A Bu V
As V is a subspace, it follows that
1 11
1
.n
n k n k
k
x Bu A Bu A Bu V =
= + + =
This ends the proof of the lemma.
Hautus test for controllability
The following propositions are equivalent(1) ( , ) B is controllable
(2) : rank[ ] . B I A n =
-
8/14/2019 Con Troll Ability of Linear Systems
22/47
22
Proof
Let us first prove that (1) implies (2). To achieve such goal, let ( , ) A B be controllable.
We now consider two cases for . If is not an eigenvalue of A, then we have
rank[ ] . B I A n = However, if happens to be an eigenvalue of A then there exists
v such that T ( ) 0,v I A = which can also be written as T T .v A v=
If T 0v B = then we haveT 1 T T 1 T 1[ | | | ] [ | | | ] 0n n nv B AB A B v B v B v A B = =
a contradiction to ( , ) A B being controllable.
To show that (2) implies (1) let ( , ) B be non controllable. Choose a basis for
1ran[ | | | ]n B AB A B and extend it to a basis B for .n
Then by previous lemma there exists n nT such that
11 121
22
,0
A AT AT
A =
11 .
0
BT B
=
Now Let 2 be an eigenvalue of 22 A and let 2 0 x be such thatT T2 22 2 2 . x A x=
Also, let T[ ] 0.v B I A = Hence : rank[ ] . B I A n =
Now we define the state feedback which has the control u in terms of the variable x by
means of an appropriate matrix. It is called in such a way because it feeds the u into the
system in a closed loop manner.
State Feedback
Let ,m n F then ( ) ( ).u t Fx t =
Theorem
If ( , ) A B is controllable then ( , ) A BF B+ is still controllable.
Proof
We have
1rank[ ] rank [ ]
0 1
F B I A BF B I A
=
rank[ ]. B I A=
-
8/14/2019 Con Troll Ability of Linear Systems
23/47
23
Chapter IV: The eigenvalue placement theorem
Let us do a summary of the linear system ( , ) A B
( ) ( ) 0dx
Ax t Bu t t dt
= +
with the following matricesn x mu n n A n m B
and the state feedback being defined as
( ) ( ) .m nu t Fx t F =
The state feedback has been defined in such a way so that we can create a closed loop
system, that is, a system that is fed ( )u t in terms of ( ). x t
Closed loop system
( ) ( ) ( ) ( ) ( ) ( ).dx
Ax t Bu t Ax t BFx t A BF x t dt
= + = + = +
Figure IV.1: A Closed Loop System by State Feedback
A sensible question to ask now is the following : what are the conditions on A and B
such that for every monic, real polynomial p of degree n there exists m n F such that
the characteristic polynomial of A BF + is p?
In order to answer this question we first state and prove some technical lemmas which
will eventually lead to a major proposition called the Pole Placement Theorem.
-
8/14/2019 Con Troll Ability of Linear Systems
24/47
24
Lemma
If ( , ) A B is controllable and ranb B with 0,b then there exist 1 1, , nu u such that
the sequence defined by
{ }1
1
:
: 1, , 1k k k
x b
x Ax Bu k n+
=
= +
is independent.
Proof
We proceed by steps, 1 0 x , and therefore it is independent. Now suppose we have
constructed the sequence i x for 1, , .i k = Let { }1span , , ,k x x = that is, the linear
space generated by { }1 , , .k x x We need to choose k u such that 1 .k k k x Ax Bu+ = +
Should this not be possible then : k k u Ax Bu + (*). In particular choose 0u = so we
have k Ax (**). Combining (*) and (**) we have
:u Bu or the same in other words: ran . B Finally for all i k < we have that
1 ,i i i Ax x Bu+= since both 1i x + and i Bu satisfy 1i x + and .i Bu
This gives now gives that indeed i Ax for all { }1, ,i k and so it follows that
. A This in turn implies that we have , n = and .k n=
Lemma
If ( , ) B is controllable and ranb B with 0,b then there exists F such that
( , ) BF b+ is controllable.
Proof
It follows from the previous lemma. Define F by ,k k Fx u= for { }1, , 1k n and
0.n Fx = Then1( ) ,n k A BF b x
+ = and so ( , ) A BF b+ is controllable.
Note: we could have used any other arbitrary vector in n to define .n Fx
-
8/14/2019 Con Troll Ability of Linear Systems
25/47
25
We are now in a position to finally give a necessary and sufficient condition for the
system ( , ) A B to be controllable in terms of characteristic polynomials, this result is
called the:
Eigenvalue Placement TheoremThe following propositions are equivalent
(1) ( , ) A B is controllable
(2) for every monic polynomial p with real coefficients of degree n, there existsm n F such that the characteristic polynomial of A BF + is p
Proof
Let us prove the only if part first. Suppose that ( , ) A B is not controllable. We want to
reach the conclusion that the characteristic polynomial of A BF + is never equal to p.
So, if ( , ) A B is not controllable then there exist and nv such that T Tv A v=
and that T 0.v B = Thus, T T: ( ) ,m n F v A BF v + = which is the same as saying that
,m n F is an eigenvalue of . A BF +
Having this result now we take any monic polynomial p of degree n with real
coefficients such that ( ) 0. p This gives the conclusion that we were looking for,
which is that the characteristic polynomial of A BF + will never be equal to p.
[Note: take for instance the natural choice ( ) , n p x x= if 0 and ( ) 1n p x x= + if
0. = ]
The proof of the if is considerably longer and needs to be divided into two cases, first
one with 1m = and then a more general case for larger and arbitrary m.
For 1m = find T such that
1
0 1 1
0 1 0
0 0 1
n
T AT
a a a
=
and 1
1
0
0
T b
=
Find [ ]1 n f f f = such that
-
8/14/2019 Con Troll Ability of Linear Systems
26/47
26
1 1
0 1 1
0 1 0
,0 0 1
' ' 'n
T AT T bf
a a a
+ =
(this can be accomplish indeed with 0 1 0 1 1', , ')n n na f a a f a + = + = where
1
0
'n
n k k
k
a
= +
is the desired characteristic polynomial.
It just remains to realize that
1 1
0 1 1
0 1 0
( )0 0 1
' ' 'n
T A bfT T
a a a
+ =
and so
1 1
0 1 1
0 1 0
0 0 1
' ' 'n
A bfT T T
a a a
+ =
has a characteristic polynomial which is1
0'.
nn k k k
a
= +
The general case is now done as follows. First, suppose ( , ) A B is controllable. Set
ranb B with 0,b then 0 F such that 0( , ) A BF b+ is controllable.
We can also write ' f such that the characteristic polynomial of ' A BF bf + + is the
desired characteristic polynomial. However, there exists u such that b Bu= (because
we have that ran ).b B
Finally, define 0 ', F F uf = + then characteristic polynomial of A BF + is the desired
polynomial.
We will do a numerical example using this theorem (about the linearized motion of a
satellite where the inputs are the thrust in the radial direction and the thrust in the
tangential direction) in the following Chapter.
We will also give the a code which was successfully impletemented in Matlab.
-
8/14/2019 Con Troll Ability of Linear Systems
27/47
27
Chapter V: Algorithm and Program
The following is a Matlab code of the eigenvalue placement theorem which is
commented and described.
% The program is Pole Assignment
% Given (A, B) and poles p, this function will find out if the given pair is controllable
and
% if so it will relocate the poles. The outputs are relocated poles and the feedback
matrix {z}.
% Checking for controllability
[n,n]=size(A);
C=[];
for i=1:n,
C=[C A^(i-1)*B];
end
if rank(C)==n,
disp('(A,B) is controllable')
else
disp('(A,B) is uncontrollable'), RETURN
end
[n,m]=size(B);
r=n-1;
while r~=n,
% form a random matrix of size m x n
F=rand(m,n);
Ao=A+B*F;
% find the eigvenvalues of Ao
x=eig(Ao);
% to check whether they are distinct
-
8/14/2019 Con Troll Ability of Linear Systems
28/47
28
V=[];
for i=1:n,
v=[];
for j=1:n,
v=[v x(i)^(j-1)];end
V=[V;v];
end
r=rank(V);
end
r=n-1;
while r~=n,
% form a random matrix u of size m x 1
u=rand(m,1);
b=B*u;
% check for controllability
C=[];
for i=1:n,
C=[C Ao^(i-1)*b];
end
r=rank(C);
end
% given poles p(1), ... , p(n), to find coefficients of the polynomials
x=[1 -p(1)];
for i=2:n,
x = conv(x, [1 -p(i)]);
end
for i=1:n,
d(i)=x(i+1);
end
-
8/14/2019 Con Troll Ability of Linear Systems
29/47
29
% to find the characteristic polynomial of A
x=eig(Ao);
y=[1 -x(1)];
for i=2:n,
y=conv(y,[1 -x(i)]);end
for i=1:n,
ao(i)=y(i+1);
end
% Transformation matrix
P=[zeros(1,n); eye(n-1) zeros(n-1,1)];
x=[1];
for i=1:(n-1),
x=[ao(i) x];
end
U=x;
t=x;
for i=1:(n-1),
t=t*P;
U=[U;t];
end
T=C*U;
fo=[];
for i=1:n,
fo=[fo (d(n+1-i)-ao(n+1-i)) ];
end
fo=fo*inv(T);
x=eig(Ao-b*fo);
disp('poles for controllable pair have been relocated at');
disp(x);
disp('feedback matrix is');
z=(F-u*fo);
-
8/14/2019 Con Troll Ability of Linear Systems
30/47
30
disp(z);
Now, consider the system
1 1
2 2 1
3 3 2
4 4
( ) ( )0 1 0 0 0 0
( ) ( ) ( )3 0 0 2 1 0 .( ) ( ) ( )0 0 0 1 0 0
( ) ( )0 2 0 0 0 1
x t x t
x t x t u t d x t x t u t dt x t x t
= +
This system is the linearized equation of motion of a satellite where the input 1u is the
thrust in the radial direction and 2u the thrust in the tangential direction.
We input this in the program Controllability.m
0 1 0 0
3 0 0 2,
0 0 0 1
0 2 0 0
A
=
0 0
1 0,
0 0
0 1
B
=
and we define the points (1) 1, p = (2) 2, p = (3) 3, p = (4) 4, p = which are the
eigenvalues we wish to have in this system. We also try the eigenvalues (1) 1, p =
(2) 1, p = (3) 5, p = and (4) 2. p =
The output of the program is as follows
>> A = [0 1 0 0 ; 3 0 0 2 ; 0 0 0 1 ; 0 -2 0 0]
A =
0 1 0 03 0 0 20 0 0 10 -2 0 0
>> B = [0 0 ; 1 0 ; 0 0 ; 0 1]
B =
0 01 0
-
8/14/2019 Con Troll Ability of Linear Systems
31/47
31
0 00 1
>> p(1)=1
p =
1>> p(2)=2
p =
1 2
>> p(3)=3
p =
1 2 3
>> p(4)=4
p =
1 2 3 4
>> controllability(A,B) is controllablepoles for controllable pair have been relocated at
4.00001.00003.00002.0000
feedback matrix is118.8359 -24.5533 -5.2740 64.245364.0536 -13.1355 -2.5757 34.5533
>>
>> A = [0 1 0 0 ; 3 0 0 2 ; 0 0 0 1 ; 0 -2 0 0]
A =
0 1 0 03 0 0 20 0 0 10 -2 0 0
>> B = [0 0 ; 1 0 ; 0 0 ; 0 1]
B =
0 01 00 00 1
>> p(1) = 1
-
8/14/2019 Con Troll Ability of Linear Systems
32/47
32
p =
1
>> p(2) = -1
p =1 -1
>> p(3) = 5
p =
1 -1 5
>> p(4) = -2
p =
1 -1 5 -2
>> controllability(A,B) is controllablepoles for controllable pair have been relocated at
5.0000-2.0000-1.00001.0000
feedback matrix is3.6791 3.4798 4.2638 -0.46391.7086 2.0414 2.5879 -0.4798
>>
Therefore, wit the first set of eigenvalues the matrix F is
118.8359 24.5533 5.2740 64.2453,
64.0536 13.1355 2.5757 34.5533 F
=
and for the second set we have
3.6791 3.4798 4.2638 0.4639.
1.7086 2.0414 2.5879 0.4798 F
=
Since F was defined such that ( ) ( ),u t Fx t = then we have our control u for both cases
with the eigenvalues we wanted.
-
8/14/2019 Con Troll Ability of Linear Systems
33/47
33
Chapter VI: exp( ), A where n n A and the Cayley-Hamilton theorem
The objective of this chapter is to set the necessary tools required in the process of
constructing a consistent control theory. The aim is to understand these tools now
instead of having to digress during the theory because this would take our attention
away. The only required knowledge required is single variable calculus and some linear
algebra: namely vector spaces and matrix theory, in particular expansion of
determinants, digitalisation of matrices, eigenvalues and eigenvectors. The main
objective is not to go into the details of linear algebra, but to explain the exponentiation
of a matrix and the Cayley-Hamilton theorem.
The ( , )i j -entry of a generic matrix A will be denoted by ( ),ij
A or by ( )ij
a once the
cofactors and minors are introduced.
Definition A.1 Let denote the following norm
{ }max such that 1 and .ij A A i j n=
Clearly we have
(*) |ij A A
for all i and j.
Although there are several possible choices for a norm, this one is convenient because it
allows a relatively straightforward proof of the convergence of the exponential of a
matrix.
Lemma A.2
Suppose that A and B are two real n-square matrices, then . AB n A B
Proof
This follows by using the inequality that we have pointed out previously, we first
estimate the absolute value of the general entry of the matrix AB, denoted by ( ) ,ij AB
-
8/14/2019 Con Troll Ability of Linear Systems
34/47
-
8/14/2019 Con Troll Ability of Linear Systems
35/47
35
Proof
By the convention of our notation, the ( , )i j -entry of e is
0
0
1( ) ( ) , with ( ) .
! A k
ij ij ij ijk
e A A I k
=
= =
To show that this exponential of a matrix converges, we show that the series
2
0
1 1( ) ( )
2! !k
ij ij ij ijk
I A A Ak
=+ + + =
is absolutely convergent, and hence convergent. To this end, let a n A= then
1ij I I = for 0,k = and11 1 1( )
! ! !k k k k
ij A A n Ak k k for 1.k (By Lemma A.3)
Hence
2 32 3 21 1 1 1| | | |( ) | |( ) | 12! 3! 2! 3!ij ij ij ij I A A A A n A n A+ + + + + + + +
2 31 1 112! 3!
a a an
= + + + +
11 .
aen= +
The same in abbreviated notation
1
0 0 1
1 1 1 1 1|( ) | 1 1 .
! ! !
ak k k k
ijk k k
e A n A a
k k n k n
= = =
= + = +
And the result follows since the series converges absolutely.
Lemma A.5
The series
1 1! !
r s
k r s k ij
A Br s+ =
converges for all i and j.
Proof
As in the proof above, let a n A= and b n B= and estimate double sum
1 1 1( )
! ! ! !r s r s
ijk r s k k r s k ij
A B A Br s r s+ = + =
=
-
8/14/2019 Con Troll Ability of Linear Systems
36/47
36
1! !
r s
k r s k
A Br s+ =
(by the (*) inequality)
1! !
r s
k r s k
n A Br s+ =
(by Lemma A.2)
1 11 ( )( )! !
r sr s
k r s k n n A n B
r s
+ = (by Lemma A.3)
21! !
r sr s
k r s k
n A Br s
+
+ ==
21! !
r s
k r s k
n a br s
+ ==
1! !
r s
k r s k
a br s+ =
a b
e+
= .<
Lemma A.6
Suppose that A and B are two real n-square matrices that commute, i.e. , AB BA= then
we have . A B A Be e e+ =
Proof
Formally we have0
1( )
!a b k
k
e a bk
+
== + and
0 0
1 1.
! !a b k k
k k
e e a bk k
= =
=
The terms of degree k in these expansions are respectively
( )1 1( )! !
k k r sr
r s k
A B A Bk k + =
+ = and 1 1 .! !
r s
r s k
A Br s+ =
Because of the binomial coefficients we have
( )1 1 ! 1 1 1 ,! ! !( )! !( )! ! !
k r
k k k r k r r k r r s
= = =
and hence both terms are equal for all k and all r and s such that .k r s= +
Define
0
1( ) : .
!
nk
nk
S A Ak =
=
Then
-
8/14/2019 Con Troll Ability of Linear Systems
37/47
37
0 0 0 0
1 1 1 1( ) ( ) ,
! ! ! !
n n n nr s r s
n nr s r s
S A S B A B A Br s r s= = = =
= =
but similarly
( )0 0
1 1 1( ) .
! ! !
n nk r s r s
n r k r s k k r s k
S A B A B A Bk r s= + = = + =
+ = =
When we compare terms, we realize that the expansion of the partial sum ( )nS A B+
consists of the same terms as that of ( ) ( )n nS A S B provided that .r s n+
The subtlety here is showing that the sum of the remaining terms (the ones )r s n+ >
tend to zero as k grows large without bound.
By Lemma A.5 we have that the i, j-entry of ( ) ( ) ( )k k k S A S B S A B + satisfies
1 1( ( ) ( ) ( )) .
! !
r sk k k ij
r s k ij
S A S B S A B A Ar s+ >
+
However, by Lemma A.5, this sum tends to zero as k grows, but we also have that
( ) ( ) ( ) , A B A Bk k k S A S B S A B e e e+ +
hence this proves the lemma.
Lemma A.7
Suppose I is the identity matrix, then0
1lim ( ) .hAh
e I Ah
=
Proof
Expand the exponential (we have shown this to be a valid operation in Lemma A.4)
1
2
1 1( )
!hA k k
k
e I A h Ah k
= =
and use the usual substitution a n h A= to estimate the series
1 1
2 2
1 1( )
! !k k k k
ijk k ij
h A h Ak k
= =
(by the triangle inequality)
1
2
1| | |( ) |
!k k
ijk
h Ak
==
1
2
1| |
!k k
k
h Ak
= (by the (*) inequality)
-
8/14/2019 Con Troll Ability of Linear Systems
38/47
38
1 12
1| |
!k k k
k
h n Ak
= (by Lemma A.3)
1 1
2
1| | | |
!k k k k k
k
h n a n hk
==
2
1 1| | !
k
k
an h k
==
( 1 )a A
e aa
=
11 .
ae A
a
=
At this point it is important to note that 0a as 0.h However, the key here relies
on real analysis, which tells us that the derivative of the exponential function is the
exponential function itself,
0
00
1lim 1,
aa
aa
e d e e
a da =
= = =
(by LHopitals rule) so the series tends to zero with h.
Lemma 1.8
The function tAe is a differentiable matrix-valued function of t , and its derivative is
.tA Ae
Proof
Apply Newtons quotient definition of derivative
( )
0
1lim ( )tA t h A tAh
d e e e
dt h+
=
because of the commutability of tA and hA (both t and h are scalars), we have
( )1 1( ) ( )t h A tA hA tAe e e I eh h
+ =
and by Lemma A.7, the term is parenthesis tends to A as h goes to zero, and this proves
the result.
The exponential of a matrix, although well-defined and convergent requires further
explanations, in particular it requires an intelligent way of computing it, and certainly
exponentiating the entries of A is not a good way of doing so.
-
8/14/2019 Con Troll Ability of Linear Systems
39/47
39
Nonetheless, there is straightforward case which can be computed easily, and that is
when the matrix A is diagonal, with diagonal entries . i
It is important to note that inspection of the series shows that Ae is also diagonal in this
case, and that its diagonal entries are .ie This can easily be seen by the definition, if A
is a diagonal matrix with entries , i then each term in the expansion of e will be a
diagonal matrix with entries , k i each matrix being divided by !,k and hence Ae is a
diagonal matrix (example later on).
Definition A.9
A matrix A is diagonalizable if there exists a matrix P such that 1: D P AP = is a
diagonal matrix.
The following two lemmas are part of the details of linear algebra which we have
chosen to omit, so the proofs will not be given.
Lemma A.10
If A is diagonalizable, then 1. A PDP =
Lemma A.11
If A is diagonalizable, then 1 1( ) .k k PDP PD P =
Lemma A.12
If A is diagonalizable then
1
1
0
0 n
A
e
e P P
e
=
where i are the eigenvalues of A.
Proof
One has 00
1, with
! A k
k
e A A I k
== =
-
8/14/2019 Con Troll Ability of Linear Systems
40/47
40
11
1( )
!k
k
I PDP k
== +
1 1
1
1( )
!k
k
PIP PDP k
== +
1
1
1!
k
k
P I D P k
=
= +
1
1
1!
k
k
P I D P k
=
= +
1 D Pe P =
1
1
0
.
0 n
e
P P
e
=
Example
Compute Ae for 0
.0
A
=
Solution
The key step here is to realize that2
2 22
2
0
0
k k k
k k
J A J
= where {2
1 is odd.1 is evenk
k J k
= +
2 12 1 2 1
2 12 1
0
0
k k k
k k
K A
K
++ +
++
=
where {2 1 1 is odd .1 is evenk k K k + = +
Therefore
2 3
0
1 1 1! 2! 3!
A k
k
e A I A A Ak
== = + + + +
2 3
2 3
1 0 0 0 01 1
0 1 0 2! 3!0 0
= + + + +
2 4 3 5
3 5 2 4
1 1 1 11
2! 4! 3! 5!1 1 1 1
13! 5! 2! 4!
+ + +
= + + +
-
8/14/2019 Con Troll Ability of Linear Systems
41/47
41
2 2 1
2 1 2
( 1) ( 1)(2 )! (2 1)!
( 1) ( 1)(2 1)! (2 )!
k k k k
k k k k
x xk k
x xk k
+
+
+ =
+
cos sin .sin cos
=
Example (diagonal 2 2 real matrix)
Compute Ae for 1
2
0.
0 A
=
Solution
We already know the solution to this one, we know that 1
2
0 ,0
nnn A =
and hence
1
2
1
0 0 2
0 01 1.
! ! 0 0
n A n
nn n
ee A
n n e
= =
= = =
Example
Compute Ae for 0 1
.0 0
A
=
Solution
The crucial step is detecting that this is a nilpotent matrix, i.e. 2 0, A = and so on, so we
only need to sum up a finite number of terms.
1 0 0 1 1 1.
0 1 0 0 0 1 Ae I A
= + = + =
Definition A.13
Suppose A is an n-square matrix. Let ijM denote the ( 1) squaren submatrix of A
obtained by deleting its ith row and jth column. The determinant det( )ijM is called the
minor of the element ija of A, and we define the cofactor of , ija denoted by ,ij A to be
the signed minor: ( 1) det( ).i jij ij A M +=
Note that ijM denotes a matrix, whereas ij A denotes a scalar.
-
8/14/2019 Con Troll Ability of Linear Systems
42/47
42
Definition A.14
Consider a n-square matrix A over a field K . The classical adjoint, also called the
adjoint, of A, denoted by adj A is the transpose of the matrix of cofactors of A, i.e.
11 21 1
12 22 2
1 2
adj .
n
n
n n nn
A A A
A A A A
A A A
=
Lemma A.15 (Laplace Expansions)
One has1 1
det .n n
ij ij ij iji j
a A a A= =
= =
Proof
Omitted.
Lemma A.16
Suppose A is an n-square matrix, and suppose B is the matrix obtained from A by
replacing the ith row of A by the row vector ( )1 2 ... .i i inb b b One has 1 .n
ij ij jb A
= Additionally, if i j then
1 1
0.n n
jk ik kj kik k
a A a A= =
= =
Proof
As usual with our convention ( ), ij B b= and by the Laplace expansions in Lemma A.15
we have
1
det .n
ij ij j
B b B=
=
Now, we can safely say that ij ij B A= for 1,..., j n= since ij B does not depend upon the
ith row of B. Therefore the equation above becomes
1
det .n
ij ij j
B b A=
=
-
8/14/2019 Con Troll Ability of Linear Systems
43/47
-
8/14/2019 Con Troll Ability of Linear Systems
44/47
44
Proposition A.18 (Cayley-Hamilton theorem)
Every matrix is a root of its characteristic polynomial.
Proof
Suppose that A is an arbitrary real n-square matrix, and let ( ) t denote its characteristic polynomial, say
11
1 1 00
( ) det( ) .n
n n n k n k
k
t tI A t a t a t a t a t
= = = + + + + = +
Now let ( ) B t denote the classical adjoint of the matrix .tI A The elements of ( ) B t are
cofactors of the matrix tI A and hence are polynomials in t of degree not exceeding
1,n thus1
11 1 0
0( ) .
nn k
n k k B t B t B t B B t
== + + + =
By Lemma A.17 we have ( ) ( ) det( ) ,tI A B t tI A I = or
1 1
0 0
( ) .n n
k n k k k
k k
tI A B t t a t I
= =
= +
The key step is now to equate the coefficients of corresponding powers of t , this can be
done since both sides are of order n,
1n B I =
2 1 1n n n B AB a I =
3 2 2n n n B AB a I = in general 1 1n k n k n k B AB a I + + = and so on
0 1 1 B AB a I =
0 0 . AB a I =
Next, multiply the matrices above by 1, ,..., , ,n n A A A I respectively, this yields
1n
n A B I =
1 12 1 1
n n nn n n A B A B a A
=
2 1 23 2 2
n n nn n n A B A B a A
= and so on
20 1 1 AB A B a A =
0 0 . AB a I =
Finally, add the above matrix equations
-
8/14/2019 Con Troll Ability of Linear Systems
45/47
45
11 2
1 2 00
0 ( ),n
n n n k n n n k
k
A a A a A a I A a A A
== + + + + = + =
which is the Cayley-Hamilton theorem.
Lemma A.19Let A and B be two real n-square matrices, then T T T( ) , AB B A= where the T denotes the
transpose of a matrix.
Proof
According to our notation, ( ) ij A a= and ( )ij B b= so the ij-entry of AB is 1 ,n
ik kjk a b
= which is also the ji-entry of T( ) . AB
However, column j of B now becomes row j of T
, B and row i of A becomes column i of T . A This means that the ji-entry of T T B A is
1
22
1
( ) .
i
ni
ij j nj kj ik k
in
a
ab b b b a
a=
=
Thus, T T T( ) AB B A= because the corresponding entries are equal.
Lemma A.20
For any real n-square matrix A we have: T T( ) ( ) .k k A A=
Proof (By induction)
By setting A B= in Lemma A.19 we have 2 T 2 T( ) ( ) . A A= And now we proceed by
induction. Let ( ) P n be the statement T T( ) ( ) .n n A A= We know it to be true for 2.n =
Now assume ( ) P n is true for some integer n, then T T( ) ( ) ,n n A A= multiply both sides
by T , A this gives T T T T( ) ( ) .n n A A A A= The left hand side is simply T 1( ) ,n A + whereas
the right hand side becomes T T T 1 T( ) ( ) ( ) ,n n n A A AA A+= = by Lemma A.19. So if ( ) P n
is true for some integer n, then so is ( 1) P n + and thus ( ) P n is true for all 2.n
-
8/14/2019 Con Troll Ability of Linear Systems
46/47
46
We finish with two lemmas concerning the determinants and transpose of the
exponential of a square matrix.
Lemma A.21
Suppose A is a real n-square matrix, then Tr det . Ae e=
Proof
Let us start by a reduction of A of the form 1 , A P TP = where T is upper triangular.
Note that since k T will still be triangular, with diagonal entries equal to ( ), k T jjt e will be
triangular as well, with diagonal entries equal to ( ). jjt e
Hence
Tr det exp , jjt T T jj j j
e e t e= = =
and this is the result we wanted since 1 . A T e P e P =
Lemma A.22Suppose A is a real n-square matrix, then T T( ) exp( ), Ae A= where exp denotes
exponential of a square matrix as usual.
Proof By definition and Lemma A.4 we have
T TT T T T
0 0 0 0
1 1 1 1( ) ( ) ( ) exp( ),
! ! ! ! A k k k k
k k k k
e A A A A Ak k k k
= = = =
= = = = =
we have used Lemma A.20 to invert the transpose and the exponentiated power.
-
8/14/2019 Con Troll Ability of Linear Systems
47/47
Bibliography
Linear Multivariable Control: A Geometric Approach
W. Murray Wonham Springer Verlag 1978
Mathematical Control Theory: An Introduction (Systems & Control: Foundations and
Applications)
Jerzy Zabczyk Springer Verlag 1982
An Introduction to Geometric State Theory in Linear Multivariable Control (A
Summary with Focus in the Disturbance Decoupling Problem)
Marvi Teixeira 1993
Advanced Linear Algebra
S. Roman Springer Verlag 1992