[論文レビュー] Robust Connectivity Analysis for Multi-Agent Systems

Dimitris Boskos, Dimos V. Dimarogonas|arXiv (Cornell University)|Mar 24, 2015

Distributed Control Multi-Agent Systems参考文献 13被引用数 5

ひとこと要約

本稿では、有界な外部摂動下でもネットワーク接続性を保証する分散型ロバスト制御フレームワークを提案する。分散フィードバック制御則と有界な自由入力項を組み合わせることで、初期の相互間距離と入力の上限が特定の条件を満たしていれば、将来のすべての時刻において接続性が維持されることを保証し、有限抽象化を用いた信頼性の高い運動計画を可能にする。

ABSTRACT

In this report we provide a decentralized robust control approach, which guarantees that connectivity of a multi-agent network is maintained when certain bounded input terms are added to the control strategy. Our main motivation for this framework is to determine abstractions for multi-agent systems under coupled constraints which are further exploited for high level plan generation.

研究の動機と目的

• 有界な外部入力が存在する状況下でもマルチエージェントシステムにおけるネットワーク接続性を維持する分散制御戦略を開発すること。
• 結合制約が存在するマルチエージェントシステムに対して、適切に定義された有限抽象化を構築すること。
• 有界な摂動下でもロバストな接続性と不変性を保証することで、高レベルの運動計画を支援すること。
• 境界付近に反発性ベクトル場を追加することにより、球面領域へのフレームワークの拡張を図ること。
• 将来のすべての時刻において接続性を保証するための初期相対距離と入力上限に関する明示的条件を提供すること。

提案手法

• 制御則を $ u_i = k_i(x_i, x_{j_1}, \dots, x_{j_{|\mathcal{N}_i|}}) + v_i $ の形で設計し、$ v_i $ を有界な自由入力とする。
• ネットワーク接続性を特徴付けるためにグラフラプラシアンの固有値 $ \lambda_2(\mathcal{G}) $ を用い、相対的エージェント距離の上限を導出する。
• コーシー・シュワルツの不等式と平均成分および偏差成分へのベクトル分解を用いて、エージェント間距離を評価する。
• 球面領域の境界付近に反発性ベクトル場を導入し、解集合の不変性を保ちつつロバストな接続性を維持する。
• 将来のすべての時刻において接続性を保証するための初期相互間距離と入力の大きさの上限に関する十分条件を確立する。
• ラプラシアン行列のスペクトル的性質とエージェント状態の直交分解を活用して、ロバスト性の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 マルチエージェントシステムにおいて、初期相対距離と有界な外部入力がどのような条件下に置かれれば、将来のすべての時刻においてネットワーク接続性が保たれるか？
• RQ2 任意の有界な摂動に対して、ロバストに接続性を維持できる分散制御則はどのように設計できるか？
• RQ3 エージェントが有界な球面領域に制限される場合でも、ロバストな接続性特性は維持可能か？
• RQ4 有界領域における不変性とロバスト接続性を両立させるために、制御則にどのような変更が必要か？
• RQ5 このロバストなフレームワークを用いて、結合制約を有するマルチエージェントシステムのための有限抽象化はどのように構築できるか？

主な発見

• 接続されたエージェント間の初期相対距離と自由入力項の大きさが適切な上限を満たしていれば、将来のすべての時刻においてネットワーク接続性が保証される。
• 初期相互間距離が入力上限に対して十分に大きく、かつ入力信号 $ v_i $ が有界であれば、ロバストな接続性特性がすべての時間で維持される。
• 球面領域の境界付近に反発性ベクトル場を導入することで、解集合の不変性が保たれるとともにロバストな接続性が維持される。
• 本フレームワークにより、単純積分器型マルチエージェントシステムのための有限抽象化が構築可能となり、高レベルの運動計画が可能になる。
• スペクトルグラフ理論とベクトル分解技術を用いて、制御入力と初期条件に関する明示的な上限が導出された。
• 主な結果として、ラプラシアン行列の2番目に小さい固有値 $ \lambda_2(\mathcal{G}) $ が、摂動下での接続性ロバスト性の重要な指標であることが示された。