Towards Principled Design of Human Cyber-Physical Systems

Speaker: 

Sanjith A. Seshia

Affiliation: 

University of California at Berkeley
Department of Electrical Engineering and
Computer Science
Coray Hall #1770
Berkeley, CA 94720-1770
United States of America

Time: 

Wednesday, 7 December 2016, 16:00 to 17:00

Venue: 

  • AG-66 (Lecture Theatre)

"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."