Agents
A Case Study in Recovery of Drones using Discrete-Event Systems
arXiv:2604.21740v1 Announce Type: cross Abstract: Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their pra
arXiv:2604.21740v1 Announce Type: cross Abstract: Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their practical application to swarm robotics remains largely underexplored. In this paper, we investigate a topological recovery method based on discrete-event-systems within a swarm robotics context. We propose a hybrid architecture that combines a high-level discrete event systems supervisor with a low-level continuous controller, allowing lost drones to safely recover from fault or attack events and re-enter a controlled region. The method is demonstrated using ten simulated UAVs in the py-bullet-drones framework. We show recovery performance across four distinct scenarios, each with varying initial state estimates. Additionally, we introduce a secondary recovery supervisor that manages the regrouping process for a drone after it has re-entered the operational region.
Related
- Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
- NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
- 'Take Me Home, Wi-Fi Drone': A Drone-based Wireless System for Wilderness Search and Rescue
Source: arXiv cs.RO | 2026-04-24