入力状態安定性

入力状態安定性(ISS)[1] [2] [3] [4] [5] [6]は、外部入力を持つ非線形制御系の安定性を研究するために広く用いられている安定性の概念です。大まかに言えば、外部入力がない場合に大域的に漸近安定であり、かつ十分に大きな時間に対してその軌跡が入力の大きさの関数で制限される場合、制御系はISSです。ISSの重要性は、この概念が制御系コミュニティで広く用いられている 入出力法と状態空間法の間のギャップを埋めてきたという事実によるものです

ISSは、リアプノフ安定性理論と入出力安定性理論を統合し、非線形システムの安定化、ロバスト非線形オブザーバの設計、非線形相互接続制御システムの安定性、非線形検出可能性理論、そして監視適応制御に関する私たちの考え方に革命をもたらしました。これにより、ISSは非線形制御理論における支配的な安定性パラダイムとなり、ロボット工学、メカトロニクスシステム生物学、電気工学、航空宇宙工学など、多岐にわたる分野で応用されています。

ISSの概念は、1989年にエドゥアルド・ソンタグによって常微分方程式で記述されるシステムのために導入されました。[7]

それ以来、この概念は偏微分方程式に従うシステム、遅延システム、ハイブリッドシステムなどを含む他の多くのクラスの制御システムにうまく適用されました。[5]

定義

次の形式の時間不変常微分方程式系を考える

ここで、はルベーグ可測で本質的に有界な外部入力であり、は第1引数に関してリプシッツ連続関数であり、第2引数に関して一様である。これにより、システム( 1 ) の唯一の絶対連続解が存在することが保証される

ISSと関連する性質を定義するために、以下の比較関数のクラスを利用します。 を の連続増加関数の集合 を の 連続厳密減少関数の集合で表します。すると、 をすべての に対して、のすべての に対しての関数として表すことができます

システム( )は、対応するシステムがゼロ入力を持つ場合、ゼロで大域漸近安定(0−GAS)と呼ばれる。

は大域的に漸近安定であり、すなわち、すべての初期値 とすべての時間に対して、次の推定値が(WithoutInputs) の解に対して有効となるようなものが存在する。

システム( 1 )は、関数が存在し すべての初期値、すべての許容入力、およびすべての時間に対して、次の不等式が成り立つ 場合、入力状態安定(ISS)と呼ばれます

上記の不等式の関数 はゲインと 呼ばれます

明らかに、ISSシステムは0-GAS安定かつBIBO安定です(出力をシステムの状態と等しくした場合)。逆の含意は一般には当てはまりません。

場合には となることも証明できます

入力から状態への安定性の特性

ISS を理解するには、他の安定性特性の観点から ISS を再述べることが非常に重要です。

システム()は存在し かつ

システム( 1 )は次が存在する場合 漸近的ゲイン(AG)特性を満たす

以下の文は、十分に正則な右辺[8]に対して同値である

1. (1)はISS

2. (1)はGSであり、AG特性を持つ

3. (1)は0-GASであり、AG特性を持つ

この結果の証明とISSの他の多くの特徴付けは論文[8][9]で見ることができます。 右辺の正則性に関する非常に緩い制約の下で有効であり、より一般的な無限次元システムに適用可能なISSの他の特徴付けは[10]で示されています。

ISS-リャプノフ関数

ISSの検証に重要なツールは、ISS-リャプノフ関数です

滑らかな関数は、( 1 )およびときISS-リャプノフ関数と呼ばれる

そして それは成り立ちます:

この関数はリアプノフゲインと呼ばれます

システム()に入力がない場合(すなわち、)最後の含意は条件

これは、 が「古典的な」リャプノフ関数であることを示しています。

E.ソンタグとY.ワンによる重要な結果は、システム(1)がISSであるためには、それに対する滑らかなISS-リャプノフ関数が存在するということである。[9]

あるシステムを考えてみましょう

候補となるISS-リャプノフ関数を次のように 定義する。

リャプノフゲインを選択する

すると、が成り立つことがわかります。

これは、 が、リャプノフゲインを持つ対象のシステムのISS-リャプノフ関数であることを示して ます

ISSシステムの相互接続

ISS フレームワークの主な機能の 1 つは、入力から状態までの安定したシステムの相互接続の安定性特性を研究できることです。

次式で表されるシステムを考える。

ここで、、およびは、番目のサブシステムからの入力に関して一様リプシッツ連続です

( WholeSys )の -番目のサブシステムの場合、ISS-Lyapunov関数の定義は次のように記述できます。

滑らかな関数とは、関数および正定値関数が存在し、次の条件を満たす 場合、 ( WholeSys ) の 番目のサブシステムの ISS-Lyapunov 関数 (ISS-LF) です。

そしてそれは

カスケード相互接続

カスケード相互接続は、-番目のサブシステムのダイナミクスがサブシステムの状態に依存しない特殊なタイプの相互接続です。正式には、カスケード相互接続は次のように記述できます

上記システムのすべてのサブシステムがISSである場合、カスケード相互接続全体もISSである。[7] [4]

ISSシステムのカスケード接続とは対照的に、0-GASシステムのカスケード接続は一般に0-GASではありません。次の例はこの事実を示しています。次に示すシステムを考えてみましょう。

この系の両方のサブシステムは0-GASですが、十分に大きな初期状態とある有限時間に対しては成り立ちますつまり、系(Ex_GAS)は有限の脱出時間を示し、したがって0-GASではありません

フィードバック相互接続

サブシステムの相互接続構造は、内部リアプノフゲインによって特徴付けられます。相互接続(WholeSys )がISSであるかどうかは、次のように定義される ゲイン演算子の特性に依存します

以下の小ゲイン定理は、ISSシステムの相互接続におけるISSの十分条件を確立する。WholeSysの 番目のサブシステムに対するISS-リャプノフ関数を、対応するゲイン、とする。非線形小ゲイン条件が

が成立する場合、相互接続全体はISSです。[11] [12]

スモールゲイン条件(SGC)は、 の各サイクル に対して のときのみ成立し(つまり、のすべての に対して成立し、 のすべての に対して成立する )、

この形式の小ゲイン条件は、巡回小ゲイン条件とも呼ばれます。

積分ISS (iISS)

システム( 1 )は、関数が存在し、 すべての初期値、すべての許容入力、およびすべての時間に対して、次の不等式が成り立つ場合、積分入力状態安定(ISS)と呼ばれます

ISSシステムとは対照的に、システムが積分ISSである場合、その軌道は有界入力に対しても有界にならない可能性があります。これを確かめるために、すべての場合についてを置き、を取ります。すると、推定値( 3 )は次の形になります

そして、右側の辺は として無限大に増大します

ISS フレームワークと同様に、リャプノフ法は iISS 理論において中心的な役割を果たします。

滑らかな関数は、( 1 )のiISS-リャプノフ関数と呼ばれ正定値関数は次のようになります。

そして それは成り立ちます:

D. Angeli、E. Sontag、Y. Wangによる重要な結果は、システム( 1 )が積分ISSであるためには、それに対するiISS-Lyapunov関数が存在するということである。

上記の式では、は正定値のみであると仮定されていることに注意してくださいが のiISS-リャプノフ関数である場合、 は実際にはシステム( 1 )のISS-リャプノフ関数であることが[13]で簡単に証明できます。

これは特に、すべてのISSシステムが積分ISSであることを示しています。逆の含意は真ではありません。次の例が示すように。

このシステムはISSではない。なぜなら、十分に大きな入力に対しては軌道が非有界となるからである。しかし、これは積分ISSであり、iISS-リャプノフ関数は次のように定義される。

局所ISS(LISS)

ISS特性の局所バージョンも重要な役割を果たします。定数と関数 が存在する場合、システム(1 )は局所ISS(LISS)と呼ばれます

そして 、すべての、すべての許容入力とすべての時間に対して、

興味深い観察結果は、0-GASがLISSを意味することです。[14]

その他の安定性の概念

ISSに関連する安定性の概念は他にも多く導入されています。増分ISS、入力状態動的安定性(ISDS)[15]、入力状態実用安定性(ISpS)、入力出力安定性(IOS)[16]などです

時間遅延システムのISS

時間不変の時間遅延システムを考える

ここでは、時刻 におけるシステム ( TDS ) の状態が示されており、システム ( TDS ) の解の存在と一意性を保証するために特定の仮定を満たしています

システム(TDS)がISSである場合、関数とが存在しすべての、すべての許容入力、すべてのに対して、次の式が成り立つ 場合のみ、

時間遅れシステムのISS理論では、2つの異なるリアプノフ型十分条件が提案されています。ISSリアプノフ・ラズミキン関数[17]とISSリアプノフ・クラソフスキー関数[18]です。時間遅れシステムに関する逆リアプノフ定理については、[19]を参照してください

他のクラスのシステムのISS

時間不変常微分方程式に基づくシステムの入力から状態への安定性は、かなり発展した理論であり、最近のモノグラフを参照のこと。[6]しかし、他のクラスのシステムのISS理論も、時間変動ODEシステム[20]ハイブリッドシステム[21]に対して研究されている。[22 ]最近、ISS概念の無限次元システムへの一般化も提案されている。[23] [24] [3] [25]

ISSに関するセミナーとオンラインリソース

  • オンラインセミナー:入力から状態への安定性とその応用
  • ISSのYouTubeチャンネル

参考文献

  1. ^ エドゥアルド・D・ソンタグ著『数理制御理論:有限次元システム』シュプリンガー・フェアラーク、ロンドン、1998年
  2. ^ ハッサン・K・カリル「非線形システム」プレンティス・ホール、2002年。
  3. ^ ab Iasson Karafyllis、Zhong-Ping Jiang. 非線形システムの安定性と安定化. 通信および制御工学シリーズ. Springer-Verlag London Ltd.、ロンドン、2011年.
  4. ^ ab Eduardo D. Sontag. 状態安定性への入力:基本概念と結果. 非線形および最適制御理論, Lecture Notes in Math. 第1932巻, 163-220ページ, ベルリン, 2008年. Springer
  5. ^ ab A. Mironchenko, Ch. Prieur. 無限次元システムの入力から状態への安定性:最近の成果と未解決の問題. SIAM Review, 62(3):529–614, 2020.
  6. ^ ab 入力対状態安定性. 通信および制御工学. 2023. doi :10.1007/978-3-031-14674-9. ISBN 978-3-031-14673-2
  7. ^ ab Eduardo D. Sontag. 滑らかな安定化は互いに素な因数分解を意味する。IEEE Trans. Autom. Control, 34(4):435–443, 1989
  8. ^ ab Eduardo D. SontagとYuan Wang . 入力-状態安定性の新しい特徴づけ. IEEE Trans. Autom. Control, 41(9):1283–1294, 1996.
  9. ^ ab Eduardo D. SontagとYuan Wang . 入力状態安定性特性の特徴づけについて Archived 2013-07-03 at the Wayback Machine . Systems Control Lett., 24(5):351–359, 1995.
  10. ^ Andrii MironchenkoとFabian Wirth. 無限次元システムの入力-状態安定性の特性評価. IEEE Trans. Autom. Control, 63(6): 1602-1617, 2018.
  11. ^ Zhong-Ping Jiang, Iven MY Mareels, Yuan Wang . 相互接続されたISSシステムにおける非線形小ゲイン定理のLyapunov定式化. Automatica J. IFAC, 32(8):1211–1215, 1996.
  12. ^ Sergey Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth. ISSシステムのネットワークに対するISSリアプノフ関数. 第17回国際ネットワークシステム数理理論シンポジウム(MTNS)論文集, 京都, 2006年7月24日~28日, 77~82ページ
  13. ^ Eduardo D. Sontagと Yuan Wang著「入力状態安定性特性の特徴づけについて」Systems Control Lett., 24(5):351–359, 1995の注釈2.4を参照
  14. ^エドゥアルド・D・ソンタグと ユアン・ワン著「入力状態安定性の新しい特徴づけ」の補題I.1、p.1285。IEEE Trans. Autom. Control, 41(9):1283–1294, 1996
  15. ^ Lars Grüne. 入力状態間の動的安定性とそのリャプノフ関数による特徴づけ. IEEE Trans. Autom. Control, 47(9):1499–1504, 2002.
  16. ^ Z.-P. Jiang, AR Teel, L. Praly. ISSシステムとその応用における小ゲイン定理. 数学. 制御信号システム, 7(2):95–120, 1994.
  17. ^ Andrew R. Teel. Razumikhin型定理とISS非線形微小ゲイン定理の関係. IEEE Trans. Autom. Control, 43(7):960–964, 1998.
  18. ^ P. PepeとZ.-P. Jiang. 時間遅延システムのISSとiISSのためのLyapunov-Krasovskii法. Systems Control Lett., 55(12):1006–1014, 2006.
  19. ^ イアッソン・カラフィリス. 遅延関数微分方程式で記述されるシステムのリアプノフ定理. 非線形解析:理論、方法、応用, 64(3):590 – 617, 2006.
  20. ^ Yuandan Lin、Yuan Wang、Daizhan Cheng. 時間変動システムにおける非一様および半一様入力-状態安定性について。IFAC世界会議、プラハ、2005年。
  21. ^ Chaohong CaiとAndrew R. Teel. ハイブリッドシステムの入力-状態安定性の特性評価. Systems & Control Letters, 58(1):47–53, 2009.
  22. ^ D. Nesic、AR Teel. ハイブリッドISSシステムのためのリアプノフに基づく小ゲイン定理. 第47回IEEE意思決定制御会議論文集、メキシコ、カンクン、2008年12月9日~11日、3380~3385ページ、2008年。
  23. ^ Bayu Jayawardhana, Hartmut Logemann, Eugene P. Ryan. 無限次元フィードバックシステム:円周基準と入力状態安定性. Commun. Inf. Syst., 8(4):413–414, 2008.
  24. ^ Dashkovskiy, Sergey; Mironchenko, Andrii (2013). 「無限次元制御システムの入力-状態安定性」.制御・信号・システム数学. 25 : 1– 35. arXiv : 1202.3325 . doi :10.1007/s00498-012-0090-2.
  25. ^ F. Mazenc、C. Prieur. 半線形放物型偏微分方程式に対する厳密なリアプノフ関数. Mathematical Control and Related Fields, 1:231–250, 2011年6月.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Input-to-state_stability&oldid=1330301267"