[论文解读] Exponential Stability Analysis via Integral Quadratic Constraints

Ross Boczar, Laurent Lessard+2 more|arXiv (Cornell University)|Jun 2, 2017

Advanced Control Systems Optimization参考文献 6被引用 14

一句话总结

本文提出了一种广义积分二次约束（IQC）框架，能够以计算上可处理的方式实现指数稳定性的认证，其保守性显著低于传统的基于 $L_2$ 增益的方法。通过将IQC分析重新表述为通过改进的线性矩阵不等式（LMIs）直接约束指数衰减速率，该方法为具有非线性或不确定组件的系统提供了更紧致、可数值验证的稳定性证书。

ABSTRACT

The theory of integral quadratic constraints (IQCs) allows verification of stability and gain-bound properties of systems containing nonlinear or uncertain elements. Gain bounds often imply exponential stability, but it can be challenging to compute useful numerical bounds on the exponential decay rate. This work presents a generalization of the classical IQC results of Megretski and Rantzer that leads to a tractable computational procedure for finding exponential rate certificates that are far less conservative than ones computed from $L_2$ gain bounds alone. An expanded library of IQCs for certifying exponential stability is also provided and the effectiveness of the technique is demonstrated via numerical examples.

研究动机与目标

• 开发一种计算上可处理的方法，用于认证具有非线性或不确定组件的系统的指数稳定性。
• 通过积分二次约束减少标准 $L_2$ 增益方法在指数稳定性边界中固有的保守性。
• 提供一个频域框架，可直接计算指数衰减速率的数值边界，适用于优化算法之外的场景。
• 将经典IQC理论扩展至显式认证指数衰减，而非仅限于有界输入有界输出（BIBO）稳定性。
• 构建一个针对指数稳定性认证量身定制的IQC综合库，提升实际适用性。

提出的方法

• 该方法通过修改LMI公式，将指数衰减速率约束直接纳入，从而推广经典IQC理论，采用一种改进的类似李雅普诺夫的条件。
• 提出一类新型IQC——具体为改进的Zames–Falb和非Zames–Falb型IQC——专为支持指数稳定性分析而设计。
• 通过引入包含衰减速率参数 $\varepsilon$ 的参数化LMI，重新表述稳定性条件，确保李雅普诺夫函数 $V(x) = x^T P x$ 满足 $V(x_{k+1}) \leq (1 - \varepsilon)V(x_k)$。
• 采用凸松弛技术处理LMI中的双线性项，通过引入辅助变量 $\tilde{P}, \tilde{\Gamma}, \tilde{H}, \zeta$，将非凸问题转化为凸问题。
• 该方法基于基曼-亚库波维奇-波波夫（KYP）引理由频域公式推导，对IQC乘子矩阵的滤波器和对角占优性质施加约束。
• 通过最大化约束 $\mathcal{A}(\tilde{P}) + \mathcal{M}(\tilde{\Gamma}, \tilde{H}) \preceq -tI$ 中的 $t$，优化衰减速率，从而获得指数衰减速率的紧致上界。

实验结果

研究问题

• RQ1 在基于IQC的分析中，是否能够以比标准 $L_2$ 增益边界更紧致的方式认证指数稳定性？
• RQ2 如何修改经典IQC框架，使其能直接约束指数衰减速率，而非仅限于BIBO稳定性？
• RQ3 哪一类IQC能够实现对不确定或非线性系统中指数衰减速率的可计算且保守性更低的计算？
• RQ4 与现有基于 $L_2$ 增益的方法相比，该方法在稳定性边界保守性方面减少的程度如何？
• RQ5 该方法是否可应用于优化算法之外的通用鲁棒控制问题，如具有实时性或定点约束的系统？

主要发现

• 所提方法通过直接优化衰减速率，显著降低了指数稳定性边界的保守性，生成的证书比仅基于 $L_2$ 增益的证书紧致得多。
• 该方法成功认证了强凸函数上梯度下降的指数收敛性，所得边界与已知理论速率高度吻合。
• 改进的IQC框架使指数衰减速率可通过凸优化问题计算，从而在实际系统中具备计算可处理性。
• 该框架适用于时间关键型系统，如嵌入式模型预测控制，其中对收敛速度的鲁棒保证至关重要。
• 通过数值示例验证，构建并扩展了包含重复非线性性和Zames–Falb型约束的IQC库。
• 在数值示例中，该方法在衰减速率估计方面优于标准IQC分析，新边界的保守性显著降低。