日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

週刊ニュースレター購読
群制御arXiv:2608.26939

制約のある倉庫におけるマルチエージェント集配のための動的ヘイブン選択

Dynamic Haven Selection for Multi-Agent Pickup and Delivery in Constrained Warehouses

シェア:XThreadsFacebookLINEはてブBluesky

狭い通路や行き止まりのワークステーションがある倉庫で、ロボットが他のロボットを妨げずに待機できる場所(ヘイブン)を動的に選択する手法を提案し、タスク完了時間を短縮する。

詳しい要約

1. どんなもの?

本論文は、制約のある倉庫環境におけるMulti-Agent Pickup and Delivery (MAPD)問題に対して、エージェントの退避先(Haven)を動的に選択する手法A-sharp (Adaptive SHARP)を提案している。従来のSHARPは各エージェントに固定のHavenを割り当てていたが、A-sharpはタスク割り当て時に退避先を変更することで、配送後の移動距離を短縮し、全体のmakespanを改善する。

2. 先行研究と比べてどこがすごい?

先行研究のSHARPは、各タスク経路に検証済みの退避経路を追加し、固定Havenへの退避を保証するが、固定Havenが遠い場合に非効率となる。A-sharpは退避先を動的に変更することでこの問題を解決し、理論的保証(不変条件の維持と有限解放完全性)を維持しつつ、実験的にmakespanを有意に改善する点が優れている。

3. 技術・手法の肝は?

A-sharpは、タスク割り当て時に退避先を変更する。具体的には、候補Havenの可用性テスト(他のエージェントが同じHavenに依存しないこと、予約済み経路が占有中または予約中の場所を通過しないこと)を実施し、pending-release ruleにより前のHavenをエージェントが出発するまで保護する。これにより、Haven構造とSafe Interval Path Planning (SIPP)の仮定の下で、不変条件の維持と有限解放完全性を証明する。

4. どうやって有効だと検証した?

4つのマップ上で、14,400のペア(マップ・エージェント数・レート・シード)に対して72,000回の実行を行い、SHARPとA-sharpの両方が各14,400回の実行を完了した。makespan(最終配送時間)について、Haven数がエージェント数より多い138構成でHolm補正付きペア比較を行い、107構成でA-sharpが有意に優れ、有意に劣る構成はなかった。ツリーマップでは中央値で16.7%の削減を確認した。

5. 議論はある?

要旨からは、A-sharpの動的Haven選択が理論的保証を維持しつつ性能を向上させることが示されたが、Haven数がエージェント数以下の場合や、より複雑なレイアウトでの性能、計算コストの増加、実環境でのロバスト性などについては言及されていない。また、比較はSHARPとのみ行われており、他のMAPD手法との比較は不明である。

6. 次に読むべき論文は?

要旨で参照されているSHARP (Safe HAven Retreat Planner) と、Safe Interval Path Planning (SIPP) に関する論文が次に読むべきである。また、MAPDの一般的なベースラインとして、Multi-Agent Path Finding (MAPF) やオンラインタスク割り当てに関する研究も関連する。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Taisei Hirayama, Kohei Yoshida, Hiroki Sakaji, Itsuki Noda

分類: cs.MA, cs.RO

原文アブストラクト

Space-efficient warehouse layouts often contain single-agent-width aisles and dead-end workstations where robots have few places to wait without blocking others. In Multi-Agent Pickup and Delivery (MAPD) on such constrained layouts, robots must accept online pickup-delivery tasks while preserving protected waiting locations called Havens. The Safe HAven Retreat Planner (SHARP) introduced a mechanism that extends each committed task path with a validated retreat to the agent's dedicated initial Haven, but fixed-Haven commitments can send agents toward distant Havens after deliveries. We present A-sharp (Adaptive SHARP), which changes an agent's retreat target at task assignment time. A naive switch can cause two agents to rely on the same waiting location or let another committed path pass through a location that is still occupied or reserved. A-sharp prevents these failures with an availability test for candidate Havens and a pending-release rule that keeps the previous Haven protected until the agent departs. Under explicit Haven-structure and Safe Interval Path Planning (SIPP) assumptions, we prove invariant preservation and finite-release completeness: every task in any finite release sequence is delivered in finite time. Across 72,000 runs on 14,400 paired map-agent-count-rate-seed cases over four maps, both SHARP and A-sharp complete their respective 14,400 runs. For makespan (final delivery time), a prespecified paired comparison with Holm correction over all 138 configurations with more Havens than agents finds A-sharp significantly better in 107 configurations and never significantly worse than SHARP; on the tested tree map, the median reduction is 16.7%.

関連論文