Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Oct 26, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Samuel Coogan, Georgia Institute of Technology
Talk Title: Runtime Assurance for Safe Autonomy from Fast, In-the-Loop Reachability
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: In this talk, we show how efficient reachability methods enable runtime assurance (RTA) for safe autonomy. We focus on interconnected and/or high dimensional systems and we leverage reachability techniques enabled by mixed monotone systems theory. Mixed monotonicity decomposes a dynamical system's vector field into cooperative and competitive elements, resulting in a larger dimensional monotone system for which powerful results from monotone systems theory for, e.g., reachability and invariance are applicable. Notably, these methods offer two key properties: they enable reachable set over-approximations that can be computed very fast for, e.g., inclusion at runtime in feedback controllers, and they scale to high dimensional systems such as neural networks. We demonstrate how both of these appealing features enable RTA mechanisms with provable guarantees for learning-enabled control systems.
Biography: Samuel. Coogan is an associate professor and the Demetrius T. Paris Junior Professor at the Georgia Institute of Technology in the School of Electrical and Computer Engineering and the School of Civil and Environmental Engineering. Prior to joining Georgia Tech in 2017, he was an assistant professor at the University of California, Los Angeles from 2015 to 2017. His research is in the area of dynamical systems and autonomy and focuses on developing scalable tools for verification and control of networked, cyber-physical systems with an emphasis on transportation systems. He received a CAREER Award from the National Science Foundation in 2018, a Young Investigator Award from the Air Force Office of Scientific Research in 2019, and the Donald P Eckman Award from the American Automatic Control Council in 2020.
Host: Pierluigi Nuzzo, firstname.lastname@example.org
Audiences: Everyone Is Invited
Contact: Talyia White