A.  Bicchi, Marigo, A., and Piccoli, B., ?On the reachability of quantized control systems?, IEEE Trans. on Automatic Control, vol. 4, pp. 546-563, 2002.