Maximal lyapunov functions and domains of attraction for autonomous nonlinear systemsA. VannelliM. Vidyasagar1985Automatica