外部入力を伴う非線形制御システムの安定性の概念
入力状態安定性(ISS) [1] [2] [3] [4] [5] [6]は、外部入力を持つ非線形 制御系 の安定性を研究するために広く用いられている安定性の概念です 。大まかに言えば、外部入力がない場合に大域的に漸近安定であり、かつ十分に大きな時間に対してその軌跡が入力の大きさの関数で制限される場合、制御系はISSです。ISSの重要性は、この概念が 制御系コミュニティで広く用いられている
入出力法と 状態空間法の間のギャップを埋めてきたという事実によるものです
ISSは、リアプノフ安定性理論と入出力安定性理論を統合し、非線形システムの安定化、ロバスト非線形 オブザーバ の設計、非線形相互接続制御システムの安定性、非線形 検出可能性 理論、そして監視 適応制御 に関する私たちの考え方に革命をもたらしました。これにより、ISSは 非線形制御 理論における支配的な安定性パラダイムとなり、ロボット工学、 メカトロニクス 、 システム生物学 、電気工学、航空宇宙工学など、多岐にわたる分野で応用されています。
ISSの概念は、 1989年に エドゥアルド・ソンタグによって常微分方程式で記述されるシステムのために導入されました 。[7]
それ以来、この概念は偏微分方程式に従うシステム、遅延システム、ハイブリッドシステムなどを含む他の多くのクラスの制御システムにうまく適用されました。 [5]
定義 次の形式の 時間不変 常微分方程式系を考える
× ˙ = f ( × 、 u ) 、 × ( t ) ∈ R n 、 {\displaystyle {\dot {x}}=f(x,u),\ x(t)\in \mathbb {R} ^{n},} 1
ここで 、は ルベーグ可測で 本質的に有界な 外部入力であり、は第1引数に関して リプシッツ連続 関数であり、第2引数に関して一様である。これにより 、システム( 1 )
の唯一の 絶対連続 解が存在することが保証される u : R + → R m {\displaystyle u:\mathbb{R}_{+}\to\mathbb{R}^{m}} f {\displaystyle f}
ISSと関連する性質を定義するために、以下の 比較関数 のクラスを利用します。 を の連続増加関数の集合 で 、 を の 連続厳密減少関数の集合 で表します。すると 、 をすべての に対して、 のすべての に対して 、 の関数として 表すことができます 。 K {\displaystyle {\mathcal {K}}} γ : R + → R + {\displaystyle \gamma :\mathbb {R} _{+}\to \mathbb {R} _{+}} γ ( 0 ) = 0 {\displaystyle \gamma (0)=0} L {\displaystyle {\mathcal {L}}} γ : R + → R + {\displaystyle \gamma :\mathbb {R} _{+}\to \mathbb {R} _{+}} lim r → ∞ γ ( r ) = 0 {\displaystyle \lim_{r\to \infty}\gamma (r)=0} β ∈ K L {\displaystyle \beta \in {\mathcal {K}}{\mathcal {L}}} β ( ⋅ 、 t ) ∈ K {\displaystyle \beta (\cdot ,t)\in {\mathcal {K}}} t ≥ 0 {\displaystyle t\geq 0} β ( r , ⋅ ) ∈ L {\displaystyle \beta (r,\cdot )\in {\mathcal {L}}} r > 0 {\displaystyle r>0}
システム( 1 )は、対応するシステムがゼロ入力を持つ場合、 ゼロで大域漸近安定(0−GAS) と呼ばれる。
x ˙ = f ( x , 0 ) , x ( t ) ∈ R n , {\displaystyle {\dot {x}}=f(x,0),\ x(t)\in \mathbb {R} ^{n},} 入力なし
は大域的に 漸近安定で あり、すなわち、すべての初期値 とすべての時間に対して 、次の推定値が( WithoutInputs )
の解に対して有効となるような ものが存在する。 β ∈ K L {\displaystyle \beta \in {\mathcal {K}}{\mathcal {L}}} x 0 {\displaystyle x_{0}} t ≥ 0 {\displaystyle t\geq 0}
| x ( t ) | ≤ β ( | x 0 | , t ) . {\displaystyle |x(t)|\leq \beta (|x_{0}|,t).} GAS推定
システム( 1 )は、関数が存在し 、 すべての初期値 、すべての許容入力 、およびすべての時間に対して、 次の不等式が成り立つ
場合 、入力状態安定(ISS) と呼ばれます γ ∈ K {\displaystyle \gamma \in {\mathcal {K}}} β ∈ K L {\displaystyle \beta \in {\mathcal {K}}{\mathcal {L}}} x 0 {\displaystyle x_{0}} u {\displaystyle u} t ≥ 0 {\displaystyle t\geq 0}
| x ( t ) | ≤ β ( | x 0 | , t ) + γ ( ‖ u ‖ ∞ ) . {\displaystyle |x(t)|\leq \beta (|x_{0}|,t)+\gamma (\|u\|_{\infty }).} 2
上記の不等式の 関数 は ゲイン と
呼ばれます γ {\displaystyle \gamma }
明らかに、ISSシステムは0-GAS安定かつ BIBO安定 です(出力をシステムの状態と等しくした場合)。逆の含意は一般には当てはまりません。
の 場合には となることも証明できます 。 lim t → ∞ | u ( t ) | = 0 {\displaystyle \lim _{t\rightarrow \infty }|u(t)|=0} lim t → ∞ | x ( t ) | = 0 {\displaystyle \lim _{t\rightarrow \infty }|x(t)|=0}
ISS を理解するには、他の安定性特性の観点から ISS を再述べることが非常に重要です。
システム( 1 )は 、 が 存在し 、 かつ 、 γ , σ ∈ K {\displaystyle \gamma ,\sigma \in {\mathcal {K}}} ∀ x 0 {\displaystyle \forall x_{0}} ∀ u {\displaystyle \forall u} ∀ t ≥ 0 {\displaystyle \forall t\geq 0}
| x ( t ) | ≤ σ ( | x 0 | ) + γ ( ‖ u ‖ ∞ ) . {\displaystyle |x(t)|\leq \sigma (|x_{0}|)+\gamma (\|u\|_{\infty }).} GS
システム( 1 )は 、 次が存在する場合 、 漸近的ゲイン(AG)特性 を満たす γ ∈ K {\displaystyle \gamma \in {\mathcal {K}}} ∀ x 0 {\displaystyle \forall x_{0}} ∀ u {\displaystyle \forall u}
lim sup t → ∞ | x ( t ) | ≤ γ ( ‖ u ‖ ∞ ) . {\displaystyle \limsup _{t\to \infty }|x(t)|\leq \gamma (\|u\|_{\infty }).} AG
以下の文は、十分に正則な右辺 [8]に対して同値である f {\displaystyle f}
1. ( 1 )はISS
2. ( 1 )はGSであり、AG特性を持つ
3. ( 1 )は0-GASであり、AG特性を持つ
この結果の証明とISSの他の多くの特徴付けは論文 [8] と [9] で見ることができます。
右辺の正則性に関する非常に緩い制約の下で有効であり 、より一般的な無限次元システムに適用可能なISSの他の特徴付けは [10]で示されています。 f {\displaystyle f}
ISS-リャプノフ関数 ISSの検証に重要なツールは、ISS-リャプノフ関数です
滑らかな関数は、( 1 )および の ときISS-リャプノフ関数と呼ばれる 。 V : R n → R + {\displaystyle V:\mathbb {R} ^{n}\to \mathbb {R} _{+}} ∃ ψ 1 , ψ 2 ∈ K ∞ {\displaystyle \exists \psi _{1},\psi _{2}\in {\mathcal {K}}_{\infty }} α , χ ∈ K {\displaystyle \alpha ,\chi \in {\mathcal {K}}}
ψ 1 ( | x | ) ≤ V ( x ) ≤ ψ 2 ( | x | ) , ∀ x ∈ R n {\displaystyle \psi _{1}(|x|)\leq V(x)\leq \psi _{2}(|x|),\quad \forall x\in \mathbb {R} ^{n}} そして それは成り立ちます: ∀ x ∈ R n , ∀ u ∈ R m {\displaystyle \forall x\in \mathbb {R} ^{n},\;\forall u\in \mathbb {R} ^{m}}
| x | ≥ χ ( | u | ) ⇒ ∇ V ⋅ f ( x , u ) ≤ − α ( | x | ) , {\displaystyle |x|\geq \chi (|u|)\ \Rightarrow \ \nabla V\cdot f(x,u)\leq -\alpha (|x|),} この関数は リアプノフゲイン と呼ばれます 。 χ {\displaystyle \chi }
システム( 1 )に入力がない場合(すなわち、 )最後の含意は条件 u ≡ 0 {\displaystyle u\equiv 0}
∇ V ⋅ f ( x , u ) ≤ − α ( | x | ) , ∀ x ≠ 0 , {\displaystyle \nabla V\cdot f(x,u)\leq -\alpha (|x|),\ \forall x\neq 0,} これは、 が「古典的な」 リャプノフ関数 であることを示しています。 V {\displaystyle V}
E.ソンタグとY.ワンによる重要な結果は、システム( 1 )がISSであるためには、それに対する滑らかなISS-リャプノフ関数が存在するということである。 [9]
例 あるシステムを考えてみましょう
x ˙ = − x 3 + u x 2 . {\displaystyle {\dot {x}}=-x^{3}+ux^{2}.} 候補となるISS-リャプノフ関数を 次のように
定義する。 V : R → R + {\displaystyle V:\mathbb {R} \to \mathbb {R} _{+}} V ( x ) = 1 2 x 2 , ∀ x ∈ R . {\displaystyle V(x)={\frac {1}{2}}x^{2},\quad \forall x\in \mathbb {R} .}
V ˙ ( x ) = ∇ V ⋅ ( − x 3 + u x 2 ) = − x 4 + u x 3 . {\displaystyle {\dot {V}}(x)=\nabla V\cdot (-x^{3}+ux^{2})=-x^{4}+ux^{3}.}
リャプノフゲインを選択 する χ {\displaystyle \chi }
χ ( r ) := 1 1 − ϵ r {\displaystyle \chi (r):={\frac {1}{1-\epsilon }}r} 。 すると、が成り立つ ことがわかります。 x , u : | x | ≥ χ ( | u | ) {\displaystyle x,u:\ |x|\geq \chi (|u|)}
V ˙ ( x ) ≤ − | x | 4 + ( 1 − ϵ ) | x | 4 = − ϵ | x | 4 . {\displaystyle {\dot {V}}(x)\leq -|x|^{4}+(1-\epsilon )|x|^{4}=-\epsilon |x|^{4}.} これは、 が、リャプノフゲインを持つ対象のシステムのISS-リャプノフ関数であることを示して い ます V {\displaystyle V} χ {\displaystyle \chi }
ISSシステムの相互接続 ISS フレームワークの主な機能の 1 つは、入力から状態までの安定したシステムの相互接続の安定性特性を研究できることです。
次式で表されるシステムを考える。
{ x ˙ i = f i ( x 1 , … , x n , u ) , i = 1 , … , n . {\displaystyle \left\{{\begin{array}{l}{\dot {x}}_{i}=f_{i}(x_{1},\ldots ,x_{n},u),\\i=1,\ldots ,n.\end{array}}\right.} 全体システム
ここで 、、 およびは、 番目のサブシステム からの入力に関して一様 リプシッツ連続です u ∈ L ∞ ( R + , R m ) {\displaystyle u\in L_{\infty }(\mathbb {R} _{+},\mathbb {R} ^{m})} x i ( t ) ∈ R p i {\displaystyle x_{i}(t)\in \mathbb {R} ^{p_{i}}} f i {\displaystyle f_{i}} x i {\displaystyle x_{i}} i {\displaystyle i}
( WholeSys )の -番目のサブシステムの場合、 ISS-Lyapunov関数の定義は次のように記述できます。 i {\displaystyle i}
滑らかな関数とは、関数 、 、 、 および 正定値関数 が存在し 、次の条件を満たす
場合、 ( WholeSys ) の 番目のサブシステムの ISS-Lyapunov 関数 (ISS-LF) です。 V i : R p i → R + {\displaystyle V_{i}:\mathbb {R} ^{p_{i}}\to \mathbb {R} _{+}} i {\displaystyle i} ψ i 1 , ψ i 2 ∈ K ∞ {\displaystyle \psi _{i1},\psi _{i2}\in {\mathcal {K}}_{\infty }} χ i j , χ i ∈ K {\displaystyle \chi _{ij},\chi _{i}\in {\mathcal {K}}} j = 1 , … , n {\displaystyle j=1,\ldots ,n} j ≠ i {\displaystyle j\neq i} χ i i := 0 {\displaystyle \chi _{ii}:=0} α i {\displaystyle \alpha _{i}}
ψ i 1 ( | x i | ) ≤ V i ( x i ) ≤ ψ i 2 ( | x i | ) , ∀ x i ∈ R p i {\displaystyle \psi _{i1}(|x_{i}|)\leq V_{i}(x_{i})\leq \psi _{i2}(|x_{i}|),\quad \forall x_{i}\in \mathbb {R} ^{p_{i}}} そして それは ∀ x i ∈ R p i , ∀ u ∈ R m {\displaystyle \forall x_{i}\in \mathbb {R} ^{p_{i}},\;\forall u\in \mathbb {R} ^{m}}
V i ( x i ) ≥ max { max j = 1 n χ i j ( V j ( x j ) ) , χ i ( | u | ) } ⇒ ∇ V i ( x i ) ⋅ f i ( x 1 , … , x n , u ) ≤ − α i ( V i ( x i ) ) . {\displaystyle V_{i}(x_{i})\geq \max\{\max _{j=1}^{n}\chi _{ij}(V_{j}(x_{j})),\chi _{i}(|u|)\}\ \Rightarrow \ \nabla V_{i}(x_{i})\cdot f_{i}(x_{1},\ldots ,x_{n},u)\leq -\alpha _{i}(V_{i}(x_{i})).}
カスケード相互接続 カスケード相互接続は、-番目のサブシステムのダイナミクスが サブシステムの状態に依存しない特殊なタイプの相互接続です 。正式には、カスケード相互接続は次のように記述できます i {\displaystyle i} 1 , … , i − 1 {\displaystyle 1,\ldots ,i-1}
{ x ˙ i = f i ( x i , … , x n , u ) , i = 1 , … , n . {\displaystyle \left\{{\begin{array}{l}{\dot {x}}_{i}=f_{i}(x_{i},\ldots ,x_{n},u),\\i=1,\ldots ,n.\end{array}}\right.} 上記システムのすべてのサブシステムがISSである場合、カスケード相互接続全体もISSである。 [7] [4]
ISSシステムのカスケード接続とは対照的に、0-GASシステムのカスケード接続は一般に0-GASではありません。次の例はこの事実を示しています。次に示すシステムを考えてみましょう。
{ x ˙ = − x + y x 2 , y ˙ = − y . {\displaystyle \left\{{\begin{array}{l}{\dot {x}}=-x+yx^{2},\\{\dot {y}}=-y.\end{array}}\right.} Ex_GAS
この系の両方のサブシステムは0-GASですが、十分に大きな初期状態 とある有限時間に対しては 成り立ちます 。 つまり、系( Ex_GAS )は有限の脱出時間を示し、したがって0-GASではありません ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} t ∗ {\displaystyle t^{*}} x ( t ) → ∞ {\displaystyle x(t)\to \infty } t → t ∗ {\displaystyle t\to t^{*}}
フィードバック相互接続 サブシステムの相互接続構造は、内部リアプノフゲインによって特徴付けられます 。相互接続( WholeSys )がISSであるかどうかは、次のように定義される ゲイン演算子 の特性に依存します χ i j {\displaystyle \chi _{ij}} Γ : R + n → R + n {\displaystyle \Gamma :\mathbb {R} _{+}^{n}\rightarrow \mathbb {R} _{+}^{n}}
Γ ( s ) := ( max j = 1 n χ 1 j ( s j ) , … , max j = 1 n χ n j ( s j ) ) , s ∈ R + n . {\displaystyle \Gamma (s):=\left(\max _{j=1}^{n}\chi _{1j}(s_{j}),\ldots ,\max _{j=1}^{n}\chi _{nj}(s_{j})\right),\ s\in \mathbb {R} _{+}^{n}.} 以下の 小ゲイン定理は、 ISS システムの相互接続におけるISSの十分条件を確立する。WholeSys の 番目のサブシステム に対するISS-リャプノフ関数を、 対応するゲイン 、とする 。非線形 小ゲイン条件が V i {\displaystyle V_{i}} i {\displaystyle i} χ i j {\displaystyle \chi _{ij}} i = 1 , … , n {\displaystyle i=1,\ldots ,n}
Γ ( s ) ≱ s , ∀ s ∈ R + n ∖ { 0 } {\displaystyle \Gamma (s)\not \geq s,\ \forall \ s\in \mathbb {R} _{+}^{n}\backslash \left\{0\right\}} SGC
が成立する場合、相互接続全体はISSです。 [11] [12]
スモールゲイン条件( SGC )は、 の各サイクル に対して のときのみ成立し (つまり 、のすべての に対して成立し 、 のすべての に対して 成立する
)、 Γ {\displaystyle \Gamma } ( k 1 , . . . , k p ) ∈ { 1 , . . . , n } p {\displaystyle (k_{1},...,k_{p})\in \{1,...,n\}^{p}} k 1 = k p {\displaystyle k_{1}=k_{p}} s > 0 {\displaystyle s>0}
γ k 1 k 2 ∘ γ k 2 k 3 ∘ … ∘ γ k p − 1 k p ( s ) < s . {\displaystyle \gamma _{k_{1}k_{2}}\circ \gamma _{k_{2}k_{3}}\circ \ldots \circ \gamma _{k_{p-1}k_{p}}(s)<s.} この形式の小ゲイン条件は、巡回小ゲイン条件とも呼ばれます。
積分ISS (iISS) システム( 1 )は、関数が存在し、 すべての初期値 、すべての許容入力 、およびすべての時間に対して、 次の不等式が成り立つ 場合、積分入力状態安定(ISS)と呼ばれます α , γ ∈ K {\displaystyle \alpha ,\gamma \in {\mathcal {K}}} β ∈ K L {\displaystyle \beta \in {\mathcal {K}}{\mathcal {L}}} x 0 {\displaystyle x_{0}} u {\displaystyle u} t ≥ 0 {\displaystyle t\geq 0}
α ( | x ( t ) | ) ≤ β ( | x 0 | , t ) + ∫ 0 t γ ( | u ( s ) | ) d s . {\displaystyle \alpha (|x(t)|)\leq \beta (|x_{0}|,t)+\int _{0}^{t}\gamma (|u(s)|)ds.} 3
ISSシステムとは対照的に、システムが積分ISSである場合、その軌道は有界入力に対しても有界にならない可能性があります。これを確かめるために、 すべての場合についてを置き 、を取ります 。すると、推定値( 3 )は次の形になります α ( r ) = γ ( r ) = r {\displaystyle \alpha (r)=\gamma (r)=r} r ≥ 0 {\displaystyle r\geq 0} u ≡ c = c o n s t {\displaystyle u\equiv c=const}
| x ( t ) | ≤ β ( | x 0 | , t ) + ∫ 0 t c d s = β ( | x 0 | , t ) + c t , {\displaystyle |x(t)|\leq \beta (|x_{0}|,t)+\int _{0}^{t}cds=\beta (|x_{0}|,t)+ct,} そして、右側の辺は として無限大に増大します 。 t → ∞ {\displaystyle t\to \infty }
ISS フレームワークと同様に、リャプノフ法は iISS 理論において中心的な役割を果たします。
滑らかな関数は、( 1 ) のiISS-リャプノフ関数と呼ばれ 、 正定値関数は 、 次のようになります。 V : R n → R + {\displaystyle V:\mathbb {R} ^{n}\to \mathbb {R} _{+}} ∃ ψ 1 , ψ 2 ∈ K ∞ {\displaystyle \exists \psi _{1},\psi _{2}\in {\mathcal {K}}_{\infty }} χ ∈ K {\displaystyle \chi \in {\mathcal {K}}} α {\displaystyle \alpha }
ψ 1 ( | x | ) ≤ V ( x ) ≤ ψ 2 ( | x | ) , ∀ x ∈ R n {\displaystyle \psi _{1}(|x|)\leq V(x)\leq \psi _{2}(|x|),\quad \forall x\in \mathbb {R} ^{n}} そして それは成り立ちます: ∀ x ∈ R n , ∀ u ∈ R m {\displaystyle \forall x\in \mathbb {R} ^{n},\;\forall u\in \mathbb {R} ^{m}}
V ˙ = ∇ V ⋅ f ( x , u ) ≤ − α ( | x | ) + γ ( | u | ) . {\displaystyle {\dot {V}}=\nabla V\cdot f(x,u)\leq -\alpha (|x|)+\gamma (|u|).} D. Angeli、E. Sontag、Y. Wangによる重要な結果は、システム( 1 )が積分ISSであるためには、それに対するiISS-Lyapunov関数が存在するということである。
上記の式では、は 正定値 のみであると仮定されていることに注意してください 。 が のiISS-リャプノフ関数である 場合 、 は実際にはシステム( 1 )のISS-リャプノフ関数であることが [13] で簡単に証明できます。 α {\displaystyle \alpha } V {\displaystyle V} α ∈ K ∞ {\displaystyle \alpha \in {\mathcal {K}}_{\infty }} V {\displaystyle V}
これは特に、すべてのISSシステムが積分ISSであることを示しています。逆の含意は真ではありません。次の例が示すように。
x ˙ = − arctan x + u . {\displaystyle {\dot {x}}=-\arctan {x}+u.} このシステムはISSではない。なぜなら、十分に大きな入力に対しては軌道が非有界となるからである。しかし、これは積分ISSであり、iISS-リャプノフ関数は 次のように定義される。 V {\displaystyle V}
V ( x ) = x arctan x . {\displaystyle V(x)=x\arctan {x}.}
局所ISS(LISS) ISS特性の局所バージョンも重要な役割を果たします。定数 と関数
が存在する場合 、システム( 1 )は 局所ISS(LISS) と呼ばれます ρ > 0 {\displaystyle \rho >0}
γ ∈ K {\displaystyle \gamma \in {\mathcal {K}}} そして 、 すべての 、すべての許容入力 とすべての時間 に対して、 β ∈ K L {\displaystyle \beta \in {\mathcal {K}}{\mathcal {L}}} x 0 ∈ R n : | x 0 | ≤ ρ {\displaystyle x_{0}\in \mathbb {R} ^{n}:\;|x_{0}|\leq \rho } u : ‖ u ‖ ∞ ≤ ρ {\displaystyle u:\|u\|_{\infty }\leq \rho } t ≥ 0 {\displaystyle t\geq 0}
| x ( t ) | ≤ β ( | x 0 | , t ) + γ ( ‖ u ‖ ∞ ) . {\displaystyle |x(t)|\leq \beta (|x_{0}|,t)+\gamma (\|u\|_{\infty }).} 4
興味深い観察結果は、0-GASがLISSを意味することです。 [14]
その他の安定性の概念 ISSに関連する安定性の概念は他にも多く導入されています。増分ISS、入力状態動的安定性(ISDS) [15] 、入力状態実用安定性(ISpS)、入力出力安定性(IOS) [16] などです
時間遅延システムのISS 時間不変の 時間遅延システムを考える
x ˙ ( t ) = f ( x t , u ( t ) ) , t > 0. {\displaystyle {\dot {x}}(t)=f(x^{t},u(t)),\quad t>0.} TDS
ここでは、 時刻 における システム ( TDS ) の状態が示されており、 システム ( TDS ) の解の存在と一意性を保証するために特定の仮定を満たしています 。 x t ∈ C ( [ − θ , 0 ] ; R N ) {\displaystyle x^{t}\in C([-\theta ,0];\mathbb {R} ^{N})} t {\displaystyle t} x t ( τ ) = x ( t + τ ) , τ ∈ [ − θ , 0 ] {\displaystyle x^{t}(\tau )=x(t+\tau ),\ \tau \in [-\theta ,0]} f : C ( [ − θ , 0 ] ; R N ) × R m {\displaystyle f:C([-\theta ,0];\mathbb {R} ^{N})\times \mathbb {R} ^{m}}
システム( TDS )がISSである場合、関数とが存在し 、 すべての 、すべての許容入力 、すべてのに対して 、次の式が成り立つ
場合のみ、 β ∈ K L {\displaystyle \beta \in {\mathcal {KL}}} γ ∈ K {\displaystyle \gamma \in {\mathcal {K}}} ξ ∈ C ( [ − θ , 0 ] , R N ) {\displaystyle \xi \in C(\left[-\theta ,0\right],\mathbb {R} ^{N})} u {\displaystyle u} t ∈ R + {\displaystyle t\in \mathbb {R} _{+}}
| x ( t ) | ≤ β ( ‖ ξ ‖ [ − θ , 0 ] , t ) + γ ( ‖ u ‖ ∞ ) . {\displaystyle \left|x(t)\right|\leq \beta (\left\|\xi \right\|_{\left[-\theta ,0\right]},t)+\gamma (\left\|u\right\|_{\infty }).} ISS-TDS
時間遅れシステムのISS理論では、2つの異なるリアプノフ型十分条件が提案されています。ISSリアプノフ・ラズミキン関数 [17] とISSリアプノフ・クラソフスキー関数 [18] です。時間遅れシステムに関する逆リアプノフ定理については、 [19]を参照してください
他のクラスのシステムのISS 時間不変常微分方程式に基づくシステムの入力から状態への安定性は、かなり発展した理論であり、最近のモノグラフを参照のこと。 [6] しかし、他のクラスのシステムのISS理論も、 時間変動ODEシステム [20] や ハイブリッドシステム [21] に対して研究されている。 [22 ]最近、ISS概念の無限次元システムへの一般化も提案されている。 [23] [24] [3] [25]
外部リンク
ISSに関するセミナーとオンラインリソース オンラインセミナー:入力から状態への安定性とその応用 ISSのYouTubeチャンネル
参考文献 ^ エドゥアルド・D・ソンタグ著『数理制御理論:有限次元システム』シュプリンガー・フェアラーク、ロンドン、1998年 ^ ハッサン・K・カリル「非線形システム」プレンティス・ホール、2002年。 ^ ab Iasson Karafyllis、Zhong-Ping Jiang. 非線形システムの安定性と安定化. 通信および制御工学シリーズ. Springer-Verlag London Ltd.、ロンドン、2011年. ^ ab Eduardo D. Sontag. 状態安定性への入力:基本概念と結果. 非線形および最適制御理論, Lecture Notes in Math. 第1932巻, 163-220ページ, ベルリン, 2008年. Springer ^ ab A. Mironchenko, Ch. Prieur. 無限次元システムの入力から状態への安定性:最近の成果と未解決の問題. SIAM Review, 62(3):529–614, 2020. ^ ab 入力対状態安定性. 通信および制御工学. 2023. doi :10.1007/978-3-031-14674-9. ISBN 978-3-031-14673-2 。 ^ ab Eduardo D. Sontag. 滑らかな安定化は互いに素な因数分解を意味する。IEEE Trans. Autom. Control, 34(4):435–443, 1989 ^ ab Eduardo D. Sontagと Yuan Wang . 入力-状態安定性の新しい特徴づけ. IEEE Trans. Autom. Control, 41(9):1283–1294, 1996. ^ ab Eduardo D. Sontagと Yuan Wang . 入力状態安定性特性の特徴づけについて Archived 2013-07-03 at the Wayback Machine . Systems Control Lett., 24(5):351–359, 1995. ^ Andrii MironchenkoとFabian Wirth. 無限次元システムの入力-状態安定性の特性評価. IEEE Trans. Autom. Control, 63(6): 1602-1617, 2018. ^ Zhong-Ping Jiang, Iven MY Mareels, Yuan Wang . 相互接続されたISSシステムにおける非線形小ゲイン定理のLyapunov定式化. Automatica J. IFAC, 32(8):1211–1215, 1996. ^ Sergey Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth. ISSシステムのネットワークに対するISSリアプノフ関数. 第17回国際ネットワークシステム数理理論シンポジウム(MTNS)論文集, 京都, 2006年7月24日~28日, 77~82ページ ^ Eduardo D. Sontagと Yuan Wang 著「入力状態安定性特性の特徴づけについて」Systems Control Lett., 24(5):351–359, 1995の 注釈2.4を参照 ^エドゥアルド・D・ソンタグと ユアン・ワン 著「入力状態安定性の新しい特徴づけ」の 補題I.1、p.1285。IEEE Trans. Autom. Control, 41(9):1283–1294, 1996 ^ Lars Grüne. 入力状態間の動的安定性とそのリャプノフ関数による特徴づけ. IEEE Trans. Autom. Control, 47(9):1499–1504, 2002. ^ Z.-P. Jiang, AR Teel, L. Praly. ISSシステムとその応用における小ゲイン定理. 数学. 制御信号システム, 7(2):95–120, 1994. ^ Andrew R. Teel. Razumikhin型定理とISS非線形微小ゲイン定理の関係. IEEE Trans. Autom. Control, 43(7):960–964, 1998. ^ P. PepeとZ.-P. Jiang. 時間遅延システムのISSとiISSのためのLyapunov-Krasovskii法. Systems Control Lett., 55(12):1006–1014, 2006. ^ イアッソン・カラフィリス. 遅延関数微分方程式で記述されるシステムのリアプノフ定理. 非線形解析:理論、方法、応用, 64(3):590 – 617, 2006. ^ Yuandan Lin、 Yuan Wang 、Daizhan Cheng. 時間変動システムにおける非一様および半一様入力-状態安定性について。IFAC世界会議、プラハ、2005年。 ^ Chaohong CaiとAndrew R. Teel. ハイブリッドシステムの入力-状態安定性の特性評価. Systems & Control Letters, 58(1):47–53, 2009. ^ D. Nesic、AR Teel. ハイブリッドISSシステムのためのリアプノフに基づく小ゲイン定理. 第47回IEEE意思決定制御会議論文集、メキシコ、カンクン、2008年12月9日~11日、3380~3385ページ、2008年。 ^ Bayu Jayawardhana, Hartmut Logemann, Eugene P. Ryan. 無限次元フィードバックシステム:円周基準と入力状態安定性. Commun. Inf. Syst., 8(4):413–414, 2008. ^ Dashkovskiy, Sergey; Mironchenko, Andrii (2013). 「無限次元制御システムの入力-状態安定性」. 制御・信号・システム数学 . 25 : 1– 35. arXiv : 1202.3325 . doi :10.1007/s00498-012-0090-2. ^ F. Mazenc、C. Prieur. 半線形放物型偏微分方程式に対する厳密なリアプノフ関数. Mathematical Control and Related Fields, 1:231–250, 2011年6月.