Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems

In this paper we propose hybrid systems and reach ability analysis to verify properties in swarm robotics systems, i.e., teams of robots performing cooperative tasks without any centralized coordination. We discuss the challenges that are to be faced and we report on the experience gained from applying hybrid formalisms to the verification of swarm robotics systems.