BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/731
DTSTAMP:20230914T125936Z
SUMMARY:Towards Principled Design of Human Cyber-Physical Systems
DESCRIPTION:Speaker: Sanjith A. Seshia (University of California at Berkele
 y\nDepartment of Electrical Engineering and\nComputer Science\nCoray Hall 
 #1770\nBerkeley\, CA 94720-1770\nUnited States of America)\n\nAbstract: \n
 "Human cyber-physical systems (h-CPS) are integrations of computational sy
 stems with physical processes that operate in concert with humans. Example
 s include vehicles with self-driving features\, aircraft with fly-by-wire 
 control\, and robotic medical devices. Such systems are increasingly enter
 ing our daily lives\, often in safety-critical or mission-critical context
 s. It is therefore imperative to design them in a principled manner that r
 esults 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 su
 ch systems\, and present some of our initial results\, both theoretical an
 d practical\, motivated by the application of semi-autonomous driving."\n
URL:https://www.tcs.tifr.res.in/web/events/731
DTSTART;TZID=Asia/Kolkata:20161207T160000
DTEND;TZID=Asia/Kolkata:20161207T170000
LOCATION:AG-66 (Lecture Theatre)
END:VEVENT
END:VCALENDAR