University of Notre Dame

file

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

Submitted by Hai Lin on Wed, 11/29/2017 - 5:21pm. Contributors:

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.

file

Visible to the public CRII: CPS: Towards Reliable Cyber-Physical Systems using Unreliable Human Sensors

Submitted by wangdong on Wed, 11/29/2017 - 5:20pm. Contributor:

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.

file

Visible to the public Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments

Submitted by Hai Lin on Mon, 02/01/2016 - 2:50pm. Contributors:

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.