我们将考虑以下反馈互连
其中 和 是外源输入。 和 是两个因果算子。
令 是一个可测量的厄米特值函数, 且 是一个有界的因果算子。 使得
那么, 和 的反馈互连是稳定的。
是一个具有状态空间实现的线性时不变系统
其中 是状态。
任何 可以分解为 ,其中 和 。将 的状态空间实现表示为 .
系统 的状态空间实现为
如果存在矩阵 使得
那么反馈互连 是稳定的。
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