Tata Institute of Fundamental Research

Towards Principled Design of Human Cyber-Physical Systems

NSF Colloquium
Speaker: Sanjith A. Seshia (University of California at Berkeley Department of Electrical Engineering and Computer Science Coray Hall #1770 Berkeley, CA 94720-1770 United States of America)
Date: Wednesday, 7 Dec 2016, 16:00 to 17:00
Venue: AG-66 (Lecture Theatre)

(Scan to add to calendar)
Abstract:  "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."