Logo: University of Southern California

Events Calendar


  • 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

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248

    Audiences: Everyone Is Invited

    Contact: CS Events

    Event Link: https://usc.zoom.us/j/98624281836?pwd=ajJSWGRvbkRpUVgvRC9nOXd5K29TZz09

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File

Return to Calendar