1
Decoupling Control System – Theory and Design
NSC 87-2213-E-009-144
Emailcalin@cc.nctu.edu.tw
!"#$%&'()*+&,
! "#$%&' ()*+,-! ./01234567) *89! .:;<=>? @A9BCDEFG(HIJ KL! .MNO9 :;<=>PQ*ARSTU VW.(XIVWYRSZ![# \N(]#^_`abcd:; .e f! ( (TU VW.e AbstractThis research investigates decoupling control problem for linear multivariable systems. We generalize some results in decoupling control to the case of block decoupling control. For unity feedback multivariable systems, we establishes necessary and sufficient conditions for the existence of block decoupling contollers. We propose two methods for the design of block decoupling controllers. We give parameterizations of all block decoupling stabilizing controllers based on a special coprime factorization of the plant. Another way to design a block decoupling controller is
to first block-decouple the plant by an open-loop precompensator and then designing feedback controllers for each block channel.
Keywords: block decoupling control, multivariable system, precompensator.
;g h ii5j kJl9mnop-o* (qrs tnuv(ww5jxstn y z{|}~n( n \{|h}n n ( <){|>q >! + BCq! (> .:;<=(0l9mnyz ! > 5v 0! <(Linnemann 3 Wang )*[4] (5¡-,-! y¢1234567>£¤ ¥¦§¨©ªZ«¬+®¯( )*+,-! y¢12 34567£`°±()*67 I²i³$´¥§¨©ª 0! :;<(µ¶·) *¸¹y;º! .:;< =#»(¼:½0 ¾¿ÀÁ¯Â¯¦D£ÃÄ(0
2 ¼:±(! .>4-/00 ! ./067±()*8 9! :;<=>?@A 9BCDEFG(HKL! .MNÅÆ*HO9 :;ǯ>5PQ*ARS! TUVW.(XIVWYRSZ![ #\N¥ÈÉÊHA0¾¿À Á¯3¯(]#^_`abcd :;.(yzX.:;`§ ¨ e Ë+>Hs $%&' S(P,C)(rÌ KÆ(/0! .123456 7(Í P >½(C >. $%&' S(P,C)/0 ! .(ÅÆ·QJ+,- . C(XIt u1op y2o* ÎÏÐ >,-![#\N ÎÏÐ5Xop-o* ÎÏÐ>#\N(½Ñ4 Ò>ÓÔ(full normal rank)0[5] ) J(Õ½0¾¿ÀÖLÃÄÁ ¯Â¯(>+/0! .y¢ 1267 ×4567(Ø4Ò ÙÚ½0¾¿ÀLÃÄÁ¯ ¯67±(ÛÍ! ./0 1234567PÙÚ½ ÎÏÐ><Ü(ݽop-o *cdޣ߼:½L M +Ô0¾¿ÀÃÄÁ¯3¯(¥ ¼:5 Z k !cd(^!c dàL ni +cd0áÅ[2] (yzIJ±-ht-( âd5¡ã! /0123456 7>£¤§¨;º©ªFZ½ P >ÓÔ(ÍäÛÏÐ/0(t½ P ¼:(å P äÛÏÐZ ) ( ) ( 1 s U s R s P M j j j + − =
∑
= λ (1) ) ( ) ( 1 1 V s s T s P M l l l + − =∑
= − λ (2) Í λj ∈+Ɗ ∈ l j T R , n×nU(s)æ V(s) 0 M j j} 1 {λ = y ç¥0¾¿ÀÖLèß Â ¯ - é [ 1 l] k l l T T T = L ] [ 1T T T l k l l R R R = L ( Í l ∈ i T n×ni , ∈ l i R ni×n, i=1 L, ,k, l= ,1L,MI J$%&' S(P,C)( /0! .1234567> ê±- ÙÚ$%&' S(P,C)(rÌK Æ(Í ½ P >ÓÔ<Ü ÎÏ Ðh¼:½3ÍäÛÏÐ2ëÅ Æ0(1)3(2)$%&' S(P,C)/ 0! . C 1234567>f 0 = l i l i R T Ɗi=1 L, ,kƊl =1 L, ,M (3) [
]
(
j)
k j k j 1 j 1 j Range R T R T C vec T T ⊗ ⊗ ∈ L ) ( (4) M j=1 L, , Ɗ Í j j M j l l j l j l j V R R T C ( ) , 1 λ λ λ − + =∑
≠ = ì0 y¢67ÙÚ<( t-(áí5îï(3)674Ò l i T ð l i R Í +ÏÐ5ZÁ(Kz0(4) ( l i l i T R T ⊗ ñZÁF» y¢12 34567(ò«(3)5îï°ó(O6 7>(4) CjZÁ»3[1] ( y¢1234567>ôô ×½0¾¿ÀÁ¯3¯¦õ LÔö(0[2] L÷øù z2ç(ñ>ÙÚ½ ÎÏÐZ<Ü(0[2] (LÙÚ ½ ÎÏЦ><Ü(Ýopc dÞo*FZ½ ÎÏÐ > Ó Ô ( ú ½ ¾ û + $üý (unimodular)ÏÐY(yIJ<Ü ÎÏ Ð(ÊH½! y¢3þ( yz@+<ÜÏзþîï-63 7H- 0! .:;<(Z« È! .-/0:;? (¼:½0¾¿ÀÖLà ÄÁ¯3¯[3] ()*8 9! .:;<=Ë9<= >?@BCDEFG(|KL! .MNt! MN (Hyz@0: ;! ïn N ¼:(Nr,Dr)(Dl,Nl)2ë>½ ¾DEFG3DEFGy z ÛQ* λ 3 ϕ >DE,- Î (XI −1 r N λ ( −1 l N λ ( −1 r D ϕ −1 l D ϕ ñ> ,-h¥/08+DE,- Îα 3 β (XIαλ+ βϕ =1ƌ t ( -é*+ f = −1, = −1 l r l r N V D U αλ βϕ , 1 − = r l N U αλ = −1 l l D V βϕ yzÛ *+ Bezout identity r± = − − I I V N U D D N U V r r r r l l l l 0 0 (5) KL,-.3op-o* ÎÏÐ( y?@(5)HÅ*KL Q MNÅÆ Gt;º(KLop-o* ÎÏÐZ ) ( l l r U QD N + (Í Q >,- ÎÏ ÐFZ NrUl=αλ >#\N(Õ5op-I o* ÎÏÐ>![#\N(Q 4Ò>, - ÎÏÐ(XI NrQDl>![#\N ú −1 r N 2
[
1 1]
1 1 1 1 − − − − = ΓΘ Γ Θ =ΓΘ k k r N L eeeeee Í Γ=[
Γ1LΓk]
(Θ =diag{ }
Θi i 1k=((
Γ ,i Θi)
>¾DEFGh −1 l D 2(
)
(
)
[
∆ Ω ∆ Ω]
=∆ Ω = − − − − 1 1 1 1 1 1 T T k k T l D L e Í[
T]
T k T Ω Ω = Ω 1 L ({ }
k i i 1 diag ∆ = = ∆ ((
∆ ,i Ωi)
>DEFGZ«5IJ NrQDl >![#\NstNMÅÆG(0 [3] (IJ±-f ¼:½>ÓÔ¥0¾¿ÀÖL ÃÄÁ¯3¯h(Nr,Dr)(Dl,Nl)2 ë>½¾DEFG3DEF Gr/0,- ÎÏÐ Q XI NrQDl >![#\N(Í![#\NstM ÅÆGZΘQ (Í Θ 3 ∆ 2ëÅÆ0(6)d∆ 3(7) (ì Qd>,-![#\N Î ÏÐ t -é(op-o* ÎÏÐ ï>{
αλI +ΘQd∆Qd}
ì! .ï>(
)(
)
{
+ Γ Ω − Γ Ω −1 d r r d r r D Q V N Q U Qd > , -![#\N ÎÏ}
Ë9! .:;<=(> 5P:;+! TUVW.(XIT UVW.3½RS ÎÏ Ð(>+![#\NÏÐ¥Í0¾¿ ÀÁ¯3¯½¾¿ÀÁ ¯3¯£(´ÖLÕ03VW .±(L½0¾¿À Á¯3¯(=QJ $%&'.·Èª$%&' ,-0- ()*+! TUVW.ÜG([3] (L!" ª?@! TUVW.VW# @(yzú5:;$b.( 2 #ab.(yzX .:;`§¨(%Í>0 ±(MIMO :; SISO :; 0)*! TUVW.°T(P-éî&fFZλΘ−13 ∆ >¾DEF G(/0_,-#\NDEFG ∆ˆ 3 Θˆ (XI Θ ∆ = ∆ Θ− ) − ˆ− ˆ (λ 1 1 1 (8) ¼:½>ÓÔ0¾¿ÀÖL ÃÄÁ¯3¯½/0 y¢! TUVW. F > 1 1 ˆ− − Θ∆ = P F Ɗ (9)e4 u1 u2 y1 + + + y2 u1 u2 y1 + + + y2 Í Θ 3 ∆ˆ 2ë-é0(6)3(8) eeeeee ! TUVW.3½YÍ ÎÏÐΘ∆ˆ−1>![#\N¥VW.¦' X½0¾¿ÀÁ¯3¯ Kz5:;![#\N. A(s)(Íà^a!.>"#^ !2 H:;(rÌKÆ(Í PF>-éZTUVW.3½ ()ì![#\N. A 3TUV W. F Ø>½! .(0[3] L)JIJ! . FA(>3Ë9<=Q.>£ ß JÞTZ*(5#½:;! .(+P5¡-+½>þ /0! .hÕ/0! .(yz,-)*:;<=H:;! .)*KL! .ÅÜG(Hyz@Jï n N:;Oó(FZ .K)J! .:;<=>"# ½ÖL¾¿ÀÃÄÁ¯3¯ BC67±|(H/yzÙÚ½ ÕL¾¿ÀÃÄÁ¯3¯¥! y¢67±(Í! . r:;0Hyz12° >f 3² r#-3 45`
[1] C. A. Lin, “Necessary and Sufficient Conditions for Existence of Decoupling Controllers,” IEEE Trans. Automat. Contr., vol. 42, pp. 1157-1161, 1997. [2] C. A. Lin and C. M. Wu,
“Block-Decoupling Linear Multivariable Systems: Necessary and Sufficient Conditions,” Automatica, vol. 34, pp. 237-243, 1998.
[3] C. A. Lin and C. M. Wu, “Block Decoupling Control of Linear Multivariable Systems,” 1999sv
'(67)
[4] A. Linnemann and Q. G. Wang. “Block Decoupling with Stability by Unity Output Feedback-Solution and Performance Limitations,” Automatica, vol. 29, pp. 735-744, 1993.
[5] A. I. G. Vardulakis, “Internal Stabilization and Decoupling in Linear Multivariable Systems by Unit Output Feedback Compensation,” IEEE Trans. Automat. Contr., vol. 32, pp.
735-739, 1987. P - Ìe$&'eS(P,C)e C PF - A Ìe$&'eS(PF,A)e