Lyapunov 1892 doctoral thesis: V(x) > 0, dV/dt < 0 in neighborhood -> origin asymptotically stable; converse Massera 1949; basis of nonlinear-control + adaptive-systems theory.
Lyapunov 1892 doctoral thesis: V(x) > 0, dV/dt < 0 in neighborhood -> origin asymptotically stable; converse Massera 1949; basis of nonlinear-control + adaptive-systems theory.