Practical stability of discrete event systems using Lyapunov methods | IEEE Conference Publication | IEEE Xplore