Events Calendar

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

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