Stabilization of a class of mechanical systems with impulse effects by Lyapunov constraints | IEEE Conference Publication | IEEE Xplore