R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Vielmetti, Thomas Marshall, Agrawal, Devansh R., Panagou, Dimitra
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866917343446171648
author Vielmetti, Thomas Marshall
Agrawal, Devansh R.
Panagou, Dimitra
author_facet Vielmetti, Thomas Marshall
Agrawal, Devansh R.
Panagou, Dimitra
contents Existing decentralized methods for multi-agent motion planning lack formal, infinite-horizon safety guarantees, especially for communication-constrained systems. We present R3R which, to our knowledge, is the first decentralized and asynchronous framework for multi-agent motion planning under range-limited communication constraints with infinite-horizon safety guarantees for systems of nonlinear agents. R3R's novelty lies in combining our gatekeeper safety framework with a geometric constraint termed R-Boundedness, which together establish a formal link between an agent's communication radius and its ability to plan safely. We constrain trajectories to lie within a fixed planning radius, determined by a function of the agent's communication radius. This enables trajectories to be certified as provably safe for all time using only local information. Our algorithm is fully asynchronous, and ensures the forward invariance of these guarantees even in time-varying networks where agents asynchronously join and replan. We evaluate our approach in simulations of up to 128 Dubins vehicles, validating our theoretical safety guarantees in dense, obstacle-rich scenarios. We further show that R3R's computational complexity scales with local agent density rather than problem size, providing a practical solution for scalable and provably safe multi-agent systems.
format Preprint
id arxiv_https___arxiv_org_abs_2510_06436
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety
Vielmetti, Thomas Marshall
Agrawal, Devansh R.
Panagou, Dimitra
Multiagent Systems
Existing decentralized methods for multi-agent motion planning lack formal, infinite-horizon safety guarantees, especially for communication-constrained systems. We present R3R which, to our knowledge, is the first decentralized and asynchronous framework for multi-agent motion planning under range-limited communication constraints with infinite-horizon safety guarantees for systems of nonlinear agents. R3R's novelty lies in combining our gatekeeper safety framework with a geometric constraint termed R-Boundedness, which together establish a formal link between an agent's communication radius and its ability to plan safely. We constrain trajectories to lie within a fixed planning radius, determined by a function of the agent's communication radius. This enables trajectories to be certified as provably safe for all time using only local information. Our algorithm is fully asynchronous, and ensures the forward invariance of these guarantees even in time-varying networks where agents asynchronously join and replan. We evaluate our approach in simulations of up to 128 Dubins vehicles, validating our theoretical safety guarantees in dense, obstacle-rich scenarios. We further show that R3R's computational complexity scales with local agent density rather than problem size, providing a practical solution for scalable and provably safe multi-agent systems.
title R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety
topic Multiagent Systems
url https://arxiv.org/abs/2510.06436