Knowledge-Aware Cyber-Physical Systems

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. How could they be trusted to perform safety-critical tasks?

This project addresses this critical insufficiency by developing methods to reason about knowledge and learning in CPS.