Supervisory Control of Robot Swarms Using Public Events
Yuri Kaszubowski Lopes,Stefan M. Trenkwalder,André B. Leal,Tony J. Dodd,Roderich Groß,Yuri Kaszubowski Lopes,Stefan M. Trenkwalder,André B. Leal,Tony J. Dodd,Roderich Groß
Supervisory Control Theory (SCT) provides a formal framework for controlling discrete event systems. It has recently been used to generate correct-by-construction controllers for swarm robotics systems. Current SCT frameworks are limited, as they support only (private) events that are observable within the same robot. In this paper, we propose an extended SCT framework that incorporates (public) e...
