Tutorial on Reachability Analysis for AV and Robotic Applications

This tutorial lead by Shreyas Kousik, postdoctoral scholar in the Autonomous Systems Lab, explores reachability analysis, a fundamental tool in the study of safety and performance of uncertain dynamical systems. We will start with an overview of how reachability analysis fits into control and will enumerate common reachable set definitions. The overall goal of this tutorial is to introduce reachability as a framework for understanding and implementing safety and performance guarantees of control systems.