A.  Marigo, Piccoli, B., and Bicchi, A., ?Reachability Analysis for a Class of Quantized Control Systems?, in Proc. IEEE Int. Conf. on Decision and Control, Sydney, AU, 2000, pp. 3963-3968.