8. Lyapunov function and stabilization 8.1 Basic example Consider the following nonlinear oscillator: d2dt2z+kddtz+g (z)=0 with : k : strictly positive parameter, g : ...