A comparative study on voltage stability analysis of single machine infinite bus system using Lyapunov methods | IEEE Conference Publication | IEEE Xplore