圓錐扇區定理是一個強大的輸入-輸出穩定性分析工具,在系統特徵的普遍性和簡單性之間取得了良好的平衡,這有利於實際的穩定性分析和魯棒控制器綜合。
考慮一個平方、連續時間線性時不變 (LTI) 系統, G : L 2 e → L 2 e {\displaystyle {\mathcal {G}}:{\mathcal {L}}_{2e}\rightarrow {\mathcal {L}}_{2e}} ,其最小狀態空間實現為 **(A, B, C, D)**,其中 E , A ∈ R n × n , B ∈ R n × m , C ∈ R p × n , {\displaystyle {\mathcal {E,A}}\in {\mathcal {R}}^{n\times n},{\mathcal {B}}\in {\mathcal {R}}^{n\times m},{\mathcal {C}}\in {\mathcal {R}}^{p\times n},} 以及 D ∈ R p × m {\displaystyle {\mathcal {D}}\in {\mathcal {R}}^{p\times m}} .
x ˙ ( t ) = A x ( t ) + B u ( t ) , y ( t ) = C x ( t ) + D u ( t ) {\displaystyle {\begin{aligned}{\dot {x}}(t)&=Ax(t)+Bu(t),\\y(t)&=Cx(t)+Du(t)\\\end{aligned}}}
矩陣 矩陣 A , B , C {\displaystyle A,B,C} 和 D {\displaystyle D}
系統 G {\displaystyle {\mathcal {G}}} 位於以 *c* 為中心,半徑為 *r* 的外錐體內 (即 G ∈ {\displaystyle {\mathcal {G}}\in } exconer (c)),其中 r ∈ R > 0 {\displaystyle r\in {\mathcal {R}}_{>0}} 且 ∈ R {\displaystyle \in {\mathcal {R}}} ,在以下兩個等價的充要條件之一下成立。
1. 存在 **P** ∈ S n {\displaystyle \in {\mathcal {S}}^{n}} ,其中 **P** ≥ 0 {\displaystyle \geq 0} ,使得
[ P A + A T P − C T C P B − C T ( D − C I ) ( P B − C T ( D − C I ) ) T r 2 I − ( D − c I ) T ( D − c I ) ] ≤ 0. {\displaystyle {\begin{bmatrix}PA+A^{T}P-C^{T}C&PB-C^{T}(D-CI)\\(PB-C^{T}(D-CI))^{T}&r^{2}I-(D-cI)^{T}(D-cI)\end{bmatrix}}\leq 0.}
2. 存在 **P** ∈ S n {\displaystyle \in {\mathcal {S}}^{n}} ,其中 **P** ≥ 0 {\displaystyle \geq 0} ,使得
[ P A + A T P − C T C P B − C T ( D − C I ) 0 ( P B − C T ( D − C I ) ) T − ( D − c I ) T ( D − c I ) r I 0 ( r I ) T − I ] ≤ 0. {\displaystyle {\begin{bmatrix}PA+A^{T}P-C^{T}C&PB-C^{T}(D-CI)&0\\(PB-C^{T}(D-CI))^{T}&-(D-cI)^{T}(D-cI)&rI\\0&(rI)^{T}&-I\end{bmatrix}}\leq 0.}
證明 ,對 (1) 中的 r 2 I {\displaystyle r^{2}I} 項應用 Schur 補充引理,得到 (2)。
如果存在正定 P {\displaystyle P} 矩陣滿足上述 LMI,則系統 G {\displaystyle {\mathcal {G}}} 位於以 *c* 為中心,半徑為 *r* 的外錐體內。
使用 MATLAB 實現該 LMI 的程式碼。 https://github.com/VJanand25/LMI
KYP 引理
狀態空間穩定性
1. J. C. Willems, “耗散動力系統 - 第一部分:一般理論”,《理性力學與分析檔案》,第 45 卷,第 5 期,第 321-351 頁,1972 年。 2. D. J. Hill 和 P. J. Moylan, “非線性耗散系統的穩定性”,《IEEE 自動控制彙刊》,第 21 卷,第 5 期,第 708-711 頁,1976 年。 3. Ryan James Caverly1 和 James Richard Forbes2 著,《系統、穩定性和控制理論中的 LMI 屬性和應用》 4. Bridgeman, Leila Jasmine 和 James Richard Forbes。 “外錐體扇形引理”。《國際控制雜誌》,第 88 卷,第 11 期 (2015 年):第 2250-2263 頁。