[論文レビュー] 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

ひとこと要約

本稿では、従来の $L_2$ ゲインに基づく手法と比較して著しく保守的でない、計算的に扱いやすい指数安定性の証明を可能にする一般化された積分二次制約（IQC）フレームワークを導入する。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の包括的ライブラリを構築し、実用的応用性を高めること。

提案手法

• 古典的IQC理論を一般化するため、減衰率制約を直接組み込むようにLMIの定式化を修正し、修正されたリャプノフ型条件を用いる。
• 指数安定性解析を支援するように設計された、新たなIQCクラス（具体的には、修正されたZames–Falb型および非Zames–Falb型IQC）を導入する。
• リャプノフ関数 $V(x) = x^T P x$ に対して $V(x_{k+1}) \leq (1 - \varepsilon)V(x_k)$ を満たすように、減衰率パラメータ $\varepsilon$ を含むパラメータ化された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解析に比べて減衰率推定において優れていることが示された。新しい境界は著しく保守的でなかった。