[論文レビュー] Time-Independent Planning for Multiple Moving Agents

Keisuke Okumura, Yasumasa Tamura+1 more|arXiv (Cornell University)|May 27, 2020

Robotic Path Planning Algorithms被引用数 4

ひとこと要約

本稿では、確率的遅延にもかかわらずエージェントが目的地に到着することを保証する、時間に依存しない分散型でオンラインなマルチエージェント経路探索（MAPF）の手法を提案する。エージェント行動を要求・移動・契約の3つの原子的アクションをもつ遷移系としてモデル化し、Causal-PIBTを用いてデッドロックを回復することで、時間の不確実性下でも保証された到着と高い性能を達成する。シミュレーションにおいて、同期的および依存関係を保全する方策よりも優れた性能を示した。

ABSTRACT

Typical Multi-agent Path Finding (MAPF) solvers assume that agents move synchronously, thus neglecting the reality gap in timing assumptions, e.g., delays caused by an imperfect execution of asynchronous moves. So far, two policies enforce a robust execution of MAPF plans taken as input: either by forcing agents to synchronize or by executing plans while preserving temporal dependencies. This paper proposes an alternative approach, called time-independent planning, which is both online and distributed. We represent reality as a transition system that changes configurations according to atomic actions of agents, and use it to generate a time-independent schedule. Empirical results in a simulated environment with stochastic delays of agents' moves support the validity of our proposal.

研究の動機と目的

• 動きの非同期的かつ不完全な実行が引き起こすMAPF計画における現実ギャップを解消すること。
• 固定されたタイミング仮定に依存しない分散型でオンラインな計画手法を開発すること。
• 確率的遅延が生じても、すべてのエージェントが有限時間内に目的地に到着することを保証すること。
• 完全同期（FSP）および最小通信（MCP）方策など、既存の方策よりも高いロバスト性を向上させること。
• オフラインMAPF計画をヒントとして用いることで、時間に依存しない計画の効果を高めることの有効性を評価すること。

提案手法

• 要求された次の位置、移動（延長）、過去の位置の解放または停止（契約）の3つの原子的アクションをもつ遷移系としてシステムをモデル化する。
• 事前にタイミングに関する知識を仮定しない時間に依存しないモデルを定義し、非決定的環境行動を表現する。
• 優先順位継承とバックトラッキングに基づく分散型アルゴリズムであるCausal-PIBTを実装し、衝突を解消し、到着を保証する。
• 遮断されたエージェントの状況において、優先順位継承とバックトラッキング伝搬をガイドする仮想の深さ優先探索木を用いる。
• Causal-PIBT+において、オフラインMAPF計画をヒントとして統合し、収束を向上させ、コストを低減する。
• 2段階のタイムステップモデルを用いる：1フェーズは状態遷移（要求／契約）を、もう1フェーズは実際の移動を処理し、移動時間を支配的要因とみなす。

実験結果

リサーチクエスチョン

• RQ1 時間に依存しない計画手法は、任意のタイミング遅延下でもすべてのエージェントの到着を保証できるか？
• RQ2 確率的遅延下において、時間に依存しない計画はFSPおよびMCP方策と比べて、解のコストとロバスト性の点でどのように差がつくか？
• RQ3 オフラインMAPF計画をヒントとして用いることで、時間に依存しない計画の性能はどの程度向上するか？
• RQ4 ボトルネックを含む大規模で複雑な環境において、提案手法は効率性とスケーラビリティを維持できるか？
• RQ5 Causal-PIBTは、グローバルな調整や固定タイミング仮定なしに、動的障害や遅延を処理できるか？

主な発見

• Causal-PIBT+は、すべてのベンチマークで100回のシミュレーション実行において成功を収め、確率的遅延下でも保証された到着とロバスト性を示した。
• 小規模なベンチマークでは、MCP（最良のベースライン）と同等の解のコストを達成したが、特に遅延確率が高い状況で顕著であった。
• 遅延確率やエージェント数が増加した場合、時間に依存しない計画は解のコストと成功確率の点でMCPを上回った。
• den312dのような大規模な双方向接続されたフィールドでは、ボトルネックの影響を受けても成功したが、構造的制約のため解のコストが著しく上昇した。
• Causal-PIBT+においてオフラインMAPF計画をヒントとして用いることで、特に密な環境において解のコストが顕著に低下し、収束が早くなった。
• GREEDYは大多数の試行でデッドロックに陥ったが、FSPはMCPよりも高い解のコストを示し、時間に依存しない計画の優位性が裏付けられた。