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