Towards Principled Design of Human Cyber-Physical Systems

Human cyber-physical systems (h-CPS) are integrations of computational systems with physical processes that operate in concert with humans. Examples include vehicles with self-driving features, aircraft with fly-by-wire control, and robotic medical devices. Such systems are increasingly entering our daily lives, often in safety-critical or mission-critical contexts. It is therefore imperative to design them in a principled manner that results in verifiable guarantees of safety and correctness. In this talk, I will discuss some of the main challenges in the design of h-CPS. I will discuss problems in the specification, verification, and synthesis of such systems, and present some of our initial results, both theoretical and practical, motivated by the application of semi-autonomous driving