[論文レビュー] On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems

T. J. Meijer, V. S. Dolk+1 more|arXiv (Cornell University)|Feb 1, 2026

Stability and Control of Uncertain Systems被引用数 0

ひとこと要約

論文は Lyapunov ベースの安定化性と検出可能性テストを LTI 系から離散時間ポリトピック LPV 系へ拡張し、poly-quadratic Lyapunov functions を用いて LMIs ベースの条件とオブザーバ/コントローラ設計を提供する。

ABSTRACT

In this technical communique, we generalize the well-known Lyapunov-based stabilizability and detectability tests for discrete-time linear time-invariant systems to polytopic linear parameter-varying systems using the class of so-called poly-quadratic Lyapunov functions.

研究の動機と目的

• Lyapunov ベースの検出可能性と安定化性テストを LTI からポリトピック LPV 系へ一般化する。
• 安定性、検出可能性、安定化性のための poly-quadratic Lyapunov function (poly-QLF) に基づく条件を導入する。
• poly-Q 検出可能性と poly-Q 安定化性を証明する LMIs を提供する。
• poly-Q 安定性を持つ閉ループ動作を保証する観測器および状態フィードバック利得を導出する。
• 新しい条件が特別な場合として古典的な LTI 結果を回復することを示す。

提案手法

• DT ポリトピック LPV 系をモデル化し、poly-QLFs を V(pi,x)=x^T P(pi) x で定義し、P(pi)=sum_i xi(pi) P_ibar とする。
• poly-Q 検出可能性のための LMI ベース条件を導出: P_i - A_i^T P_j A_i + C^T C > 0 for all i,j。
• 検出可能性 LMIs が実行可能な場合に poly-QS を達成する観測器利得 L(k,p) を提案。
• P(pi) と S(pi) が以下を満たす poly-Q 安定化条件を導出: S(pi+) - A(pi) S(pi) A^T(pi) + B B^T > 0。
• 提案された P(·) と S(·) による poly-QS 閉ループ挙動を生み出す構成的な利得 K(k,p) を提供。
• A(pi)=A および P(pi)=P への特化により LTI 結果と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 Lyapunov ベースの検出可能性と安定化性テストを、poly-quadratic Lyapunov functions を用いて離散時間のポリトピック LPV 系へ拡張できるか。
• RQ2 poly-Q 検出可能性と poly-Q 安定化性を特徴付ける LMIs は何か。
• RQ3 オブザーバと状態フィードバック利得を設計して LPV 設定で poly-Q 安定性を保証できるか。
• RQ4 パラメータが一定のとき、一般化された条件は古典的な LTI 結果に還元されるか。
• RQ5 この枠組みで poly-QS と標準的な LTI 安定性結果の関係はどうなるか。

主な発見

• 論文は poly-Q 検出可能性の必要十分条件を LMI ベースで提供する。
• 検出可能性 LMIs が成立する場合に誤差ダイナミクスに対して poly-QS を達成する特定の観測器利得 L(k,p) が与えられる。
• 対となる LMIs により poly-Q 安定化が達成され、p_k および p_{k+1} に依存する安定化利得 K(k,p) が得られる。
• コロラリは検出可能性条件が古典的な P - A^T P A + C^T C > 0 テストを LTI 系に対して一般化することを示す。
• スラック変数を伴う十分条件 LMIs は poly-Q 安定化の実務的に扱いやすい条件を提供する。
• A(p) と P(p) が定数で P_i が同一である場合に標準的な LTI 結果を回復する。