我們將考慮以下反饋互連 

其中
和
是外源輸入。
和
是兩個因果運算元。
令
是一個可測量的厄米特值函式,
且
是一個有界的因果運算元。
使得
那麼,
和
的反饋互連是穩定的。
是一個具有狀態空間實現的線性時不變系統

其中
是狀態。
任何
可以分解為
,其中
和
。將
的狀態空間實現表示為
.
系統
的狀態空間實現為 
如果存在矩陣
使得

那麼反饋互連
是穩定的。
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