Hamilton-Jacobi reachability for hybrid systems: Unified goal-driven control with safety guarantees
Hybrid dynamical systems provide a powerful modeling framework for robotic systems, particularly in contact-rich environments. However, ensuring safety and performance in such systems remains challenging due to the intricate coupling between continuous dynamics and discrete mode transitions. In this work, we extend cla...