Lyapunov Function Method

A stability-analysis method that constructs scalar Lyapunov functions—real-valued functions on the state space—whose sign and time derivative along system trajectories provide certificates of stability, asymptotic behavior, or instability for deterministic dynamical systems.