控制中的LMI/頁面/NI引理 正實系統通常與涉及能量耗散的系統相關。但是,標準的正實理論在建立閉環穩定性方面將無濟於事。然而,次數大於一的系統的傳遞函式可以滿足所有頻率值的負虛部條件,並且此類系統被稱為“具有負虛部頻率響應的系統”或“負虛部系統”。
考慮一個具有狀態空間實現
的平方連續時間線性時不變系統。

根據該引理,上述系統在以下任意一個等價的充要條件下為負虛部系統
- 存在一個
∈
n,其中
,使得


- 存在一個
∈
n,其中
,使得


如果det(
)
0,並且上述任一LMI可行,且得到的
或
,則該系統是嚴格負虛數的。
該問題在Github倉庫中的簡單實現的Matlab程式碼連結
https://github.com/yashgvd/ygovada
正實引理