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
Audiences: Everyone Is Invited
Contact: Talyia White