Systematic construction of Lyapunov functions for nonlinear systems in critical cases | IEEE Conference Publication | IEEE Xplore