Logo: University of Southern California

Events Calendar


  • PhD Thesis Proposal- Xin Qin

    Wed, Mar 27, 2024 @ 12:45 PM - 01:45 PM

    Thomas Lord Department of Computer Science

    Student Activity


    PhD Thesis Proposal- Xin Qin
    Title: Data-driven and Logic-based Analysis of Learning-enabled Cyber-Physical Systems
    Committee: Jyotirmoy Deshmukh, Chao Wang, Souti Chattopadhyay, Yan Liu and Paul Bogdan
     

    Abstract: Rigorous analysis of cyber-physical systems (CPS) is becoming increasingly important, especially for safety-critical applications that use learning-enabled components. In this proposal, we will discuss various pieces of a broad framework that enable scalable reasoning techniques tuned to modern software design practices in autonomous CPS applications. The proposal will center around three main pillars: (1) Statistical verification techniques to give probabilistic guarantees on system correctness; here, we treat the underlying CPS application as a black-box and use distribution-free and model-free techniques to provide probabilistic correctness guarantees. (2) Predictive monitoring techniques that use physics-based or data-driven models of the system to continuously monitor logic-based requirements of systems operating in highly uncertain environments; this allows us to design runtime mitigation approaches to take corrective actions before a safety violation can occur. (3) Robust testing for CPS using reinforcement learning. We train an agent to produce a policy to initiate unsafe behaviors in similar target systems without the need for retraining, thereby allowing for the elicitation of faulty behaviors across various systems.  The proposal hopes to demonstrate the scalability of our approaches on various realistic models of autonomous systems.

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

    Audiences: Everyone Is Invited

    Contact: Xin Qin

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File

Return to Calendar