Lyapunov function

Concept

A function used in the Lyapunov stability theorem that must be positive definite, have a negative semidefinite (or negative definite) derivative along system trajectories, and be radially unbounded.

Mentioned in 1 video