[論文レビュー] On Synchronization of Dynamical Systems over Directed Switching Topologies: An Algebraic and Geometric Perspective

Jiahu Qin, Qichao Ma+2 more|arXiv (Cornell University)|Jul 20, 2018

Nonlinear Dynamics and Pattern Formation参考文献 31被引用数 5

ひとこと要約

本稿では、有向でスイッチングするトポロジー上での一般線形およびリプシッツ非線形力学系における同期の分析のための統一的代数的・幾何的枠組みを提示する。線形ケースではラプラシアン行列の非ゼロ固有空間が張る部分空間へシステム状態を射影し、非線形ケースではリプシッツ性を保つ不変部分空間へ射影することで、同期問題を各部分空間における収束解析に還元する。共同連結性と弱いシステム条件の下で、グローバル同期を証明する。これには、部分状態結合線形系に対する検証可能な条件と、非線形系における結合強度の閾値が含まれる。

ABSTRACT

In this paper, we aim to investigate the synchronization problem of dynamical systems, which can be of generic linear or Lipschitz nonlinear type, communicating over directed switching network topologies. A mild connectivity assumption on the switching topologies is imposed, which allows them to be directed and jointly connected. We propose a novel analysis framework from both algebraic and geometric perspectives to justify the attractiveness of the synchronization manifold. Specifically, it is proven that the complementary space of the synchronization manifold can be spanned by certain subspaces. These subspaces can be the eigenspaces of the nonzero eigenvalues of Laplacian matrices in linear case. They can also be subspaces in which the projection of the nonlinear self-dynamics still retains the Lipschitz property. This allows to project the states of the dynamical systems into these subspaces and transform the synchronization problem under consideration equivalently into a convergence one of the projected states in each subspace. Then, assuming the joint connectivity condition on the communication topologies, we are able to work out a simple yet effective and unified convergence analysis for both types of dynamical systems. More specifically, for partial-state coupled generic linear systems, it is proven that synchronization can be reached if an extra condition, which is easy to verify in several cases, on the system dynamics is satisfied. For Lipschitz-type nonlinear systems with positive-definite inner coupling matrix, synchronization is realized if the coupling strength is strong enough to stabilize the evolution of the projected states in each subspace under certain conditions.

研究の動機と目的

• 有向でスイッチングする通信トポロジー上での一般線形およびリプシッツ非線形系における同期の未解決問題に取り組む。
• 非収束的スイッチング部分系において従来のリャプノフ法および収縮法に限界がある状況を克服する統一的分析枠組みを構築する。
• グローバル同期の十分条件を、検証可能かつシステムタイプに一般化可能な形で確立する。
• スイッチングトポロジー、結合強度、およびシステムダイナミクスが同期挙動に与える影響を明確化する。

提案手法

• 同期多様体とその補空間への状態空間の新規分解を導入する。線形ケースでは、非ゼロラプラシアン固有値の固有空間が張る部分空間を補空間とする。
• 非線形系では、非線形自己ダイナミクスの射影がリプシッツ性を保つ部分空間を特定し、各部分空間における同等の収束解析を可能にする。
• 幾何的射影技術を用いて、グローバル同期問題を各補空間における局所的収束問題に変換する。
• スイッチングトポロジーの共同連結性を弱い仮定として用い、補空間ダイナミクスが時間とともにゼロに収束することを保証する。
• 各部分空間における射影状態の時間発展を解析することで、線形および非線形系に共通する統一的収束解析戦略を適用する。
• 明示的な条件を導出する：部分状態結合線形系に対する検証可能なシステム理論的条件と、正定値内結合行列を有するリプシッツ非線形系に対する結合強度の閾値。

実験結果

リサーチクエスチョン

• RQ1 部分状態結合線形系が有向でスイッチングするトポロジー上での同期を達成する条件は何か？
• RQ2 リプシッツ非線形系の同期問題は、不変部分空間における収束問題にどのように還元できるか？
• RQ3 スイッチングトポロジーの共同連結性が、個々のトポロジーが連結でない場合でも同期を保証するために果たす役割は何か？
• RQ4 システムダイナミクス、結合強度、およびトポロジーのスイッチング方式が、同期多様体への収束にどのように寄与するか？
• RQ5 同一の理論的基盤の下で線形および非線形系を分析できる統一枠組みを開発可能か？

主な発見

• 部分状態結合一般線形系では、システムダイナミクスに関する単純で検証可能な条件を満たせば、個々のラプラシアン行列に複数のゼロ固有値が存在しても同期が保証される。
• 正定値内結合行列を有するリプシッツ型非線形系では、結合強度が各補空間における射影ダイナミクスを安定化する閾値を超えると同期が達成される。
• 同期多様体の補空間は、システムダイナミクスの構造的性質を保つ部分空間で張られる。線形ケースでは固有空間、非線形ケースではリプシッツ不変部分空間である。
• 本フレームワークは、線形および非線形系の解析を一つの代数的・幾何的視点で統一することで、既存の結果を一般化する。
• 背理法と有向グラフ構造解析に基づく証明技法により、グラフ成分の排他的および共通部分のいずれにおいても不一致がゼロであるならば、すべてのエージェントが同一状態に到達することが示された。
• 共同連結性条件におけるグラフの出現順序は同期結果に影響しない。これは、スイッチング順序に対して強い耐性を示している。