Lyapunov Function -- from Wolfram MathWorldA Lyapunov function is a scalar function defined on a region that is continuous, positive definite, for all ), and has continuous first-order partial derivatives at every point of . The derivative of with respect to the system , written as is defined as the dot product The existence of a Lyapunov function for which on some region containing the origin, guarantees the stability of the zero solution
