Lyapunov functions for impulse and hybrid control systems | IEEE Conference Publication | IEEE Xplore