Control formula for nonlinear systems subject to convex input constraints using control Lyapunov functions | IEEE Conference Publication | IEEE Xplore