Control formula for nonlinear systems subject to convex input constraints using control Lyapunov functions