The paper presents a computation-oriented method for characterizing and obtaining local control Lyapunov functions induced by particular star-shaped nonconvex sets for continuous-time nonlinear systems with bounded inputs. For a given set, the necessary and sufficient conditions for the induced function to be a nonconvex local control Lyapunov function are… (More)