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.

With the rapid growth of online social media and ubiquitous Internet connectivity, social sensing has emerged as a new CPS application paradigm of collecting observations (often called claims) about the physical environment from humans or devices on their behalf. A fundamental problem in social sensing applications lies in effectively ascertaining the correctness of claims and the reliability of data sources without knowing either of them a priori, which is referred to as truth discovery.

Abstract:  This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.

The objective of this project is to develop a science of integration for cyber-physical systems (CPS). The proposed research program has three focus areas: (1) foundations, (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments: