控制中的LMI/页面/NI引理 正实系统通常与涉及能量耗散的系统相关。但是,标准的正实理论在建立闭环稳定性方面将无济于事。然而,次数大于一的系统的传递函数可以满足所有频率值的负虚部条件,并且此类系统被称为“具有负虚部频率响应的系统”或“负虚部系统”。
考虑一个具有状态空间实现
的平方连续时间线性时不变系统。

根据该引理,上述系统在以下任意一个等价的充要条件下为负虚部系统
- 存在一个
∈
n,其中
,使得


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


如果det(
)
0,并且上述任一LMI可行,且得到的
或
,则该系统是严格负虚数的。
该问题在Github仓库中的简单实现的Matlab代码链接
https://github.com/yashgvd/ygovada
正实引理