Lyapunov function — concept in the analysis of dynamical systems