1446712

video

Visible to the public Belief-Aware Cyber-Physical Systems

Submitted by Andre Platzer on Fri, 05/15/2020 - 2:51pm
file

Visible to the public Belief-Aware Cyber-Physical Systems

Submitted by Andre Platzer on Thu, 01/09/2020 - 6:10pm. Contributors:
file

Visible to the public Belief-Aware Cyber-Physical Systems

Submitted by Andre Platzer on Tue, 01/22/2019 - 5:19pm. Contributors:

During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. For many applications of CPS research such as the transportation industry, this implies interconnected research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems. The need for such research has become tragically clear in transportation accidents, one notorious case being the Air France 447 flight incident.

file

Visible to the public Knowledge-Aware Cyber-Physical Systems

Submitted by Andre Platzer on Wed, 11/29/2017 - 5:20pm. Contributors:

This project addresses the foundational problem of knowledge and limits of knowledge within cyber-physical systems (CPS). A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.