Lyapunov methods