Correctness and Control for Human-Cyber-Physical Systems

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.

Speaker: Dorsa Sidigh, UC Berkeley