A.  Agostini, Balluchi, A., Bicchi, A., Piccoli, B., Sangiovanni Vincentelli, A., and Zadarnowska, K., ?Randomized Algorithms for Platform?based Design?, in Proc. IEEE Int. Conf. on Decision and Control, 2005, pp. 6638 - 6643. 

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. 

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.