Logo: University of Southern California

Events Calendar


  • Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series

    Wed, Nov 10, 2021 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars


    Speaker: Bardh Hoxha, Toyota Research Institute of North America (TRINA) in Ann Arbor, Michigan

    Talk Title: Verification and Control for Autonomous Cyber-Physical Systems

    Series: Center for Cyber-Physical Systems and Internet of Things

    Abstract: As Cyber-Physical Systems are becoming more autonomous, there is an increasing need for methods that ensure safety and reliability. In this talk, we present requirements-based approaches that can be used for automated testing, monitoring, and control synthesis of CPS. The methods utilize ideas from three important areas in CPS research: formal methods, machine learning, and control theory. We illustrate our methods on problems from the automotive industry.


    Biography: Bardh Hoxha is Senior Principal Scientist at Toyota Research Institute of North America (TRINA) in Ann Arbor, Michigan. His research interests include the development of practical testing and verification methods for autonomous Cyber-Physical Systems (CPS). His research draws from areas such as formal methods, logics, control theory and machine learning. Bardh has published over three dozen papers on these methods to top level journals and conferences. Previously, Bardh was an assistant professor in the Computer Science Department at Southern Illinois University. Prior to that, he completed his PhD in Computer Science at Arizona State University, where he received the Outstanding CS PhD student award. His thesis focused on simulation-based methods for testing CPS using formal requirements.

    Host: Pierluigi Nuzzo

    Webcast: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

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

    WebCast Link: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

    Audiences: Everyone Is Invited

    Contact: Talyia White

    OutlookiCal

Return to Calendar