1. Artstein, Z.: Stabilization with relaxed controls. Nonlinear Analysis, Theory, Methods, and Applications 7, 1163–1173 (1983)
2. Bicchi, A., Marigo, A., Piccoli, B.: On the reachability of quantized control systems. IEEE Transaction on Automatic Control 47(4), 546–563 (2002)
3. Bicchi, A., Marigo, A., Piccoli, B.: Feedback encoding for efficient symbolic control of dynamical systems. IEEE Transaction on Automatic Control 51(6), 987 (2006)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Girard, A., Pappas, G.: Approximate bisimulations for constrained linear systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, IEEE Computer Society Press, Los Alamitos (2005)