A Case Study in Recovery of Drones using Discrete-Event Systems

Liam P. Burns, Dayse M. Cavalcanti, Felipe G. Cabral +4

Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their practical application to swarm ro…