The article introduces the problem of Avoiding Collisions by Introducing Delays (ACID) in multi-agent path finding (MAPF). In ACID, a plan has already been generated for a group of agents to navigate from their starting positions to their goals, but during execution, some agents experience unexpected delays. Instead of replanning the entire path from scratch, the goal is to introduce additional delays to some agents so that the original plan can be executed safely without collisions.
The authors first show that ACID is NP-complete and even APX-hard, meaning it is computationally difficult to solve optimally. They then propose a reduction of ACID to a version of the MAPF problem, called Agent-Edge MAPF, where each agent has its own set of allowed edges. This reduction allows the use of existing MAPF algorithms to solve ACID instances.
The authors introduce two specific graph formulations, the Constrained Graph (CG) and the Improved Constrained Graph (ICG), which restrict the agents to only use the edges from the original plan. They prove that solving ACID on these graphs is equivalent to solving it on the original graph.
The experimental evaluation compares the performance of three MAPF algorithms (CBS, Anytime-EECBS, and MAPF-LNS2) on the original graph, CG, and ICG. The results show that using CG and ICG significantly improves the success rate, computation time, and optimality of the solutions compared to planning on the original graph, especially for the optimal CBS algorithm. The authors also investigate the more challenging case of introducing multiple delays, where heuristic algorithms like Anytime-EECBS and MAPF-LNS2 perform better than the optimal CBS.
Overall, the article presents a principled approach to efficiently repairing MAPF plans in the presence of unexpected delays, by leveraging the structure of the original plan.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Justin Kotti... at arxiv.org 04-12-2024
https://arxiv.org/pdf/2307.11252.pdfDeeper Inquiries