该引理假设状态空间表示 (A, B, C, D) 是极小的。然后,传递函数 C(SI − A)-1B + D 的正实性(PR)等价于此页面中给出的 LMI 集合的可解性。现在考虑以下标量示例,其中 (A, B, C, D)=(−α, 0, 0, 1),其中 α > 0。传递函数为 H(s) = 0,它是 PR 的。
考虑一个连续时间 LTI 系统,,具有最小状态空间实现 (A, B, C, 0),其中 和 .
矩阵 矩阵 和
系统 在以下任意一个等效的充要条件下都是正实(PR)的。
- 1. 存在 其中 使得
- 2. 存在 其中 使得
这是一个针对具有 **Q = 0,Q = 0.5** 和 **R = 0** 的 QSR 消散系统的 *KYP* 引理的特例。
系统 在以下等效的必要充分条件中的任何一个成立时,为严格正实 (SPR)。
- 1. 存在 其中 使得
- 2. 存在 其中 使得
这是一个针对具有 **Q = ε1,Q = 0.5** 和 **R = 0** 的 QSR 消散系统的 *KYP* 引理的特例。其中 ε
如果对于选择的 **Q,S** 和 **R** 矩阵存在一个正定 ,那么系统 为 **正实**。
使用 MATLAB 实现此 LMI 的代码。 https://github.com/VJanand25/LMI
KYP 引理
状态空间稳定性
具有馈通的离散时间 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. Brogliato B.,Maschke B.,Lozano R.,Egeland O. (2007) 卡尔曼-雅库博维奇-波波夫 引理。在:消散系统分析和控制。通信和控制工程。Springer,伦敦