我们将考虑以下反馈互连 

其中
和
是外源输入。
和
是两个因果算子。
令
是一个可测量的厄米特值函数,
且
是一个有界的因果算子。
使得
那么,
和
的反馈互连是稳定的。
是一个具有状态空间实现的线性时不变系统

其中
是状态。
任何
可以分解为
,其中
和
。将
的状态空间实现表示为
.
系统
的状态空间实现为 
如果存在矩阵
使得

那么反馈互连
是稳定的。
A. Megretski 和 A. Rantzer,“通过积分二次约束进行系统分析”,载于《IEEE 自动控制汇刊》,第 42 卷,第 6 期,第 819-830 页,1997 年 6 月,doi:10.1109/9.587335
P. Seiler,“使用耗散不等式和积分二次约束进行稳定性分析”,载于《IEEE 自动控制汇刊》,第 60 卷,第 6 期,第 1704-1709 页,2015 年 6 月,doi:10.1109/TAC.2014.2361004