[論文レビュー] A Small-Gain Theorem with Applications to Input/Output Systems, Incremental Stability, Detectability, and Interconnections

Brian Ingalls, Eduardo D. Sontag|ArXiv.org|Oct 30, 2001

Control and Stability of Dynamical Systems参考文献 25被引用数 4

ひとこと要約

本稿では、入出力システムにおける一般化された小利得定理を提示し、入力状態安定性（ISS）、入力出力安定性（IOS）、増分安定性、検出可能性、安定システムの相互接続に関する既存の結果を統一・拡張する。この定理は抽象的な利得関数を用い、相互接続されたシステムが安定のままであるための条件を提供し、KL関数およびK関数による一時的挙動と定常応答の明示的上限を含む。古典的および最近の小利得結果が特殊ケースとして回復される。

ABSTRACT

A general ISS-type small-gain result is presented. It specializes to a small-gain theorem for ISS operators, and it also recovers the classical statement for ISS systems in state-space form. In addition, we highlight applications to incrementally stable systems, detectable systems, and to interconnections of stable systems.

研究の動機と目的

• 非線形制御システムにおける多様な安定性概念に適用可能な、統一的で抽象的な小利得定理の開発。
• 既存のISSおよびIOS小利得結果を、一時的挙動および増分安定性を含む形に拡張すること。
• 古典的小利得定理を回復するフレームワークを提供し、検出可能性および相互接続問題に適用可能にする。
• 非線形利得関数を用いて、相互接続されたシステムが入力出力安定性（IOS）を保つための条件を確立すること。

提案手法

• 時間集合T上での軌道を四重組（τ, u(·), x(·), y(·)）として形式化し、入力、状態、出力を抽象的に取り扱えるようにする。
• KL関数およびK関数を用いた（µ, C）-KL実用的-IOS性質を定義し、漸近的減衰と有界な過渡的オーバーシュートを捉える。
• 利得関数の合成に基づく一般化された小利得条件を導入：すべてのs > 0に対してγ₁(γ₂(s)) < s または γ₂(γ₁(s)) < s が成り立つこと。
• 小利得条件の下で安定性推定を導出するために、KL関数および利得バウンドを含む技術的補題を適用する。
• 抽象的利得関数および関数不等式を用いて、状態空間モデルを超えた安定性解析を一般化する。
• 出力軌道が初期状態と入力ノルムの関数としてKL関数によってバウンドされることを示し、比較による安定性の証明を行う。

実験結果

リサーチクエスチョン

• RQ1 2つのシステムのフィードバック相互接続が、いつ入力出力安定性（IOS）を保つのか。
• RQ2 純粋な入出力システムなど、状態空間表現を持たないシステムに対して、小利得定理をどのように一般化できるか。
• RQ3 一時的挙動を捉える非線形利得関数を用いて、小利得条件を表現できるか。
• RQ4 提案された定理は、ISS、IOS、増分安定性、検出性を1つのフレームワーク内でどのように統一するか。
• RQ5 有界な利得を持つ相互接続されたシステムにおいて、実用的安定性および吸引性を保証する抽象的条件は何か。

主な発見

• 小利得定理は、利得関数の合成がすべてのs > 0に対してγ₁(γ₂(s)) < s または γ₂(γ₁(s)) < s を満たす場合、相互接続されたシステムが入力出力安定性（IOS）を保つことを保証する。
• この定理は、状態空間形式のISSシステムにおける古典的小利得結果を回復し、抽象的入出力を持つシステムへと拡張する。
• 増分安定性を持つシステムに対しては、定理が軌道が互いに収束することを保証し、初期差分と入力ノルムに依存するバウンドを提供する。
• IOSSおよびIMES性質を通じて、検出可能なシステムに適用可能であり、推定誤差が漸近的に減少する条件を提供する。
• 安定性バウンドはKL関数βとK関数γを用いて表現され、出力軌道が初期状態の大きさ、入力エネルギー、および一時的減衰項によってバウンドされることを保証する。
• 証明は、KL関数および利得関数を含む技術的補題に依存し、T(ε,r)に関する特定の条件下でβ(r,t)がmin{ε−2C, δ−1(r)} ≤ β(r,t)を満たすように構成可能であることを確立する。