Asymptotic Stability of Dynamical System by Lyapunov's Direct Method - from Wolfram by Brenda McCaffrey http://demonstrations.wolfram.com/AsymptoticStabilityOfDynamicalSystemByLyapunovsDirectMethod/