Hybrid System Design for the Coordination of Multi-Modal Aerial Robots

In this paper we provide a framework for the coordination of a network of heterogeneous aerial robots by using temporal logic to formulate mission speci¯cations for the network of robots. The full dynamics of the aerial robots are considered, and multiple controllers that can cope with various constraints are designed to ensure that desired reachability properties can be preserved by properly switching among the controllers. A timed automaton is then constructed for preserving the temporal properties of a given robot. For di®erent types of robots, unique temporal properties can be speci¯ed. These robots are coordinated by communicating through a single occupancy table. By using the model checker Uppaal, a discrete plan that satis¯es a given temporal logic formula, speci¯ed in CTL, is generated for the robot to execute. Finally, the discrete plan for each robot is re¯ned into a discrete control sequence which is executed by properly switching among the controllers. The system design and deployment is presented. Experimental results for a two-robot coordinated mission are given for demonstrating the effectiveness of the framework.