Lyapunov functions for systems described by high order differential equations | IEEE Conference Publication | IEEE Xplore