[論文レビュー] Synchronous robotic networks and complexity of control and communication laws

Sonia Martı́nez, Francesco Bullo+2 more|ArXiv.org|Jan 28, 2005

Distributed Control Multi-Agent Systems参考文献 42被引用数 6

ひとこと要約

本稿は、ロボットネットワークにおける通信と運動の同期を離散時間で行う形式的モデルを導入し、調整タスクにおける時間的・通信的複雑性の分析を可能にする。連結なトポロジにおいて、同調（consensus）を達成するための「agree-and-pursue」法や、平均化則による配置（deployment）法が、それぞれO(N² log N)およびO(N² log(Nε⁻¹))の時間で収束することを確立している。

ABSTRACT

This paper proposes a formal model for a network of robotic agents that move and communicate. Building on concepts from distributed computation, robotics and control theory, we define notions of robotic network, control and communication law, coordination task, and time and communication complexity. We then analyze a number of basic motion coordination algorithms such as pursuit, rendezvous and deployment.

研究の動機と目的

• モバイルロボットエージェントのネットワークにおける運動調整のための、計算可能な時間的・通信的複雑性理論の構築。
• 連続時間の運動と離散時間の同期的フレームワークにおける制御則および通信則の形式化。
• 通信イベントの再スケジューリングに対して不変である時間的・通信的複雑性測度の定義と分析。
• 追跡、合流、配置といった基本的調整アルゴリズムの収束速度を定量化することによる性能評価。
• さまざまなネットワークトポロジおよび通信モデル（局所的・グローバルな接続性を含む）におけるアルゴリズムの複雑性の上限を確立すること。

提案手法

• エージェントが連続空間を移動し、離散時間の通信ラウンドで情報を交換するロボットネットワークをモデル化。各エージェントは受信情報に基づいて状態を更新する。
• 制御則および通信則を、メッセージ生成関数、状態遷移関数、運動制御関数の合成として定義する。
• 時間的複雑性を、調整タスクを達成するための最小通信ラウンド数として定義し、平均および総通信複雑性に対しても同様の定義を適用する。
• 通信イベントの再スケジューリングに対して複雑性測度が不変であることを確立し、タイミング変動に対してロバストであることを保証する。
• 2-ノルムにおける誤差減衰の上限を求めるために、三重対角行列（例：Trid_{2N-1}(1/4, 1/2, 1/4)）の固有値特性を用い、配置タスクにおける∞-ノルムへの変換を可能にする。
• 収縮解析および固有値分解を用いて、平均化則および追跡則の漸近的時間的複雑性上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 円上に配置されたエージェント群が「agree-and-pursue」法を用いて同調と等距離配置を達成する際の時間的複雑性はいかほどか？
• RQ2 直線上の局所的平均化則による合流タスクの時間的複雑性は、ネットワークサイズNおよび所望の精度εに対してどのようにスケーリングするか？
• RQ3 局所的およびグローバルな通信モデル下での配置アルゴリズムの通信的複雑性は何か？
• RQ4 ネットワークの接続性およびトポロジの変化は、調整タスクの時間的複雑性にどのように影響するか？
• RQ5 通信イベントの再スケジューリングに対して不変となるような複雑性測度を定義することは可能か？

主な発見

• 「agree-and-pursue」法は、運動方向の同調をO(N)回の通信ラウンドで達成し、エージェント間の等距離配置をO(N² log N)回のラウンドで達成する。
• 直線上の局所的平均化則において、ε-精度での合流はO(N² log ε⁻¹)の時間的複雑性で達成され、三重対角行列のスペクトル解析により収束が証明されている。
• 初期通信グラフが連結であれば、r-配置構成への配置はO(N² log(Nε⁻¹))の時間で達成される。
• 初期通信グラフが非連結の場合、最大N−1回の成分合体が生じるため、時間的複雑性はO(N³ log(Nε⁻¹))に増加する。
• 2-ノルム誤差は、‖x(ℓ)−x*‖₂ ≤ ε‖x(0)−x*‖₂の形でO(N² log ε⁻¹)時間で減少し、これにより∞-ノルムへの収束がO(N² log(Nε⁻¹))時間で達成される。
• 複雑性測度は再スケジューリングに対して不変であり、通信のタイミング変動に対してもロバストであることが保証される。