圆锥扇区定理是一个强大的输入-输出稳定性分析工具,在系统特征的普遍性和简单性之间取得了良好的平衡,这有利于实际的稳定性分析和鲁棒控制器综合。
考虑一个平方、连续时间线性时不变 (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 页。