CPS: TTP Option: Synergy: Collaborative Research: Dependable Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environme

This project aims at deriving a scalable, correct-by-construction formal design methodology for multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws. The basic idea is to decompose the team mission into individual subtasks such that the design can be reduced to local synthesis problems for individual robots. Multidisciplinary approaches combining hybrid systems, supervisory control, regular inference and model checking are utilized to achieve this goal. In this poster, we report our recent efforts on both the theoretical and experimental developments. From the theoretical perspective, we report our newly developed combined top-down and bottom-design formal design framework for CPSs. From the experimental perspective, we update our recent progress on the development of a universal UGV-landing platform and real time data acquisition and synchronization from different Sensors. Some results from indoor experiments are also reported.