CCI, AAI, and MHI Joint Seminar Series - Radoslav Ivanov (Rensselaer Polytechnic Institute): Safe and secure autonomy within reach: a verified machine learning and control perspective
Tue, Feb 13, 2024 @ 02:00 PM - 03:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Radoslav Ivanov, Rensselaer Polytechnic Institute
Talk Title: Safe and secure autonomy within reach: a verified machine learning and control perspective
Abstract: In this talk, I will present an integrated approach to assuring the safety and security of cyber-physical systems (CPS) through a combination of offline verification and online monitoring techniques. For offline assurance, I have developed an approach, called Verisig, for verifying the safety of autonomous systems with neural network controllers. I will present an exhaustive evaluation on a neural-network-controlled (1/10-scale) autonomous racing car, in terms of modeling, verification and experiments on the real platform. In the second part of the talk, I will describe my work on run-time monitoring of system safety, with applications to medical CPS. Specifically, I will present a detector for critical drops in the patient's oxygen content during surgery, with guaranteed performance regardless of varying physiological parameters such as metabolism. The detector is evaluated on real-patient data collected from the Children's Hospital of Philadelphia.
Zoom Link: https://usc.zoom.us/j/98624281836?pwd=ajJSWGRvbkRpUVgvRC9nOXd5K29TZz09 Meeting ID: 986 2428 1836 Passcode: CPS24
This lecture satisfies requirements for CSCI 591: Research Colloquium
Biography: Radoslav Ivanov He is an Assistant Professor in Computer Science at the Rensselaer Polytechnic Institute. Prior to that, he was a postdoc at the PRECISE center at the University of Pennsylvania. Radoslav received the B.A. degree in computer science and economics from Colgate University in 2011, and the Ph.D. degree in computer and information science from the University of Pennsylvania in 2017. His research interests are broadly in the field of safe and secure autonomy, with a focus on verified machine learning, control theory and cyber-physical security. The natural application domains of his work are automotive and medical cyber-physical systems.
Host: Pierluigi Nuzzo and Lars Lindemann
More Info: https://usc.zoom.us/j/98624281836?pwd=ajJSWGRvbkRpUVgvRC9nOXd5K29TZz09
Audiences: Everyone Is Invited
Contact: CS Events