[論文レビュー] Non-Euclidean Contraction Theory via Semi-Inner Products.

A. S. Davydov, Saber Jafarpour+1 more|arXiv (Cornell University)|Mar 23, 2021

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

ひとこと要約

本稿では、ℓ₁およびℓ∞などの非ユークリッドノルムへの拡張を可能にするために、弱い半内積（WSIP）を導入し、収縮理論を拡張する。収縮のための5つの同等な特徴付け（片側リプシッツ連続性や一般化されたデミドビチ条件を含む）を提供する。収縮系における増分安定性および入力-状態安定性を確立し、接続された系の階層的解析を可能にする。

ABSTRACT

In this paper, we study necessary and sufficient conditions for contraction and incremental stability of dynamical systems with respect to non-Euclidean norms. First, generalizing Lumer semi-inner products, we introduce weak semi-inner products (WSIPs), and characterize their properties. We introduce and study the sign and max WSIPs for the $\ell_{1}$ and $\ell_{\infty}$ norms, respectively. Using WSIPs, we then establish five equivalent characterizations for contraction, including one-sided Lipschitz continuity of the vector field as well as matrix measure and generalized Demidovich conditions for the corresponding Jacobian. Third, we extend our contraction framework in two directions: we prove equivalences for contraction of continuous vector fields and we formalize the weaker notion of equilibrium contraction, which ensures exponential convergence to a given equilibrium. Finally, as an application of the general theory, we provide (i) incremental input-to-state stability and finite input-state gain properties for contracting systems, and (ii) a hierarchical analysis approach to establish contraction properties for interconnected systems.

研究の動機と目的

• 非ユークリッドノルム（例：ℓ₁およびℓ∞）に適用可能な収縮理論の枠組みを構築すること。
• Lumer半内積を一般化し、明確に特徴づけられた性質を持つ弱い半内積（WSIP）を導入すること。
• 収縮のための同等な条件を確立すること。これには、ベクトル場の片側リプシッツ連続性およびヤコビ行列に関する行列のノルムに基づく基準が含まれる。
• 均衡収縮を形式的に定義し、特定の均衡への指数的収束を保証するものとすること。連続ベクトル場への理論の拡張も行う。
• 本フレームワークを用いて、収縮系における増分入力-状態安定性および有限の入力-状態利得を証明し、接続された系の階層的解析を可能にすること。

提案手法

• 非ユークリッドノルムに適した弱い半内積（WSIP）を、Lumer半内積の一般化として導入する。
• ℓ₁およびℓ∞ノルムのそれぞれに対して、符号および最大値のWSIPを定義・分析し、滑らかでない設定における方向微分を捉える。
• 片側リプシッツ連続性のベクトル場に関する条件およびヤコビ行列に関する一般化されたデミドビチ条件を含む、収縮の5つの同等な特徴付けを導出する。
• 新しいWSIP枠組み下で、収縮と均衡への指数的収束との間の同等性を確立する。
• 理論を連続ベクトル場へ拡張し、均衡収縮を、より弱いが十分な安定化条件として定義する。
• フレームワークを用いて、収縮系における増分入力-状態安定性および有限の入力-状態利得を証明し、接続された系のための階層的解析手法を開発する。

実験結果

リサーチクエスチョン

• RQ1 ℓ₁およびℓ∞などの非ユークリッドノルム下で、動的システムの収縮を保証する条件は何か？
• RQ2 ユークリッド幾何学を超えた収縮解析を可能にするために、半内積をどのように一般化できるか？
• RQ3 非ユークリッドノルム下で、ベクトル場の性質およびヤコビ行列の条件に関して、収縮の同等な特徴付けは何か？
• RQ4 均衡収縮を形式的に定義・特徴づけ、特定の均衡への指数的収束を保証できるか？
• RQ5 理論を接続された系へ拡張し、有限利得を伴う入力-状態安定性を確立するためにどのように利用できるか？

主な発見

• 弱い半内積（WSIP）の導入により、ℓ₁およびℓ∞を含む非ユークリッドノルムにおける厳密な収縮解析が可能になった。
• 片側リプシッツ連続性のベクトル場に関する条件およびヤコビ行列に関する一般化されたデミドビチ条件を含む、収縮の5つの同等な条件が確立された。
• 均衡収縮は、特定の均衡への指数的収束を保証する弱いが十分な条件として形式化され、収縮理論の適用範囲が拡張された。
• 本フレームワークにより、非ユークリッドノルム下での収縮系における増分入力-状態安定性および有限の入力-状態利得が証明された。
• 提案されたWSIPに基づく基準を用いて、接続された系における収縮を検証するための階層的解析手法が開発された。
• 理論は連続ベクトル場へ拡張され、滑らかでない系への適用範囲が広がった。