Control-Lyapunov function

In control theory, a control-Lyapunov function (CLF) is an extension of the idea of Lyapunov function V ( x ) {\displaystyle V(x)} to systems with control inputs. The ordinary Lyapunov function is used to test whether a dynamical system is (Lyapunov) stable or (more restrictively) asymptotically stable.