[論文レビュー] Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding

Michal Čáp, Peter Novák+2 more|arXiv (Cornell University)|Oct 25, 2012

Robotic Path Planning Algorithms参考文献 9被引用数 6

ひとこと要約

本稿では、空間的・時間的協調経路探索の非同期分散アルゴリズムであるADPPおよびIADPPを提案する。これらのアルゴリズムは、他のエージェントからの更新に即座に反応できることで、同期のボトルネックを回避する。中央集権的ソルバーよりも最大65%速く、同期分散手法より45%速く実行可能であり、解の品質の低下は最小限に抑えられ、IADPPでは通信効率も向上している。

ABSTRACT

Cooperative pathfinding is a multi-agent path planning problem where a group of vehicles searches for a corresponding set of non-conflicting space-time trajectories. Many of the practical methods for centralized solving of cooperative pathfinding problems are based on the prioritized planning strategy. However, in some domains (e.g., multi-robot teams of unmanned aerial vehicles, autonomous underwater vehicles, or unmanned ground vehicles) a decentralized approach may be more desirable than a centralized one due to communication limitations imposed by the domain and/or privacy concerns. In this paper we present an asynchronous decentralized variant of prioritized planning ADPP and its interruptible version IADPP. The algorithm exploits the inherent parallelism of distributed systems and allows for a speed up of the computation process. Unlike the synchronized planning approaches, the algorithm allows an agent to react to updates about other agents' paths immediately and invoke its local spatio-temporal path planner to find the best trajectory, as response to the other agents' choices. We provide a proof of correctness of the algorithms and experimentally evaluate them on synthetic domains.

研究の動機と目的

• 通信遅延やプライバシー制約がある現実世界のマルチエージェントシステムにおいて、中央集権的および同期分散型協調経路探索の限界を克服すること。
• エージェントが互いに待つ必要があるため、計算が遅延する同期実行による性能ボトルネックを解消すること。
• アルゴリズムラウンドを待たずに、高優先度エージェントからの更新に即座に反応できるようにすることで、より速く応答性の高い経路計画を実現すること。
• 更新を受け取った際に、計画を静かに再起動することで、通信オーバーヘッドを低減する中止可能バージョン（IADPP）を開発すること。
• ADPPおよびIADPPの正しさと終了性を証明し、安全に重要な応用分野への適用に向けた形式的基盤を提供すること。

提案手法

• 同期分散型優先順位付き経路計画（SDPP）の拡張として、エージェントが高優先度エージェントからのリアルタイム更新に基づいて独立して経路を計画するADPP（非同期分散型優先順位付き計画）を提案する。
• 更新を受け取った際に、現在の計算が終了するのを待たずに、局所的経路計画器を即座に再起動できるIADPP（中止可能なADPP）を導入する。
• 優先順位付き計画戦略を用いる：各エージェントは、高優先度エージェントの軌道を移動障害物としてモデル化しながら経路を計画する。
• 局所的な空間的・時間的経路計画器を実装し、受信した更新に即座に反応して、衝突を避けるために軌道を再計画する。
• 非同期更新が無限ループや一貫性のない状態を引き起こさないことを証明することで、正しさと終了性を保証する。特に遅延や順序が入れ替わったメッセージに対しても有効である。
• メッセージ伝達のセマンティクスを設計し、計画が変更された場合にのみブロードキャストするようにすることで、通信オーバーヘッドを最小限に抑える。特にIADPPでは、計画の中断によって新たなメッセージが発行されないため、オーバーヘッドが削減される。

実験結果

リサーチクエスチョン

• RQ1 非同期分散型協調経路探索アルゴリズムは、実行時間とスケーラビリティの観点で、中央集権的および同期分散型手法を上回ることができるか？
• RQ2 IADPPの中断可能設計は、ADPPおよび中央集権的ソルバーと比較して、通信複雑度にどのような影響を与えるか？
• RQ3 通信遅延下でのマルチエージェント経路計画において、非同期性が応答性を向上させ、無駄な待機時間を削減する程度はどの程度か？
• RQ4 中央集権的最適ソルバーと比較して、非同期分散型経路探索における解の品質と計算効率のトレードオフはどのようなものか？
• RQ5 グローバルな同期がない状況下でも、提案手法は正しさと終了保証を維持できるか？

主な発見

• ADPPおよびIADPPは、エージェント数を増加させるランダムなシナリオにおいて、中央集権的CAアルゴリズムと比較して平均して65%の実行時間短縮を達成した。
• ADPPおよびIADPPは、特に混雑で衝突の多い環境において、同期分散型SDPPアルゴリズムと比較して実行時間を約45%短縮した。
• IADPPは、計画の中断後に新たな計画をブロードキャストしないため、ADPPよりも通信複雑度が低く、メッセージオーバーヘッドが削減された。
• ADPPおよびIADPPの平均的な解コストは、CAと比べて約10%悪化しているが、これは現在の経路が一貫性を失った場合にのみ再計画をトリガーする保守的な再計画条件によるものである。
• すべての優先順位付き手法（CA、SDPP、ADPP、IADPP）における障害率は同等であり、非同期手法が複雑なシナリオでも堅牢性を維持していることを示している。
• 実験結果により、ADPPおよびIADPPが正しく動作し、終了することが確認された。これは、論文で提示された正しさと終了性の理論的証明を裏付けるものである。