Computing regions of stabilizability for nonlinear control systems with input constraints | IEEE Conference Publication | IEEE Xplore