15. multivariable qft design (part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_mimo_ii_handout.pdf ·...

39
4/28/2005 15-1 Copyright ©2005 (Yossi Chait) 15. Multivariable QFT Design (Part 2) 15.1. Reducing Conservatism. Recall that in the input disturbance rejection problem of Ch. 12, with the exception of the last step, the design algorithms leads to conservatism. This was a result of over- bounding closed-loop interactions from the loops yet to be designed. We now consider two ways to minimize this over-design. Low Frequency Performance Bounds. Assuming “large” control gains at low frequencies (below crossover), we approximate the input-output relations by which leads to simple performance inequalities of the form ( ) ( ) and i i yj P d ω ≤α ω P d

Upload: others

Post on 11-Mar-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-1 Copyright ©2005 (Yossi Chait)

15. Multivariable QFT Design (Part 2)15.1. Reducing Conservatism. Recall that in the input disturbance rejection problem of Ch. 12, with the exception of the last step, the design algorithms leads to conservatism. This was a result of over-bounding closed-loop interactions from the loops yet to be designed. We now consider two ways to minimize this over-design.

Low Frequency Performance Bounds. Assuming “large” control gains at low frequencies (below crossover), we approximate the input-output relations by

which leads to simple performance inequalities of the form

( ) ( ) and i iy j P dω ≤ α ω ∀ ∈ ∈P d

Page 2: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-2 Copyright ©2005 (Yossi Chait)

The above direct form is quite different from the performance inequality developed in Ch. 14 for the first loop

1 12 2 1 2 12

11 1 11 11 1( ) ( ), and .d y d

c cy j P d+ π +α ππ + π +ω ≤ ≤ ≤ α ω ∀ ∈ ∈P d

The exact amount of achieved over-design reduction varies from one problem to another. However, the computational complexity of the associated QFT bound is reduced. Also, the above approximation is effective only at the low frequency range wherewe have large loop gains. At the mid frequency range, margin bounds should dominate loop shaping constraints.

Page 3: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-3 Copyright ©2005 (Yossi Chait)

Tuning. Recall the design in the Chap. 14. Closed-loop performance of the 1st loop (i.e., |y1|) exhibits the expected over-design. When C is completely known, is it possible to tune c1 such that over-design is reduced without adversely affecting margins and performance of the MIMO system? It turns out that by exploitingmultivariable directionality, this is often feasible. In fact, we now show that each relation from the j’th input dj to the i’th output yi

in terms of ck has a bi-linear form.

Before we proceed, we need the following relation (see Yaniv, 1999): 1 1

1 1( ) .1

TT

TF uv F

F uv Fv Fu

− −− −+ = −

+Let

[ ]( )

[ ][ ]

1

diag 0, , ,0, ,0-

, ,

0, ,1,0, ,0 , 1 in position .

k k

k k

Tk k mk

Tk

C cF I P C C

u p p

v k

= … …= +

=

= … …

Page 4: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-4 Copyright ©2005 (Yossi Chait)

Using this relation1 1 1=( ) ( ( ) ) ( )T

o k k k k k kS I PC I P C C PC F c u v− − −+ = + − + = +1 1

11

1

Tk kk k k

k Tk kk k

c F u v FF

c v F u

− −−

−= −+

1 1 1 1

1( )

1

T Tk k kk k k k k k

Tk kk k

F c F v F u I u v Fc v F u

− − − −

−+ −

=+

That is, using Ak = [aij] and Bk = [bij], we have

11 11 1 1

1 1

1 1 .

1

1 1

k m k m

k kk k k

km k m mm k mm

k k

a c b a c bc c

A c Bc

a c b a c bc c

+ +⎡ ⎤⎢ ⎥+ δ + δ⎢ ⎥+

= ⎢ ⎥+ δ ⎢ ⎥+ +⎢ ⎥

+ δ + δ⎣ ⎦

Page 5: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-5 Copyright ©2005 (Yossi Chait)

Our plant input disturbance rejection problem has this form1( )y I PC Pd−= +

For example, in our 2x2 example, to tune c1, we need two performance inequalities since it affects the performance of both y1

and y2. Specifically,

1

2

0or

0d

dd

⎡ ⎤ ⎡ ⎤= ⎢ ⎥ ⎢ ⎥⎣ ⎦ ⎣ ⎦

we end up with a set of 4 robust performance inequalities, 2 foreach output:

Page 6: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-6 Copyright ©2005 (Yossi Chait)

1 1( ) ( ), and y j P dω ≤ α ω ∀ ∈ ∈P d

2 2( ) ( ), and .y j P dω ≤ α ω ∀ ∈ ∈P d

To compute bounds, we need to work with the nominal plant in the 1st loop. Since the 2nd loop is closed, we have

Per our stability criterion, robust stability of the MIMO system is achieved iff c1 robustly stabilizes 1/π211.

The four sets of disturbance rejection bounds are shown next(ch15_ex1_tune.m).

Page 7: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-7 Copyright ©2005 (Yossi Chait)

-360 -315 -270 -225 -180 -135 -90 -45 0

-5

0

5

10

15

20

25

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

123

-360 -315 -270 -225 -180 -135 -90 -45 0

-40

-30

-20

-10

0

10

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

123

-360 -315 -270 -225 -180 -135 -90 -45 0

-40

-30

-20

-10

0

10

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

123

-360 -315 -270 -225 -180 -135 -90 -45 0-30

-20

-10

0

10

20

30

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

123

1 1d y→ 2 1d y→

2 2d y→1 2d y→

Page 8: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-8 Copyright ©2005 (Yossi Chait)

-360 -315 -270 -225 -180 -135 -90 -45 0

-5

0

5

10

15

20

25

30

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

123

The intersection of these bounds is quite interesting.

Page 9: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-9 Copyright ©2005 (Yossi Chait)

In addition, we have two margin bounds, one in each loop. Sincethere’s only one unknown, the constraints

P+ π ≥ ∀ ∈ ω ≥21 111 / 0.6, , 0c P

22 221 / 0.6, , 0c P+ π ≥ ∀ ∈ ω ≥P

are bilinear in terms of c1. For example

1 2 11 1 2 2221 11

12 21 2 1111

22 2

(det ) ( )1 / 1 .

detc c c c

cc

c

π + π+ π = + =π π ππ −

π +

π+ +π+

2 2 11 1 2 1122 22

12 21 1 2222

11 1

(det ) ( )1 / 1 .

detc c c c

cc

c

π + π+ π = + =π π ππ −

π +

π+ +π+

Page 10: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-10 Copyright ©2005 (Yossi Chait)

However, it turns out that

1211

2222

12

-1

21

11

( )1

1

c

c

s

S I PCs

π

π

⎡ ⎤⎢ ⎥+⎢ ⎥= + = ⎢ ⎥⎢ ⎥+⎢ ⎥⎣ ⎦

And earlier we have shown that

-1( ) 1

k

k k

A c BI PC

c+

+ =+ δ

which means that we need not compute the above relations manually prior to computing bounds (see M-file).

Page 11: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-11 Copyright ©2005 (Yossi Chait)

-360 -315 -270 -225 -180 -135 -90 -45 0

-40

-30

-20

-10

0

10

20

30

40

Open-Loop Phase (deg)

Ope

n-Lo

op G

ain

(dB

)

12310205070100150

Finally, the advantage of tuning is shown below.

We know c1 has too large a gain; the trick is to reduce it w/o messing mimo performance!

Page 12: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-12 Copyright ©2005 (Yossi Chait)

The over-design is now removed as shown below in the closed-loop simulations.

100 101-50

-45

-40

-35

-30

-25

-20y1/d1 (d2=0)

dB

100 101-80

-70

-60

-50

-40

-30

-20y1/d2 (d1=0)

100 101-80

-70

-60

-50

-40

-30

-20y2/d1 (d2=0)

dB

rad/sec100 101

-50

-45

-40

-35

-30

-25

-20y2/d2 (d1=0)

rad/sec

Page 13: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-13 Copyright ©2005 (Yossi Chait)

As expected, the margin problem is resolved as well (why?).

101 102-2

-1

0

1

2

3

4

5

rad/sec

dB

4 dB marginweight

12

1

11

( )

iii

ij

ii

S I PC s

s c

= + = ⎡ ⎤⎣ ⎦=

Page 14: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-14 Copyright ©2005 (Yossi Chait)

Comparison of the siso loop 1 controllers is shown below. Which one is the tuned version?

10-1 100 101 1025

10

15

20

25

30

35

rad/sec

dB

Page 15: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-15 Copyright ©2005 (Yossi Chait)

15.2. Direct and Inverse-Based DesignStability is established using Nyquist criterion where we count encirclements of det(I+PC). Using inversion

( ) ( ) ( )1det det detI PC P P C−+ = +

and if P is stable, then from Ch. 13

( ) ( ) Nyquist plot of det ( ) Nyquist plot of ( )i ii

P s u s u P s s= λ ⇒ = λ∏implying that the Nyquist plot of det(P) does not contribute any encirclements. So let’s focus on det(I+PC)

21

11 1

111 1 1211 1 121

221 22 2 222

1 0

1 0c

ccP C

c c

−−ππ +

π + π⎡ ⎤π + π ⎡ ⎤⎡ ⎤+ = = ⎢ ⎥ ⎢ ⎥⎢ ⎥π π + π +⎣ ⎦ ⎢ ⎥ ⎣ ⎦⎣ ⎦

( ) ( )11 1 12 211 1 2222

222

.0

cc c

c

π + π⎡ ⎤= = π + π +⎢ ⎥π +⎣ ⎦

( ) 12 2111 1 22 2

11 1c c

cπ π⎛ ⎞= π + π − +⎜ ⎟π +⎝ ⎠

Page 16: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-16 Copyright ©2005 (Yossi Chait)

( ) ( )22 11 12 21 22 1 22 111 1 2 11 1 2

11 1 11 1

det.

c cc c c c

c cπ π − π π + π π + π⎛ ⎞ ⎛ ⎞= π + + = π + +⎜ ⎟ ⎜ ⎟π + π +⎝ ⎠ ⎝ ⎠

We observe that even if we c1 does not stabilize p11 at the first design step,

and if the term on the right is stable, so is the product. Hence, if c2 stabilizes the plant at the 2nd step, the MIMO system is stable. Nevertheless, unstable 1st loop adds a burden on c2.

While not shown here, the same can be said on nxn MIMO systems. If c2 stabilizes the plant at the nth (last) step, the MIMO closed-loop system is stable even if earlier loops are not stable. Implicit here are the assumptions of no unstable pole-zero cancellations and no unstable decentralized hidden modes.

Page 17: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-17 Copyright ©2005 (Yossi Chait)

The direct scheme (DS) was developed1 to avoid the need for plant inversion. It is shown there that a similar sequential design procedure is feasible. In certain situation where the plant is unstable with nmp zeros (or delay), the inversion-based scheme (IS) is not desired.Design for performance in either scheme is similar and not studied here. However, there are interesting connections between the two in terms of stability. This is studied next.

Again, closed-loop stability is established from the Nyquist plot of det(I+PC). Using the sequential procedure we have

11 12 1 11 1 12 2

1 21 22 2 21 1 22 2

1 0 0 10 1 0 1

p p c p c p cI PC

p p c p c p c+⎡ ⎤ ⎡ ⎤ ⎡ ⎤ ⎡ ⎤

+ = + =⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥+⎣ ⎦ ⎣ ⎦ ⎣ ⎦ ⎣ ⎦

LU decomposition (i.e., Gauss elimination) gives

1Park, M.S., A new approach for multivariable QFT, PhD Thesis, Mech. Eng. Dept, UMass, Feb. 1994.

Page 18: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-18 Copyright ©2005 (Yossi Chait)

11 1 12 211 1 12 221 1 2

21 1 22 2 22211 1

1 0 111 1 0 1

1

p c p cp c p cp c

p c p c p cp c

⎡ ⎤ ++ ⎡ ⎤⎡ ⎤⎢ ⎥ = ⎢ ⎥⎢ ⎥⎢ ⎥− + +⎣ ⎦ ⎣ ⎦+⎣ ⎦where

The direct scheme requires stabilization of the plant In the inversion-based scheme, the (effective plant to be stabilized is

222.p

Recall1

11 12 22 12 11 12

21 22 21 11 21 22

1det

p p p pp p p pP

− − π π⎡ ⎤ ⎡ ⎤ ⎡ ⎤=⎢ ⎥ ⎢ ⎥ ⎢ ⎥− π π⎣ ⎦ ⎣ ⎦ ⎣ ⎦

and ( )1 1detdet PP− =

Page 19: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-19 Copyright ©2005 (Yossi Chait)

so

( )22

11 2211 12 2

22 22111 22 11 1

1

detdet1/ !1det 1det det

pc P c pc P ppc p cc

P P

+ +π +π = = = =

π +π+ +

The effective plants at the last design step are equivalent. Note that different c1 controllers will be designed since plants and performance bounds are different at the 1st step in direct and inverse-based schemes.

General comments. Let the MTF in Pu = y be defined using 2 polynomial matrices Eu=Dy,

( )1 adjdetD

D EP D E−= =

and

( )1 1 adj.

detEE D

P E D− −= =

Page 20: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-20 Copyright ©2005 (Yossi Chait)

Assuming no pole-zero cancellations, the multivariable (transmission) zeros of P are the roots of detE, and the multivariable poles are the roots of detD.

The poles of the plants in DS are subset of the MIMO poles. The zeros of the individual plant bear no relation to MIMO zeros. The plant at the final design step is directly related to MIMO poles and zeros (including MIMO nmp zeros).

kijp

The poles of the plants in IS are subset of the MIMO poles. The zeros of the individual plant are subset of MIMO zeros. The plant at the final design step is directly related to MIMO poles and zeros (including MIMO nmp zeros).

1kijπ

Page 21: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-21 Copyright ©2005 (Yossi Chait)

Consider an example (Murray, 2004).

( )( )( )( )( )

( )( ) ( ) ( )( ) ( )

( )( )( )( )( )( )( ) ( ) ( )( ) ( )

( )( )( ) ( )( ) ( ) ( )( ) ( )

2 2

2 2

22

2 2

2 3 2

2 2

4 55 10 6 29 441 3 10 1 3 10 1 3 10

2 5 5 14 552 141 3 10 1 3 10 1 3 10

3 3 4 13 10 5 13 121 3 10 1 3 10 1 3 10

s ss s s ss s s s s s s s s

s s s s sss s s s s s s s s

s s s s s ss s s s s s s s s

P

+ ++ + + ++ + + + + + + + +

+ − + + +++ + + + + + + + +

− + − + + −+ + + + + + + + +

⎡ ⎤− −⎢ ⎥⎢ ⎥

= −⎢ ⎥⎢ ⎥⎢ ⎥−⎢ ⎥⎣ ⎦

( )( )( )( )( )

( )( )( )( )( )

( )( )( )( )( )

( )( )( )( )( )

( )( )( )( )( )

( )( )( )( )( )

( )( )( )( )

( )( )( )( )

( )( )( )( )( )

3 2 2

2 3 2 2

5 7 15 10 17 12 10 6 5 101 1 6 1 1 6 1 1 6

2 13 1 10 6 3 4 10 3 22 1011 1 6 1 1 6 1 1 6

3 11 10 4 10 10 2 5 101 6 1 6 1 6

s s s s s s s s s ss s s s s s s s s

s s s s s s s s s ss s s s s s s s s

s s s s s s ss s s s s s

P

+ + + + − − + + +− + + − + + − + +

+ − + + + + + + − +−− + + − + + − + +

+ + + + + + +− + − + − +

⎡ ⎤⎢ ⎥⎢ ⎥

= −⎢ ⎥⎢ ⎥⎢ ⎥−⎢ ⎥⎣ ⎦( ) ( )

( ) ( )3 31 6

det MIMO zeros are -6 (mp) and 1 (nmp)3 10

MIMO poles are at -1, -3, and -10 (not counting repeated).

s sP

s s

− += ⇒

+ +

Page 22: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-22 Copyright ©2005 (Yossi Chait)

Consider closing loops in order from 1st to 3rd. The effective plants at the 1st step are:

( )( )( )( )( )( )

( )( )2

3 2

1 1 61 5 1011 11 3 10 5 7 15 10

11

1 and s s ss s

s s s s s s sp − + ++ +

+ + + + + + += =

π

and we observe the DS plant having MIMO poles and no MIMO zeros,and the IS plant having MIMO zeros and one MIMO pole.

Hence, the 1st loop design in IS does not suffer from MIMO nmp limitation, while the DS does.

Assume c1 = 1 in both schemes, the effective plants at the 2nd, sequential design step are

( )( )( )( )( )

( )( )( )

3 2 4 3 2

3 2 4 3 2

1 13 18 48 16 63 84 144222 23 10 15 48 40 16 69 121 116 10

22

1 and .

s s s s s s s s

s s s s s s s s s sp

+ + + − + + + +

+ + + + + + + + − += =

πThe nmp zero in is not due to MIMO zeros, rather, it is due to the loop design where c1 affects both zero and pole locations

222p

( ) 1 22222

11 1

det.

1P c p

pp c

++

Page 23: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-23 Copyright ©2005 (Yossi Chait)

Similarly, the instability in is simply due to c1 destabilizing the 1st loop

222

111

11 1222

221 221

1det det1/ .

det 1det

ccc c

π +π +π = = ππ

π ππ+ +

πAlso, this plant in mp, hence, at this point the MIMO nmp zero limitation which affected the 1st loop design, is a no-show here.

Next, assume c2 = 1. This choice stabilizes both effective plants. Hence, at the 3rd, and final, design step, the DS effective plant will be stable but must suffer from MIMP nmp zero as shown below

( )( )( )

5 4 3 2

5 4 3 2

27 245 874 1178 101633 3 10 29 291 1197 2002 960

33

1 .

s s s s s

s s s s s sp

+ + + + −

+ + + + + += =π

In summary, nmp MIMO zeros will pose BW limitation in certain loops, in both schemes. The particular loops to suffer such limitations depends on order of closer, choice of controllers, and nature of the MIMO nmp zero. This is discussed next.

Page 24: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-24 Copyright ©2005 (Yossi Chait)

15.3. MIMO NMP LIMITATIONSAs expected, the MIMO case is more complicated1.

Consider a standard unity negative feedback system with a a MIMOplant P and a diagonal controller C. In what follows, we show how the MIMO nmp zeros affect the sensitivity MTF

1 1( ) ( ) .S I PC I L− −= + ≡ +

Specifically, we show how it is not necessary that all elements of S suffer from the nmp zero limitations. That is, certain input/output relations can be designed without such limitations.

Let

11 12 11 1 12 2

21 22 21 1 22 2

L L P C P CL

L L P C P C⎡ ⎤ ⎡ ⎤

= =⎢ ⎥ ⎢ ⎥⎣ ⎦ ⎣ ⎦

1Yaniv O. and Gutman P.O., “Crossover frequency limitations in mimo nonminimum phase feedback systems,” IEEE Trans Automatic Control, Vol. 47(9), 2002, pg., 1560-1564.

Page 25: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-25 Copyright ©2005 (Yossi Chait)

where

11 1 2 is a matrix and C diag(C , ).L k k C× =

Now consider the feedback system shown below.

P∑

2y−C

1y1r

The MTF from r1 to y1 is

111 11 12 22 21 1 1

22 21( )

( )

IL L L I L L L

I L L−

⎡ ⎤= − + = ⎢ ⎥− +⎣ ⎦

where

[ ] [ ]1 11 12 11 1 12 2 .L L L P C P C= =

Page 26: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-26 Copyright ©2005 (Yossi Chait)

Lemma 1. Suppose that

[ ] [ ]1 2 11

11 12 11 12

1 11

(i) , and are full rank

(ii) any NMP zero of is not a pole of

or a pole of or a pole of .

C C L

P P P P

L L

Then,

[ ]11 12 11each NMP zero of is an NMP zero of . P P L

Note that conditions (I) and (ii) are generally satisfied. Next, let

11 12

21 22

S SS

S S⎡ ⎤

= ⎢ ⎥⎣ ⎦

be the partition of the closed-loop system corresponding to the above partition. Using the block matrix inversion formula we have

111 11( )S I L −= +

which is the sensitivity MTF from r1 to y1.

Page 27: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-27 Copyright ©2005 (Yossi Chait)

This means that if the matrix formed from rows 1,…,m of P have NMP zeros, then at least one of the SISO sensitivity functions sii, i = 1,…,m, must suffer the NMP zero limitations (i.e., limited crossover frequency).

Note that the above is true for any set of rows in P, not necessarily in order. This leads to the key result.

Theorem. Consider the above partitioned feedback system. Assume that it is closed-loop stable, that L11 is NMP, and that the conditions of the Lemma are satisfied. Then at least one of theactual loop transmissions

, 1, , ,ni iic p i n= …

must suffer from crossover limitations related to the NMP zeros of

[ ]11 12P P

where P11 and P21 each have m rows.

Page 28: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-28 Copyright ©2005 (Yossi Chait)

Remarks:

•If detP has NMP zeros, but no combinations of rows of P drop rank (other then all of them), then we can assign crossover limitation to any sii.

•Say we have a 4x4 plant. Then if rows {1,2} drop rank and rows {3,4} also drop rank, than at least one sii from rows {1,2} and one sii from rows {3,4} must suffer from crossover limitations.

•If some combinations of rows also have NMP zeros, it is possible, in general, to select the rows of S that will suffer the crossover limitations.

•Increasing the number of plant inputs may remove a MIMO NMP zero.

Page 29: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-29 Copyright ©2005 (Yossi Chait)

Example: Consider the plant

1 .11.1 11

sP

s

−⎡ ⎤= ⎢ ⎥−+ ⎣ ⎦

It has an NMP zeros at 10.1 (tzero(P)). None of its rows has any finite zeros. Also

2-0.1s 1.01

det( 1)

Ps+

=+

with

1

10.1( 1)

0.1 1.010.1( 1) 10.1 1.01 0.1 1.01

ij

ss

sPs s

s s

+⎡ ⎤+⎢ ⎥− += − ≡ π⎡ ⎤⎢ ⎥ ⎣ ⎦+ +⎢ ⎥⎣ ⎦− + − +

We observe that both open-loop plants are NMP due to detP. If we design using direct procedure, neither p11 nor p22 are NMP; hence, we would have to design loop 2 1st if we wanted to assign NMP limitation to 1st loop.

11 221 1 and π π

Page 30: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-30 Copyright ©2005 (Yossi Chait)

Arbitrarily select to have the 1st loop suffer crossover limitations. The choice of c1 = 1 stabilizes this loop (setting aside performance considerations) since

1

11

.1 1.01 .9 2.011 1 .

1 1c s s

s s− + +

+ = + =π + +

The effective plant in the 2nd (and last) loop is

3 212 212

2222 3 21 11

-0.0900s 0.6080s 2.8291s 2.13110.9 s + 3.81 s + 4.92s + 2.01c

π π + + +π = π − =

+ π3 2

2 3 222

1 0.9 s + 3.81 s + 4.92s + 2.01 -0.0900s 0.6080s 2.8291s 2.1311

=π + + +

so the effective plant is minimum-phase (but unstable).

Can we design c1 such that is also mp? 222

Page 31: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-31 Copyright ©2005 (Yossi Chait)

111

221

222 1 22

221

11 11

1det det

11 det1

det

c

c

c p

c

π⎧ +⎪⎪ π⎪

= ⎨π ⎪ +⎪ π⎪

π π⎩

π π+

π

π +

In summary, in order to make future design steps free of nmp zeros and/or unstable poles, present design must not only stabilize its effective plant, but also additional plant as shown above. Yes, MIMO is complicated….

Page 32: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-32 Copyright ©2005 (Yossi Chait)

15.4. Design algorithms for SISO ElementsConsider again the design problem posed in Chap. 14. The block diagram is shown below.

∑ PCy

-r ue

d

( ) 1 .ijT I PC P t−= + = ⎡ ⎤⎣ ⎦

The control problem involves the design of an LTI nxn diagonal controller C that achieves:

• Robust stability, and

• ( ) ( ), , 1, ,ij ijt j i j n Pω ≤ α ω = ∀ ∈P.…

Here we are enforcing specific amplitude constraint on each siso TF in contrast to the input/output constraint used in Chap. 14. This specific problem formulation is used more often.The design algorithms can be readily derived from the ones in Chap. 14. If the inputs are impulses, then the outputs, impulse responses, are also siso elements of the closed-loop MTF.

Page 33: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-33 Copyright ©2005 (Yossi Chait)

Specifically,1

11 1 12 2 11 12 11

21 1 22 2 21 22 2

11 12 1

21 22 2

1 0( )

1 0

0

0

p c p c p p dy I PC Pd

p c p c p p d

t t dt t d

−− +⎡ ⎤ ⎡ ⎤ ⎡ ⎤

= + = ⎢ ⎥ ⎢ ⎥ ⎢ ⎥+⎣ ⎦ ⎣ ⎦ ⎣ ⎦

⎡ ⎤ ⎡ ⎤= ⎢ ⎥ ⎢ ⎥⎣ ⎦ ⎣ ⎦

and when the inputs are impulses, d1 = 1 and d2 = 2, and they appear only one at a time (one is on and the other off) we have

( )11 1 1 21, 0t y d d= = =

( )12 1 1 20, 1t y d d= = =

( )21 2 1 21, 0t y d d= = =

( )22 2 1 20, 0t y d d= = =

and the design algorithms for computing bounds are precisely those derived in Chap. 14:

Page 34: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-34 Copyright ©2005 (Yossi Chait)

11 1 12 11 121

21 22 2 21 22

1 0( )

0 1c y y

P C y dc y y

− π + π⎡ ⎤ ⎡ ⎤ ⎡ ⎤+ = ⇒ =⎢ ⎥ ⎢ ⎥ ⎢ ⎥π π +⎣ ⎦ ⎣ ⎦ ⎣ ⎦

where each output yij correspond to a specific input configuration. And straightforward adaptation of the algorithms in Chap. 14 gives

12 211 12 21 12 21

11 1 11 1 11 1

1111 11

d y tc c ct y + π α−π −π

π + π + π += = = ≥

12 2212 22 12 22

11 1 11 1 11 112 12 .y tc c ct y π α−π −π

π + π + π += = = ≥

At the 2nd design step, the algorithms are

21

11 1

11 1 12 11 122

21 22222

1 0

10 c

c y yy yc −π

π +

π + π ⎡ ⎤⎡ ⎤ ⎡ ⎤= ⎢ ⎥⎢ ⎥ ⎢ ⎥π + ⎣ ⎦ ⎢ ⎥⎣ ⎦ ⎣ ⎦

2111 12

22221 21 21

ct y c−ππ +

+= = ≤ απ

2222

122 22 22.t y c+= = ≤ απ

Page 35: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-35 Copyright ©2005 (Yossi Chait)

Recall that the siso elements relates the inputs and output as follows

1 11 1 12 2

2 21 1 22 2

y t d t dy t d t d

= += +

and we conclude that using output constraint formulation takes into account not only the individual siso TFs but also the nature of the inputs.

Page 36: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-36 Copyright ©2005 (Yossi Chait)

15.5. Direct Design algorithmsConsider again the design problem from 15.4.

111 1 12 2 11 12

21 1 22 2 21 22

11

p c p c p pT

p c p c p p

−+⎡ ⎤ ⎡ ⎤= ⎢ ⎥ ⎢ ⎥+⎣ ⎦ ⎣ ⎦

11 1 12 2 11 12 11 12

21 1 22 2 21 22 21 22

1.

1p c p c t t p p

p c p c t t p p+⎡ ⎤ ⎡ ⎤ ⎡ ⎤

=⎢ ⎥ ⎢ ⎥ ⎢ ⎥+⎣ ⎦ ⎣ ⎦ ⎣ ⎦

Isolating the 1st loop

11 1 12 2 11 11

21 1 22 2 21 21

11

p c p c t pp c p c t p+⎡ ⎤ ⎡ ⎤ ⎡ ⎤

=⎢ ⎥ ⎢ ⎥ ⎢ ⎥+⎣ ⎦ ⎣ ⎦ ⎣ ⎦

interchanging elements

Page 37: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-37 Copyright ©2005 (Yossi Chait)

leads to

11 12

21 21 22 12 2111

11 1 12 1

21 1 22

det1 1 det

p pp t p P p t

tp c p c P

p c p

⎡ ⎤⎢ ⎥− +⎣ ⎦= =+ +⎡ ⎤

⎢ ⎥⎣ ⎦

and the related (conservative) inequality for bound computation

12 2111

1

det1 det

P p tt

c P+

=+

Similarly, we can derive a design inequality for t12.

Once c1 is designed, we use Gauss elimination into the working matrices. We end up with design inequalities that do not require overdesign.

Page 38: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-38 Copyright ©2005 (Yossi Chait)

15.6. Homework

1. Consider the uncertain plant family

2

11 121

21 22

11 22 12 21

( ) :

[2,5], [2,4], [-.5,.5], [.3,1.5]

s

k kP s

k k

k k k k

⎧ ⎫⎡ ⎤=⎪ ⎪⎢ ⎥= ⎨ ⎬⎣ ⎦

⎪ ⎪∈ ∈ ∈ ∈⎩ ⎭

P

and plant output disturbance configurations1

1 2

12 1

) and 0, or

) and 0.

d (j d

d (j dω

ω

ω = =

ω = =Design a diagonal controller C such that the closed-loop system achieves

• Robust stability, and

• .( ) ( ), 1,2, and i iy j i P dω ≤ α ω = ∀ ∈ ∈P dwhere

-16-18-24-14-20-26 dB

321

α2

α1

ω

Page 39: 15. Multivariable QFT Design (Part 2)pcsl.ecs.umass.edu/cbs/handouts/ch15_MIMO_II_handout.pdf · cccc cc ⎛⎞ππ−ππ+π ⎛π+π ⎞ =π+⎜⎟+ =π+⎜+⎟ ⎝⎠π+ ⎝π+

4/28/2005 15-39 Copyright ©2005 (Yossi Chait)

You should investigate the stability and nmp/mp nature of the effective plant at the last step.

The choice of loop closure is yours, however, you must tune your design to minimize the overdesign inherent in the 1st step.

Show all relevant work (avoid figures w/o an explanation).