Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
0% found this document useful (0 votes)
41 views

Controllability and Observability of Linear Time Invariant Systems

The document discusses various methods for evaluating the matrix exponential eAt, which is important for analyzing linear time-invariant systems. It covers power series, Laplace transform, similarity transform, and Sylvester's formula methods. Sylvester's formula provides a way to write eAt as a polynomial in A and can be applied whether eigenvalues are distinct or repeated. The document also discusses the condition for a system to be controllable, which depends on the system matrix A and control influence matrix B. It shows controllability means the ability to transfer the system between any two states in finite time by input control.

Uploaded by

umesh
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
41 views

Controllability and Observability of Linear Time Invariant Systems

The document discusses various methods for evaluating the matrix exponential eAt, which is important for analyzing linear time-invariant systems. It covers power series, Laplace transform, similarity transform, and Sylvester's formula methods. Sylvester's formula provides a way to write eAt as a polynomial in A and can be applied whether eigenvalues are distinct or repeated. The document also discusses the condition for a system to be controllable, which depends on the system matrix A and control influence matrix B. It shows controllability means the ability to transfer the system between any two states in finite time by input control.

Uploaded by

umesh
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 31

Lecture – 20

Controllability and Observability of Linear


Time Invariant Systems

Dr. Radhakant Padhi


Asst. Professor
Dept. of Aerospace Engineering
Indian Institute of Science - Bangalore
Evaluation of Matrix Exponential eAt

Dr. Radhakant Padhi


Asst. Professor
Dept. of Aerospace Engineering
Indian Institute of Science - Bangalore
Method – 1: Power-series
2 2 3 3
A t A t
e = I + At +
At
+ +"
2! 3!

z This method is useful and accurate only if the


series truncates naturally. Otherwise, series
truncation introduces approximation error.
z Direct computation of eAt as power series is
computationally inefficient as well.

ADVANCED CONTROL SYSTEM DESIGN 3


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 2:
Using Laplace Transform

e = L ( sI − A ) ⎤

At −1 −1
⎣ ⎦

z This method results in closed form expressions for


eAt, can be quite useful for small matrices.
z Numerical algorithms exist to evaluate
( sI − A) . However, its inverse still need to be found.
−1

z Can be quite cumbersome for large matrices.

ADVANCED CONTROL SYSTEM DESIGN 4


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 3:
Using Similarity Transform
(Provided the matrix can be diagonalizable)
2 2 3 3
A t A t
e = I + At +
At
+ +" Similarity
2! 3!
Transformation:
−1
= PP + PDP t + −1 ( PDP −1
)( PDP −1
) t 2

+ " A = PDP
−1
2!
⎛ D 2 t 2 D 3t 3 ⎞ −1
= P ⎜ I + Dt + + + "⎟ P
⎝ 2! 3! ⎠
⎡eλ1t 0 0 ⎤
⎢ ⎥ −1
= P⎢ 0 % 0 ⎥P
⎢ 0 0 eλnt ⎥
⎣ ⎦
ADVANCED CONTROL SYSTEM DESIGN 5
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 4: Sylvester’s Formula
Case – 1: Distinct Eigenvalues

eAt satisfies the following determinant equation:


1 λ1 λ12 " λ1n −1 eλ1t
1 λ2 λ22 " λ2n −1 eλ2t
# # # # # =0
1 λn λn2 " λnn −1 eλnt
I A A2 " An −1 At
eN
Ultimate aim
i.e.

e At = α 0 ( t ) I + α1 ( t ) A + α 2 ( t ) A2 + " + α n −1 ( t ) An −1

ADVANCED CONTROL SYSTEM DESIGN 6


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 4: Sylvester’s Formula
Case – 1: Distinct Eigenvalues

The coefficients α 0 ( t ) , α1 ( t ) ," , α n −1 ( t )


can be determined from the following set
of equations:
α 0 ( t ) + α1 ( t ) λ1 + α 2 ( t ) λ12 + " + α n −1 ( t ) λ1n −1 = eλ t 1

α 0 ( t ) + α1 ( t ) λ2 + α 2 ( t ) λ22 + " + α n −1 ( t ) λ2n −1 = eλ t 2

#
α 0 ( t ) + α1 ( t ) λn + α 2 ( t ) λ + " + α n −1 ( t ) λ
2
n
n −1
n =e λn t

ADVANCED CONTROL SYSTEM DESIGN 7


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 4: Sylvester’s Formula
Case – 2: Repeated Eigenvalues

eAt satisfies the following determinant equation:


0 0 1 3λ1 "
( n − 1)( n − 2 ) λ n−3 t 2 λ1t Eigenvalues:
e
1
2 2 λ1 , λ1 , λ1 , λ4 ," , λn
0 1 2λ1 3λ12 " ( n − 1) λ1n−2 te λ1t 

3 times
λ1t
1 λ1 λ 2
λ 3
" λ n −1
e
=0
1 1 1
λ4t
1 λ4 λ4
2
λ 4
3
" λ 4
n −1
e
# # # # " # #
1 λn λn2 λn3 " λnn −1 eλnt
I A A2 A3 " An −1 e At
i.e.
e At = α 0 ( t ) I + α1 ( t ) A + α 2 ( t ) A2 + " + α n −1 ( t ) An −1
ADVANCED CONTROL SYSTEM DESIGN 8
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 4: Sylvester’s Formula
Case – 2: Repeated Eigenvalues
The coefficients α 0 ( t ) , α1 ( t ) ," , α n −1 ( t )
can be determined from:

α 2 ( t ) + 3α 3 ( t ) λ1 + " +
( n − 1)( n − 2 ) t 2
α n −1 ( t ) λ1n −3 = eλ t 1

2 2
α1 ( t ) + 2α 2 ( t ) λ1 + 3α 3 ( t ) λ12 + " + ( n − 1) α n −1 ( t ) λ1n − 2 = teλ1t
α 0 ( t ) + α1 ( t ) λ1 + α 2 ( t ) λ12 + " + α n −1 ( t ) λ1n −1 = eλ t 1

α 0 ( t ) + α1 ( t ) λ4 + α 2 ( t ) λ42 + " + α n −1 ( t ) λ4n −1 = eλ t 4

#
α 0 ( t ) + α1 ( t ) λn + α 2 ( t ) λn2 + " + α n −1 ( t ) λnn −1 = eλ t 1

ADVANCED CONTROL SYSTEM DESIGN 9


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Method – 4: Sylvester’s Formula
Example
⎡0 1 ⎤
A=⎢ ⎥ , λ1,2 = 0, −2
⎣0 −2 ⎦
To compute e At using Sylvester's formula, we have
1 λ1 eλ1t 1 0 1
1 λ2 eλ2t = 1 −2 e −2t = 0
I A e At I A e At
Expanding the determinant
−2e At + A + 2 I − Ae −2t = 0
⎡ −2 t ⎤
e = ( A + 2 I − Ae ) =
At 1 −2 t ⎢ 1
1
2
(1 − e )⎥
2 ⎢ −2 t ⎥
⎣0 e ⎦
ADVANCED CONTROL SYSTEM DESIGN 10
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Controllability of Linear Time Invariant Systems

Dr. Radhakant Padhi


Asst. Professor
Dept. of Aerospace Engineering
Indian Institute of Science - Bangalore
Controllability
• A system is said to be controllable at time t0 if
it is possible by means of an unconstrained
control vector to transfer the system from any
initial state X 0 to any other state in a finite
interval of time

• Controllability depends upon the system matrix


A and the control influence matrix B
ADVANCED CONTROL SYSTEM DESIGN 12
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Graphical Meaning

Xf

Must happen in finite time.

X0

ADVANCED CONTROL SYSTEM DESIGN 13


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Condition for Controllability:
(single input case)
System: X = AX + Bu
t
Solution: X (t ) = e At X (0) + ∫ e A( t −τ ) Bu (τ ) dτ
0

Assuming X (t1 ) = 0, t1

0 = eAt1 X (0) + ∫ eA(t1−τ ) Bu(τ ) dτ


0
t1

X (0) = − ∫ e− Aτ Bu (τ ) dτ
0
ADVANCED CONTROL SYSTEM DESIGN 14
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Condition for Controllability:
(single input case)
n −1
e − Aτ = ∑ α k (τ ) Ak (Sylvester's formula )
k =0
t1 n −1 t1

X (0) = − ∫ e − Aτ Bu (τ ) dτ = −∑ Ak B ∫ α k (τ ) u (τ ) dτ
0 k =0 0
t1
n −1
= − ∑ Ak B β k where β k  ∫ α k (τ ) u (τ ) dτ
k =0 0

= − ⎡⎣ B AB " A B ⎤⎦ [ β 0 n −1
β1 " β n −1 ]
T

[ β0 β1 " β n −1 ]
T
This system should have a non-trivial solution for

ADVANCED CONTROL SYSTEM DESIGN 15


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Controllability
Result: If the rank of CB  ⎡⎣ B AB " An −1 B ⎤⎦ is n,
then the system is controllable.
Example:
⎡ x1 ⎤ ⎡− 1 0 ⎤ ⎡ x1 ⎤ ⎡2⎤
⎢ x ⎥ = ⎢ 0 − 2⎥ ⎢ x ⎥ + ⎢1 ⎥ u
⎣ 2⎦ ⎣ ⎦ ⎣ 2⎦ ⎣ ⎦
⎡ ⎡ 2 ⎤ ⎡ −1 0 ⎤ ⎡ 2 ⎤ ⎤ ⎡ 2 −2 ⎤
CB = ⎢ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎥=⎢ ⎥
⎣⎣ ⎦ ⎣
1 0 −2 ⎦ ⎣ ⎦⎦ ⎣
1 1 −2 ⎦
rank ( CB ) = 2 ∴ The system is controllable.
ADVANCED CONTROL SYSTEM DESIGN 16
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Output Controllability
Result: X = AX + BU
Y = CX + DU

X ∈ Rn , U ∈ Rm , Y ∈ R p

If the rank of CB  ⎡⎣CB CAB " CAn −1 B D ⎤⎦ is p,


then the system is output controllable.
Note: The presence of DU term in the output equation
always helps to establish output controllability.

ADVANCED CONTROL SYSTEM DESIGN 17


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Observability of Linear Time Invariant Systems

Dr. Radhakant Padhi


Asst. Professor
Dept. of Aerospace Engineering
Indian Institute of Science - Bangalore
Observability
• A system is said to be observable at time
t0 if, with the system in state X(t0) ,it is
possible to determine this state from the
observation of the output over a finite
interval of time

• Observability depends upon the system


matrix A and the output matrix C
ADVANCED CONTROL SYSTEM DESIGN 19
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Observability
If the rank of OB  ⎡⎢C T AT C T (A ) C T ⎤⎥ is n,
n −1
Result: " T
⎣ ⎦
then the system is observable.
Example:
⎡ x 1 ⎤ ⎡ −1 0 ⎤ ⎡ x1 ⎤ ⎡ 2 ⎤ ⎡ x1 ⎤
⎢ x ⎥ = ⎢ 0 −2 ⎥ ⎢ x ⎥ + ⎢1 ⎥ u y = [1 0] ⎢ ⎥
⎣ 2⎦ ⎣ ⎦ ⎣ 2⎦ ⎣ ⎦ ⎣ x2 ⎦
⎡ ⎡1 ⎤ ⎡ −1 0 ⎤ ⎡1 ⎤ ⎤ ⎡1 −1⎤
OB = ⎢ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎥=⎢ ⎥
⎣⎣ ⎦ ⎣
0 0 −2 ⎦ ⎣ ⎦⎦ ⎣
0 0 0 ⎦
rank ( OB ) = 1 ≠ 2 ∴ The system is NOT observable.
ADVANCED CONTROL SYSTEM DESIGN 20
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Controllability and Observability
in Transfer Function Domain
z The system is both controllable and
observable if there is no Pole-Zero
cancellation.

z Note: The cancelled pole-zero pair


suppresses part of the information about
the system

ADVANCED CONTROL SYSTEM DESIGN 21


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Principle of Duality
System S1: X = AX + BU CB = ⎡⎣ B AB A2 B " An −1 B ⎤⎦

Y1 = CX OB = ⎡C T

T
AC T T2
A C T
" A T n−1
CT ⎤

System S2: Z = AT Z + C T V CB = ⎡C T AT C T AT C T " AT C T ⎤


2 n−1

⎣ ⎦
Y2 = BT Z OB = ⎡⎣ B AB A2 B " An −1 B ⎤⎦

The principle of duality states that the system S1 is controllable if


and only if system S2 is observable; and vice-versa!
Hence, the problem of observer design for a system is actually a
problem of control design for its dual system.

ADVANCED CONTROL SYSTEM DESIGN 22


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Stabilizability and Detectability
z Stabilizable system: Uncontrollable
system in which uncontrollable part is
stable

z Detectable system: Unobservable


system in which the unobservable
subsystem is stable

ADVANCED CONTROL SYSTEM DESIGN 23


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Example
Ref: B. Friedland, Control System Design, McGraw Hill, 1986

System Dynamics
⎡ x1 ⎤ ⎡ 2 3 2 1 ⎤ ⎡ x1 ⎤ ⎡ 1 ⎤
⎢ x ⎥ ⎢ −2 −3 0 0 ⎥ ⎢ x ⎥ ⎢ −2 ⎥
⎢ 2⎥ = ⎢ ⎥ ⎢ 2⎥ + ⎢ ⎥u
⎢ x3 ⎥ ⎢ −2 −2 −4 0 ⎥ ⎢ x3 ⎥ ⎢ 2 ⎥
⎢ ⎥ ⎢ ⎥⎢ ⎥ ⎢ ⎥
⎢⎣N x4 ⎥⎦ ⎣ −2 −2 −2 −5⎦ ⎢⎣ x4 ⎥⎦ ⎣ −1⎦

N N
X A X B

Output Equation
y = [ 7 6 4 2] X


C
ADVANCED CONTROL SYSTEM DESIGN 24
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Example
Ref: B. Friedland, Control System Design, McGraw Hill, 1986

Transfer Function:
y (s) ( s + 2 )( s + 3)( s + 4 ) 1
= C ( sI − A ) B =
−1
=
u (s) (
s + 1)( s + 2 )( s + 3)( s + 4 ) ( s + 1)

pole-zero cancellation

Implication: What appears to be a fourth-order system, is


actually a first-order system! Hence, there is
either loss of controllability or observability
(or both).

Question: Is this system stabilizable?


ADVANCED CONTROL SYSTEM DESIGN 25
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Example
Ref: B. Friedland, Control System Design, McGraw Hill, 1986

Define X = TX . Then
X = TX = T ( AX + Bu )

( )
X = TAT −1 X + TB u
( )
Let
⎡4 3 2 1⎤ ⎡ −1 0 0 0 ⎤ ⎡1 ⎤
⎢3 3 2 1⎥⎥ ⎢ 0 −2 0 0 ⎥ ⎢0 ⎥
T =⎢ ⇒ TAT −1 = ⎢ ⎥ , TB = ⎢ ⎥
⎢2 2 2 1⎥ ⎢ 0 0 −3 0 ⎥ ⎢1 ⎥
⎢ ⎥ ⎢ ⎥ ⎢ ⎥
⎣1 1 1 1⎦ ⎣ 0 0 0 −4 ⎦ ⎣0 ⎦

ADVANCED CONTROL SYSTEM DESIGN 26


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Example
Ref: B. Friedland, Control System Design, McGraw Hill, 1986

⎡ x1 ⎤ ⎡ − x1 + u ⎤
⎢ ⎥ ⎢ ⎥
x
⎢ 2⎥ = ⎢ −2 x2 ⎥
, y = CX = CT −1 X = x1 + x2
⎢ x3 ⎥ ⎢ −3 x3 + u ⎥
⎢ ⎥ ⎢ ⎥
⎢⎣ x4 ⎥⎦ ⎢⎣ −4 x4 ⎥⎦
Implications:
x1 : Affected by the input; visible in the output
x2 : Unaffected by the input; visible in the output
x3 : Affected by the input; Invisible in the output
x4 : Unaffected by the input; Invisible in the output
ADVANCED CONTROL SYSTEM DESIGN 27
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Block Diagram:

ADVANCED CONTROL SYSTEM DESIGN 28


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
Where do uncontrollable or
unobservable systems arise?

z Redundant state variables

z Physically uncontrollable system

z Too much symmetry

ADVANCED CONTROL SYSTEM DESIGN 29


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
References

z K. Ogata: Modern Control Engineering,


3rd Ed., Prentice Hall, 1999.

z B. Friedland: Control System Design,


McGraw Hill, 1986.

ADVANCED CONTROL SYSTEM DESIGN 30


Dr. Radhakant Padhi, AE Dept., IISc-Bangalore
ADVANCED CONTROL SYSTEM DESIGN 31
Dr. Radhakant Padhi, AE Dept., IISc-Bangalore

You might also like