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

Open in new window