引理假设状态空间表示 (Ad, Bd, Cd, Dd) 是最小的。那么传递函数 Cd(SI − Ad)-1Bd + Dd 的正实性 (PR) 等同于本页给出的 LMI 集的可解性。现在考虑以下标量示例,其中 (Ad, Bd, Cd, Dd)=(−α, 0, 0, 1),其中 α > 0。传递函数为 H(s) = 0,它是 PR
考虑一个离散时间 LTI 系统,
,具有最小的状态空间实现
,其中
和
.


矩阵
和 
系统
在以下任一等效必要和充分条件下都是正实(PR)的。
- 1. 存在
其中
使得

- 2. 存在
其中
使得

- 3. 存在
其中
使得

- 4. 存在一个
其中
使得

这是针对 QSR 耗散系统的 *KYP* 引理的特例,其中 **Q = 0,Q = 0.5** 且 **R = 0**。
系统
在以下任一充分必要条件下为严格正实 (SPR)。
- 1. 存在
其中
使得

- 2. 存在
其中
使得

- 3. 存在
其中
使得

- 4. 存在一个
其中
使得

这是一个具有 **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)Kalman-Yakubovich-Popov 引理。载:耗散系统分析与控制。通信与控制工程。施普林格,伦敦