Strict Lyapunov function (source code)

= Strict Lyapunov function

$V(x_0)=0$, $V>0$ elsewhere, and $\dot V<0$ prove asymptotic stability; suitable sublevel sets lie in the basin.