Lyapunov Function

Natural & Formal Sciences Dictionary
A scalar-valued function V(x) defined on a neighbourhood of an equilibrium of a dynamical system that is positive-definite and whose derivative along system trajectories has a definite sign (typically nonincreasing), used as a certificate of stability without solving trajectories.