A robust control technique that combines Control Lyapunov Function and Hamilton-Jacobi Reachability to compute a controller and its Region of Attraction for nonlinear systems with bounded model uncertainty.
