Lyapunov functions for Twisting and Terminal controllers | IEEE Conference Publication | IEEE Xplore