Formulation of a definite class of Lyapunov functions | IEEE Journals & Magazine | IEEE Xplore