Robust Safety Assurance for Robotic Swarms Using Decentralized Collision Verification

Abstract

In this paper we present the methodologies, results, and analysis used to deploy a decentralized safety verification algorithm on a robotic swarm to prevent collisions at runtime in an outdoor environment. Typically, approaches toward verification of swarms of cyber-physical systems (CPS) are evaluated solely in numerical simulations or in highly controlled, noiseless indoor environments. Our efforts to implement collision avoidance on a real swarm system outdoors have revealed that the underlying algorithmic assumptions juxtaposed against the implementation details of the target system are critical factors in a method's efficacy in the real world. Here we modify, enhance, and analyze a decentralized reachability-based method for collision avoidance on a size, weight, and power-constrained uncrewed aerial vehicle (UAV) swarm with the objective of illustrating the challenges of real-world CPS deployments as well as provide guidance for researchers in this space. Verification performance, resource utilization, and timing data were gathered over the course of 140 total outdoor vehicle flights, including 6 swarm flights composed of 8 UAVs, and used to improve collision-avoidance performance as experimentation progressed. Our extensive experiments show that the proposed decentralized runtime verification approach can efficiently verify the safety of multiple UAVs in real-time and help all agents take safe actions to avoid collisions. On average, each agent, using our open-source safety_checker library, takes approximately 500-520 ms to verify its safety for the next 4 s into the future, in which the reachable set broadcast time dominates the total verification time (~300-500 ms).

The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.

More in Robotics

• arXiv preprint · 31 October 2026

  Vision-based Sensing of Urban Environment using Hardware-Software co-design at Scale

  Akshit Gupta and R Venkatesha Prasad
• arXiv preprint · 1 November 2026

  Uncertainty-Aware Joint Generative Modeling of Fault Event Sequences and Sensor Time Series in Solar PV Plants

  Jiayu Huang, Boyang Xu, Yongming Liu and 1 other
• arXiv preprint · 31 October 2026

  Learning hidden-state dynamics from unpaired snapshots with lift-project SDEs

  Qi Wang, Uduak George and Gustaaf Jacobs
• arXiv preprint · 1 November 2026

  Dual Path Following for an Aerial Manipulator Under State and Input Constraints via Transverse Feedback Linearization

  Hamza Tariq and Adeel Akhtar
• arXiv preprint · 31 October 2026

  Benchmarking Classical Machine Learning Models for Shading-Fault Detection in Rooftop Photovoltaic Systems Using Real Sensor Data

  Zablon Ombiro and Bernard Shibwabo

All new papers in Robotics