M.  Zoncu, Balluchi, A., Vincentelli, S. A., and Bicchi, A., ?Stabilization of a class of discrete-time hybrid automata?, in Proc. IEEE Int. Conf. on Decision and Control, 2003, pp. 1147-1152.