Methods for Constructing Lyapunov Functions for A Class of Nonlinear Systems | IEEE Conference Publication | IEEE Xplore