[論文レビュー] Integral-Input-Output to State Stability

Brian Ingalls|ArXiv.org|Jun 15, 2001

Fault Detection and Control Systems参考文献 25被引用数 3

ひとこと要約

本稿では、非線形システムの検出可能性の概念として、essentially (L∞) 範数の代わりに積分的（L1型）範数を用いる、積分入出力安定性（iIOSS）を導入し、その特徴を明らかにする。iIOSSが、特定の拡散不等式を満たす連続なリャプノフ関数の存在と同値であることを証明しており、入力集合がコンパクトである場合には、滑らかなリャプノフ関数への拡張も示している。主たる貢献は、iIOSSのリャプノフ関数的特徴付けであり、エネルギー的信号測定を持つシステムにおける観測器設計およびロバストネス解析を可能にする。

ABSTRACT

A notion of detectability for nonlinear systems is discussed. Within the framework of ``input to state stability'' (ISS), a dual notion of ``output to state stability'' (OSS), and a more complete detectability notion, ``input-output to state stability'' (IOSS) have appeared in the literature. This note addresses a variant of the IOSS property, using an integral norm to measure signals, as opposed to the standard supremum norm that appears in ISS theory.

研究の動機と目的

• 非線形システムにおける積分的（L1型）信号範数に基づく検出可能性概念を形式化し、古典的IOSS理論を拡張すること。
• iIOSS特性に対するリャプノフ関数の特徴付けを確立し、安定性解析のための構成的枠組みを提供すること。
• iIOSSシステムがノルム観測器を備え、出力測定値から状態の有界性を推定可能であることを示すこと。
• 入力集合がコンパクトである場合に、リャプノフ関数の構成を滑らかに拡張し、制御設計への応用性を高めること。

提案手法

• 入力および出力信号の測定に積分的範数を用いることで、信号の総エネルギーをモデル化する、IOSSの変種としてiIOSSを提案する。
• 状態ノルムが初期状態および出力・入力信号の積分によって有界であることを満たす関数 α ∈ K∞, β ∈ KL, および γ1, γ2 ∈ K の存在によって、iIOSSを定義する。
• iIOSSと、時間変動利得を含む拡散不等式を満たす連続リャプノフ関数 V の存在との同値性を確立する。
• 非滑らかリャプノフ関数に対処するため、可視性下勾配を用い、一般化された意味での減少条件を導出する。
• 入力集合がコンパクトである場合に、Rn\{0} 上に滑らかな関数 eV を構成し、それを滑らかな K∞ 関数 ρ と合成することで、グローバルな滑らかさを保証する。
• [11] および [15] の結果を応用し、入力集合がコンパクトであるという仮定のもとで滑らかなリャプノフ関数の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形システムに対して、積分的範数に基づく検出可能性概念を厳密に定義可能か？ また、標準的IOSSとはどのように異なるか？
• RQ2 iIOSS特性に対してリャプノフ関数の特徴付けが存在するか？ その場合、関数に課される正則性要件は何か？
• RQ3 iIOSSは、iISS やパッシブシステムといった既存の概念とどのように関係し、観測器設計にどのような意味を持つのか？
• RQ4 入力集合がコンパクトであるなどの弱い仮定のもとで、iIOSSのリャプノフ関数を滑らかに構成可能か？
• RQ5 可視性下勾配は、非滑らか関数に対するリャプノフ条件の定式化において果たす役割は何か？

主な発見

• iIOSS特性は、出力および入力信号の積分を含む拡散不等式を満たす連続リャプノフ関数 V の存在と同値である。
• 可視性下勾配を用いることで、リャプノフ関数が微分可能でない場合でも、必要なリャプノフ減少条件を導出可能である。
• 入力集合がコンパクトであるシステムでは、iIOSSのリャプノフ関数を滑らかに構成可能であり、より強力な解析的・設計的ツールが利用可能になる。
• リャプノフ関数は、十分に小さい τ に対して、V(x(τ,ξ,v)) − V(ξ) ≤ ∫₀^τ [−c₁λ(Tξ + r) + c₂(γ₁(|y|) + 2eγ₂(|v|))] dr という形のバインドを満たし、状態の減衰を保証する。
• このようなリャプノフ関数の存在は、システムがノルム観測器を備えることを示し、原点からの状態距離の推定が可能であることを意味する。
• 構成により、グローバルな滑らかさと正定値性を保証する滑らかな iIOSS リャプノフ関数 V = ρ∘eV が得られる。