Multivariable Systems 7
Multivariable Systems 7
Multivariable Control
Systems
Ali Karimpour
Associate Professor
Ferdowsi University of Mashhad
Lecture 7
Definition 7-1
The state equation x Ax Bu or the pair (A, B) is said to be controllable
if for any initial state x0 and any final state x1, there exists an input that transfers
x0 to x1 in a finite time. Otherwise (A,B) is said to be uncontrollable
Definition 7-2
The state equation
x Ax Bu
y Cx Du
or the pair (A,C) is said to be observable if for any unknown initial state x0 , there
exists a finite time t1 > 0 such that the knowledge of the input u and the output y
over [0,t1] suffices to determine uniquely the initial state x0.
Other wise, the equation is unobservable.
3
Dr. Ali Karimpour Jan 2017
Lecture 7
4
Dr. Ali Karimpour Jan 2017
Lecture 7
5
Dr. Ali Karimpour Jan 2017
Lecture 7
P( s) Pˆ ( s) L( s) R( s) Rˆ ( s) L( s)
Now if L(s) is not unimodular then there is o.d.z and so reduced order
system is:
G(s) R( s) P( s) 1 Q( s) W (s) Rˆ (s) Pˆ ( s) 1 Q( s) W ( s)
How to derive o.d.z. ?
P( s ) S ( s)
R( s ) Smith form 0
7
Output decoupling zeros are roots of |S(s)|=0
Dr. Ali Karimpour Jan 2017
Lecture 7
s( s 1) 0 s s 0 0
P(s) Q(s)
Smith Form
0 s 0
0 s ( s 2) s
So intput decoupling zeros are: |S(s)|=0 0 and 0
s( s 1) 0 1 0
P( s ) Smith Form
0 s
R( s ) 0 s ( s 2)
1 1 0 0
So output decoupling zero is: |S(s)|=0 0 8
Dr. Ali Karimpour Jan 2017
Lecture 7
s 0 s 1 0 s 0 1
P( s) Q( s) 1
s 2 0 s
0 s 0
So the reduced order system is:
s 1 0 1
P( s) 0 s 2 1 Clearly order of system is 2.
1 1 0
Exercise 7-1: Find the i.d.z. and o.d.z. of following system and also check the
controllability and observability of system.
( s 1)
2 3
s
P( s )
1 2 s 9
Dr. Ali Karimpour Jan 2017
Lecture 7
10
Dr. Ali Karimpour Jan 2017
Lecture 7
Output Controllability
rank CB CAB ... CAn1B D p
11
Dr. Ali Karimpour Jan 2017
Lecture 7
Functional Controllability
Functional Controllability
Example 7-3: a)A Functionally controllable system that is not state controllable.
0 3 0 0 3 2
1 4 0 0 1 2
1 2 x (t ) x(t ) u (t )
s 1 0 0 0 1 1
s 3
1
G(s)
1 1 0 0 1 2 1 1
s 1 s 1 0 1 0 0
y (t ) x(t )
0 0 0 1
b) A state and output controllable system that is not Functionally controllable.
0 0 0 0 1
1 1
x (t ) 1 0 0 x(t ) 1 0u (t ) s
G(s) s2
0 1 0 0 0 1 1
2
0 1 0 s s
3
y (t ) x(t ) 13
0 0 1 Dr. Ali Karimpour Jan 2017
Lecture 7
Functional Controllability
s 2 2498
609ss3.049
3.20710105
6
12.5 s + 7440
xˆnew 2 5 ˆ1
1 system
5 2
or s 609
designs 3.207
: 1 0 s 609 s 3.207 10
xˆ vˆ , functionally controllable
2 2.5 10 1.217
10610 6.2s5+710 in
5 8 5
2498 s s3.049 12.5 440
2 609s 3.207 1055 s22 609s 3.207 1055
xˆ1 ss2 609 s 3.207 10 s 609s 3.207 10 ˆ1
xˆ vˆ , functionally controllable
2 2.5 10 s 1.217 10 6.25 10 in
5 8 5
14
functionally controllable Dr. Ali Karimpour Jan 2017
Lecture 7
Functional Controllability
Functional Controllability
Example 7-5:
1 2
s 1 s 1
G( s)
2 4
s 2 s 2
1 1 1 2
y0 (0) 1 , y0 ( ) 1
2 5
16
Dr. Ali Karimpour Jan 2017
Lecture 7
17
Dr. Ali Karimpour Jan 2017
Lecture 7
Irreducible realizations
Definition 7-6
A linear time-invariant dynamical equation is said to be reducible if and only if there
exist a linear time-invariant dynamical equation of lesser dimension that has the same
transfer function matrix. Otherwise, the equation is irreducible.
Theorem 7-5
A linear time invariant dynamical equation is irreducible if and only if it is controllable
and observable.
Theorem 7-6
19
Dr. Ali Karimpour Jan 2017
Lecture 7
Irreducible realizations
Definition 7-5: Characteristic polynomial and degree of G(s)
Theorem 7-4:
20
Dr. Ali Karimpour Jan 2017
Lecture 7
x 0 0 x
1 ... n2 n2
u x . . . ... . x 0 u
3
3
3
3
. . .
. ... . . . . 0 0 0 ... 1 . .
x 0
n
1 x
0 ... 1 n 1
x
n n
n 1
n2
... 1
x 1
n
x 1 x 1
x x
ˆ 2
ˆ
2
y 0 0 ... 0 1 x u 0
y ... x u 0
ˆ ˆ
3 n n 1 n2 1 3
0
.
0
.
x n
x
n
21
Dr. Ali Karimpour Jan 2017
Lecture 7
22
Dr. Ali Karimpour Jan 2017
Lecture 7
0 s n 1 s n 1 2 s n 2 ...... n
g ( s)
s n 1 s n 1 ...... n
23
Dr. Ali Karimpour Jan 2017
Lecture 7
Observable canonical form realization is: Controllable canonical form realization is:
x1 0 0 6 x1 20 x1 0 1 0 x1 0
x 1 0 11 x 26u x 0 0 1 x 0 u
2
2 2 2
x 3 0 1 6 x3 6 x3 6 11 6 x3 1
x1 x1
y 0 0 1 x 2 2u y 20 26 6 x2 2u
x3 x3
6 10 14 We can show that the rank of H(4,3) is 2. So
10 14 10
H (4,3) 0 1 6
14 10 34 6 5 1 0H (4,3) 0
x 6 5 x 10u
10 34 230 y 1 0x 2u 26
Dr. Ali Karimpour Jan 2017
Lecture 7
27
Dr. Ali Karimpour Jan 2017
Lecture 7
Reminders
Gk Ck Bk Ck is q k Bk is k p
A diag 1I 1 , ... , r I r
B1
C C1 ... Cr B
Br 28
Dr. Ali Karimpour Jan 2017
Lecture 7
1 1 2 1 0 0 1 0 0
G(s)
s 1 1 0 s 2 1 1 s 4 0 0
1 0 0 0 1 0
0 1 0 0 0 1 1 0 0 1 0
x x u x 0 1 0 x 0 1u
0 0 2 0 1 1
minimal realization 0 0 2 1 1
0 0 0 4 1 1
1 2 0 0 1 2 0
y y x
x 1 0 1
1 0 1 0 29
Dr. Ali Karimpour Jan 2017
Lecture 7
a d g k
1 e 1 2 3 1 h 1 2 3 1 l 1 2 3
G( s) b 1 2 3
1
s 24 s 23
f
s 2
2
i
s2
m
c
30
Dr. Ali Karimpour Jan 2017
Lecture 7
31
Dr. Ali Karimpour Jan 2017
Lecture 7
32
Dr. Ali Karimpour Jan 2017
Lecture 7
33
Dr. Ali Karimpour Jan 2017
Lecture 7
C (:,1)
B(4, :)
C (:,2) C(:,5)
B(4, :)
34
B(7, :) Dr. Ali Karimpour Jan 2017
Lecture 7
35
Dr. Ali Karimpour Jan 2017
Lecture 7
36
Dr. Ali Karimpour Jan 2017
Lecture 7
37
Exercise 7-3: Proof equation (I)(just PhD students) Dr. Ali Karimpour Jan 2017
Lecture 7
H ( 2) 0
p
x M x .. u x N x .. u
H ( m 1) 0 p
H (m) 0
p
y I q
0 0 ... 0x H (0)u y H (1) H (2) h(3) ... H (m)x H (0)u
0q Iq 0q ... 0q 0 p 0p ... 0 p mI p
0 I 0p ... 0 p m 1 I p
q 0q Iq ... 0q p
M . . . ... . N 0 p Ip ... ..0 p . m 2 I p
0q 0q 0q ... Iq . . ... ... .
m I q m 1 I q m2 I q ... 1 I q 0 p 1 I p
0p ... I p
38
Proof ? Dr. Ali Karimpour Jan 2017
Lecture 7
Now we shall discuss in the following a method which will yield directly
irreducible realizations. This method is based on the Hankel matrices.
We also define the two following Hankel matrices
Derive SVD of T
39
Dr. Ali Karimpour Jan 2017
Lecture 7
Irreducible realization of Proper Rational Matrices
Derive SVD of T
40
Exercise 7-4: Proof theorem 7-8. Dr. Ali Karimpour Jan 2017
Lecture 7
Example 7-11: Derive an irreducible realization for the following proper rational function.
2s 2 3s 2 1
G( s) ( s 1) 2
s
4s 5 3s 5
s 1 s 1
Least common denominator of G(s), is
(s) s(s 1) 2
2 0 1 1 1 2 0 2 3 0 3 4 0 4 5 0 5 6 0 6
G(s) 1 2 s 1 2 s 1 2 s 1 2 s .1 2 s 1 2 s .....
4 3
1 1 2 0 3 0
Non-zero singular values of T
1 2 1 2 1 2 are 10.23, 5.79, 0.90 and 0.23.
H (1) H (2) H (3)
2 0 0 4 0
T H (2) H (3) H (4)
3
So, r = 4.
1 2 1 2 1 2
H (3) H (4) H (5)
3 0 4 0 5 0
1 2 1 2 1 2 41
Dr. Ali Karimpour Jan 2017
Lecture 7
44
Dr. Ali Karimpour Jan 2017
Lecture 7
If the controllability matrix of the dynamical equation has rank n1 (where n1<n ), then
there exists an equivalence transformation
x Px
which transform the dynamical equation to
xc Ac A12 xc Bc xc
u
y Cc
Cc Eu
xc 0 Ac xc 0 xc
and the n1-dimensional sub-equation
x c Ac xc Bc u
y C c xc Eu 45
is controllable and has the same transfer function matrix as the first system.
Dr. Ali Karimpour Jan 2017
Lecture 7
Theorem 7-11 x Ax Bu
Consider the n-dimensional linear time –invariant dynamical equation y Cx Eu
If the observability matrix of the dynamical equation has rank n2 (where n2<n ), then
there exists an equivalence transformation
x Px
which transform the dynamical equation to
xo Ao 0 xo Bo xo
u
y Co
0 Eu
xo A21 Ao xo Bo xo
and the n2-dimensional sub-equation
xo Ao xo Bou
y Co xo Eu
46
is observable and has the same transfer function matrix as the first system.
Dr. Ali Karimpour Jan 2017
Lecture 7
48
Dr. Ali Karimpour Jan 2017
Lecture 7
x (t ) Ax (t ) Bu (t ) x u
2 21
A x B
22 2 2
y (t ) Cx (t ) Du (t ) x
y C C Eu
1
1 2
x 2
x u
2 21
A x B
22 2 2
x
y C C Eu
1
1 2
x 2
Truncation procedure
1 0 ... 0 b1T 1 0 ... 0 b1T
0
... 0 b2T 0 ... 0
T
b2
x 2
x u Truncation Method xr 2
xr u
... ... ... ... ... ... ... ... ... ...
T
0 0 ... n bnT 0 0 ... k bk
y c1 c2 ... cn x Eu y c1 c2 ... ck x Eu
i k 1 Re(i ) 51
Dr. Ali Karimpour Jan 2017
Lecture 7
Model Order Reduction of Minimal Representations
Hankel Norm Approximation
u xrT P 1 xr
2
Maximum energy produced by observing the output of the system with initial state
x0 is:
y x0T Qx0
2
52
Dr. Ali Karimpour Jan 2017
Lecture 7
Model Order Reduction of Minimal Representations
Hankel Norm Approximation
x A A x B
A u
1 11 12 1 1
x (t ) Ax (t ) Bu (t ) A balanced realization x
2 21
A x B
22 2 2
y (t ) Cx (t ) Du (t ) x
y C C Eu
1
55
Dr. Ali Karimpour Jan 2017
Lecture 7
Exercises
Exercise 7-1: Mentioned in the lecture. Exercise 7-2: Mentioned in the lecture.
Exercise 7-3: Mentioned in the lecture(just for PhD student).
Exercise 7-4: Mentioned in the lecture. Exercise 7-5: Mentioned in the lecture.
Exercise 7-6: Mentioned in the lecture.
56
Dr. Ali Karimpour Jan 2017
Lecture 7
Exercises
57
Dr. Ali Karimpour Jan 2017
Lecture 7
References
References
Web References
• http://www.um.ac.ir/~karimpor
• http://saba.kntu.ac.ir/eecd/khakisedigh/Courses/mv/
58
Dr. Ali Karimpour Jan 2017