Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints

Open in new window