CS Talks: Towards Safe and Trustworthy Cyber-Physical Systems
Friday, November 19, 2021
Towards Safe and Trustworthy Cyber-Physical Systems
Department of Computer Science and Department of Engineering Systems and Environment
University of Virginia
Cyber-physical systems (CPS) are smart systems that include co-engineered interacting networks of physical and computational components. Prominent examples of CPS include autonomous robots, self-driving cars, smart cities, and medical devices. CPS are increasingly everywhere, providing new capabilities to improve quality of life and transform many critical areas. However, significant challenges are posed for assuring the safety and trustworthiness of CPS. In this talk, I will present some of my recent work to tackle these challenges, including (1) trust in human-automated vehicle interactions, (2) safe multi-agent reinforcement learning via shielding for robotic planning, and (3) predictive monitoring with logic-calibrated uncertainty for smart cities. If time allows, I will also briefly talk about my on-going research on improving the accountability and transparency of CPS.
Lu Feng is an Assistant Professor at the Department of Computer Science and the Department of Engineering Systems and Environment at the University of Virginia. Previously, she was a postdoctoral fellow at the University of Pennsylvania and received her PhD in Computer Science from the University of Oxford. Her research focuses on assuring the safety and trustworthiness of cyber-physical systems, spanning many different application domains, from autonomous robots, to smart cities, to medical systems. She is a recipient of NSF CAREER Award. Webpage: http://www.cs.virginia.edu/~lufeng/