[論文レビュー] Multi-Agent Pathfinding (MAPF) with Continuous Time.

Anton Andreychuk, Konstantin Yakovlev+2 more|arXiv (Cornell University)|Jan 16, 2019

Robotic Path Planning Algorithms被引用数 10

ひとこと要約

本稿では、連続時間、連続空間、および体積を持つエージェントを想定した完全かつ証明可能に最適なマルチエージェント経路計画（MAPF）アルゴリズムを提案する。SIPP（Safe Intervals Plug-in）（連続時間の単一エージェント計画用）とCBS（Conflict-Based Search）を組み合わせることで、離散時間や均一な行動コストの仮定を排除し、複雑で現実的な環境において最適な解を得ることが可能となる。

ABSTRACT

MAPF is the problem of finding paths for multiple agents such that every agent reaches its goal and the agents do not collide. Most prior work on MAPF were on grid, assumed all actions cost the same, agents do not have a volume, and considered discrete time steps. In this work we propose a MAPF algorithm that do not assume any of these assumptions, is complete, and provides provably optimal solutions. This algorithm is based on a novel combination of SIPP, a continuous time single agent planning algorithms, and CBS, a state of the art multi-agent pathfinding algorithm. We analyze this algorithm, discuss its pros and cons, and evaluate it experimentally on several standard benchmarks.

研究の動機と目的

• 離散時間、均一な行動コスト、ゼロエージェントサイズの仮定を行う従来のMAPF研究の限界を解消すること。
• 連続時間と連続空間、物理的体積を持つエージェントを想定した最適かつ完全なマルチエージェント経路計画を可能にすること。
• 連続時間の単一エージェント計画とマルチエージェントの衝突解消を統合するフレームワークの構築。
• 現実的な仮定の下で完全性と最適性に関する理論的保証を提供すること。
• 標準ベンチマーク上で評価を行い、実用的性能と頑健性を示すこと。

提案手法

• 単一エージェント経路計画に適応させたSIPP（Safe Intervals Plug-in）を、連続時間と変動する行動コストに対応させる。
• SIPPとCBS（Conflict-Based Search）を統合し、階層的かつ最適にエージェント間の衝突を解消する。
• 時間区間を伴う連続的トレースとしてエージェントの経路を表現し、時間ステップの離散化を回避する。
• 安全区間を用いて連続時間における時間的妥当性を符号化し、衝突を回避する。
• 各ノードが衝突解消ステップを表す探索木を構築し、SIPPを用いて最適な経路を再計算する。
• すべての可能な衝突解消を体系的に探索することで完全性を確保し、限定的で最適でない探索と枝刈りにより最適性を達成する。

実験結果

リサーチクエスチョン

• RQ1 連続時間と連続空間で動作するMAPFアルゴリズムは、証明可能な最適性と完全性を達成できるか？
• RQ2 SIPPとCBSの統合は、変動する行動コスト、エージェント体積、連続時間などの現実的仮定下でどのように機能するか？
• RQ3 離散時間ステップの排除が、解の品質と計算効率に与える影響は何か？
• RQ4 最適性とスケーラビリティの観点から、本手法は離散時間MAPFアプローチと比べてどのように差がつくか？

主な発見

• 提案手法は、連続時間、連続空間、非ゼロのエージェント体積の下で完全かつ証明可能に最適である。
• 本手法により、離散時間ステップや均一な行動コストの必要性が排除され、現実的な経路計画が可能となった。
• 実験的評価により、連続的ダイナミクスを伴う複雑なベンチマークでも最適性を維持していることが示された。
• SIPPとCBSの統合により、解の品質を損なうことなく効率的な衝突解消が実現した。
• 変則的な速度やエージェントサイズの下でも、標準MAPFベンチマークにおいて頑健な性能を示した。
• 本手法は、連続時間計画を要する実世界のMAPF応用の理論的・実用的基盤を提供する。