[論文レビュー] Orientation and Connectivity Based Criteria for Asymptotic Consensus

Bernadette Charron-Bost|arXiv (Cornell University)|Mar 8, 2013

Distributed Control Multi-Agent Systems参考文献 14被引用数 10

ひとこと要約

本稿は、時間変動するトポロジーと有界な通信遅延を伴うマルチエージェントシステムにおける漸近的コンセンサスのための、方向性と接続性に基づく基準を確立する。統一された収束条件を導入し、グラフの方向付けと成分の接続性を用いて、コンセンサスが達成される条件を証明する。通信グラフが方向付けられており、接続成分が特定の構造的性質を満たしている場合に、コンセンサスが達成され、従来の分散協調制御およびコンセンサスアルゴリズムの結果を拡張する。

ABSTRACT

In this article, we establish orientation and connectivity based criteria for the agreement algorithm to achieve asymptotic consensus in the context of time-varying topology and communication delays. These criteria unify and extend many earlier convergence results on the agreement algorithm for deterministic and discrete-time multiagent systems.

研究の動機と目的

• 時間変動するトポロジーと通信遅延を伴うマルチエージェントシステムにおける同意アルゴリズムの既存の収束結果を統一・拡張すること。
• 決定論的で離散時間のマルチエージェントシステムにおける漸近的コンセンサスのための十分条件（グラフの方向付けと接続性に基づく）を同定すること。
• 通信グラフにおける単純な構造的性質を用いて、マルチエージェントシステムの協調的かつ分散型のモデルを形式化すること。
• 一様な手法を用いて収束を証明し、協調的（2次的）と分散型（有限だが有界でない）システムにおける収束速度の違いを明確にすること。

提案手法

• 本稿は、時間変動する通信行列と有界な遅延を伴う離散時間線形同意アルゴリズムを用いてエージェント間の相互作用をモデル化する。
• 現実的な通信制約をモデル化するため、仮定A1–A3（確率的性質、自己ループ、正の重みの均一な下界）とB1–B3（因果性、自己アクセス、有界な遅延）を導入する。
• 主な技術的貢献は、条件Cである。すなわち、各通信グラフG(t)が方向付けられていること。つまり、すべての他のノードがノードjへの有向パスを持つこと。
• さらに、条件Dを導入する。各G(t)の連結成分が強く連結であり、かつ全体としてあるノードjに対して方向付けられていること。これにより、グローバルな接続性と収束が保証される。
• 証明は、特に時間区間における行列積のノルムを抑え込む行列半ノルム解析に依拠し、境界式 ||A^Δ(t₀)⋯A^Δ(θ₀)||_⊥ ≤ 1−α^ΔN を用いる。
• グラフの凝縮と構造的補題を用いて、元のグラフにおける方向付けとその凝縮における方向付けを関連付け、収束条件の同値性を導く。

実験結果

リサーチクエスチョン

• RQ1 時間変動する通信グラフにどのような構造的条件が課されると、有界な遅延と動的トポロジーがある中で同意アルゴリズムが漸近的コンセンサスを達成するか？
• RQ2 通信グラフの方向性と接続性の性質は、協調的システムと分散型システムにおけるコンセンサスアルゴリズムの収束速度にどのように影響を与えるか？
• RQ3 方向性と強い連結性といったグラフ理論的基準を用いて、既存のコンセンサスアルゴリズムの収束結果を統合的かつ拡張可能か？
• RQ4 自己ループと有界な遅延は収束を保証するために果たす役割は何か？また、これらの仮定が破られる場合には何が起こるか？
• RQ5 提案された基準は、実世界の分散システムへの適用性・一般性を鑑みた場合、従来の結果と比べてどのように異なるか？

主な発見

• 同意アルゴリズムは、各通信グラフG(t)が方向付けられている場合、すなわちすべての他のノードがノードjへの有向パスを持つ場合に、漸近的コンセンサスを達成する。
• G(t)のすべての連結成分が強く連結であり、かつ1つの成分がj方向付けされている場合、同じ条件下でコンセンサスが達成される。
• 協調的システムでは、収束速度はエージェント数Nに関して2次的に有界であるが、分散型システムでは有限ではあるが有界でない。
• 本稿は、Tsitsiklisら、Vicsekららの先行研究を統一的に一般化・拡張するフレームワークを提供する。
• 反例により、自己ループの欠如（A2の違反）や一貫した方向付けの失敗（CまたはDの違反）は、他の仮定が成立していても収束を妨げる可能性があることが示された。
• 特に ||A^Δ(t₀)⋯A^Δ(θ₀)||_⊥ ≤ 1−α^ΔN という行列半ノルムの理論的境界が、不一致の指数的減衰を保証し、コンセンサスへの収束を保証する。