Correctness And Control For Human-Cyber-Physical Systems

Dorsa Sadigh, University of California, Berkeley

Stevenson Hall 1300
12:00 PM - 12:50 PM

Cyber-physical systems deployed in societal-scale applications almost always interact with humans, e.g. semi-autonomous vehicles interacting with drivers in the car or on the road, semi-autonomous aerial vehicles interacting with human operators, or medical robots interacting with doctors. Due to the safety-critical nature of these human-cyber-physical systems (h-CPS), we, as designers, need to be able to provide guarantees about their safety and performance. My work focuses on creating a new formal design methodology for control and verification of h-CPS closely interfacing with data-driven models in order to ensure provable guarantees.