This work proposes a distributed algorithm that enables agents to collectively traverse an unknown, possibly cyclic graph and proves that the algorithm is complete, that its makespan is asymptotically equivalent to that of an optimal full-knowledge strategy, and derive its time and space complexity.
Abstract
Cave networks, pipe systems, and similar maze-like environments pose significant challenges for multi-agent navigation in unknown settings with limited communication. We propose a distributed algorithm that enables agents to collectively traverse an unknown, possibly cyclic graph. Agents enter sequentially at a designated start node and are tasked to localize and reach an undisclosed goal while avoiding collisions. They coordinate via local communication using leader-follower relationships and leader switching. At any moment in time, exploration is performed by only one of the agents, which runs a single-agent maze solver. We prove that the algorithm is complete, that its makespan is asymptotically equivalent (in the number of agents) to that of an optimal full-knowledge strategy, and derive its time and space complexity. Simulations with up to $625$ agents show a decreasing average sum-of-fuels as the number of agents increases and demonstrate that the proposed approach outperforms a na\"ive baseline in which all agents independently execute the single-agent solver.
A hierarchical, reservation-based, multi-resolution planner for discrete-time grid environments, including deadline-aware priority guidelines to resolve reservation contention, boundary-based validation of abstract connectivity to avoid phantom links, and a wait-and-retry fallback when planning temporarily fails are pr...
Gicu Rata, Liviu Octavian Mafteiu-Scai· SAR Journal - Science and Re...· 0 citations
A new diffusion method for multi-agent planning with STL specifications is introduced, making the approach generalizable to novel formulas whose predicates are placed anywhere within the goal region covered during training, while achieving the same scalability as existing learning-based methods.
Joe Eappen, Zikang Xiong, S. Iyengar et al.· IEEE Robotics and Automation...· 0 citations
This paper theoretically prove the near-optimality of RHCR in a discounted MDP formulation of the L-MAPF problem, and naturally motivate an extended framework called Group Decentralized RHCR (GD-RHCR) which incorporates a group decentralized structure that partitions agents based on a transitive communication scheme an...
Alex DeWeese, Jiao-Yang Li, Guannan Qu· 0 citations
This work proposes a distributed UAV-agent architecture that enables continuous local SLM control through an event-driven reason-act-observe lifecycle and approximately halves inference-token consumption, reduces transmitted data, and achieves lower survivor-count error.
Andrea Iannoli, Ivan D. Zyrianoff, A. Trotta et al.· 0 citations
This work introduces a novel exploration procedure, DFS-BGS, to tackle the problem of exploring an unknown n-node graph by k robots that must remain connected throughout the process, and analyzes its performance both theoretically and experimentally.
Dolev Mutzari, Y. Aumann, Sarit Kraus· Proceedings of the Thirty-Fi...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.