Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions

Javier Borquez, Shuang Peng, Yiyu Chen +2

Hybrid dynamical systems with nonlinear dynamics are one of the most general modeling tools for representing robotic systems, especially contact-rich systems. However, providing gu…