D. Angeli and E. D. Sontag, Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems & Control Letters, vol.38, issue.4-5, pp.209-217, 1999.
DOI : 10.1016/S0167-6911(99)00055-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.6585

A. Anta and P. Tabuada, To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems, IEEE Transactions on Automatic Control, vol.55, issue.9, pp.2030-2042, 2010.
DOI : 10.1109/TAC.2010.2042980

E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, pp.1011-1025, 2000.
DOI : 10.1109/5.871306
URL : https://hal.archives-ouvertes.fr/inria-00099342

C. Baier and J. Katoen, Principles of model checking, volume 26202649, 2008.

A. Borri, G. Pola, M. D. Di, and . Benedetto, A symbolic approach to the design of nonlinear networked control systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.255-264, 2012.
DOI : 10.1145/2185632.2185670

J. Cámara, A. Girard, and G. Gössler, Safety controller synthesis for switched systems using multi-scale symbolic models, IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011.
DOI : 10.1109/CDC.2011.6160424

J. Cámara, A. Girard, and G. Gössler, Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Hybrid Systems: Computation and Control, pp.191-200, 2011.

C. Cassandras and S. Lafortune, Introduction to discrete event systems, 2007.

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597

J. Lygeros, K. H. Johansson, S. N. Simic, J. Zhang, and S. S. Sastry, Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.2-17, 2003.
DOI : 10.1109/TAC.2002.806650

S. Mouelhi, A. Girard, and G. Gössler, CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.83-88, 2013.
DOI : 10.1145/2461328.2461343
URL : https://hal.archives-ouvertes.fr/hal-00839613

G. Pola, A. Borri, M. D. Di-benedetto, G. Pola, A. Girard et al., Integrated Design of Symbolic Controllers for Nonlinear Systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2008.
DOI : 10.1109/TAC.2011.2164740

G. Pola, P. Pepe, M. D. Di-benedetto, and P. Tabuada, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems & Control Letters, vol.59, issue.6, pp.365-373, 2010.
DOI : 10.1016/j.sysconle.2010.04.001

G. Pola and P. Tabuada, Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.719-733, 2009.
DOI : 10.1137/070698580

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. Tabuada, Verification and control of hybrid systems -a symbolic approach, 2009.

Y. Tazaki and J. I. Imura, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, Hybrid Systems: Computation and Control, pp.351-365, 2009.
DOI : 10.1007/978-3-540-78929-1_30

Y. Tazaki and J. I. Imura, Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis, IEEE Transactions on Automatic Control, vol.57, issue.3, pp.550-564, 2012.
DOI : 10.1109/TAC.2011.2161789

M. Velasco, J. Fuertes, and P. Marti, The self triggered task model for real-time control systems, 24th IEEE Real-Time Systems Symposium, pp.67-70, 2003.

M. Zamani and A. Abate, Symbolic Control of Stochastic Switched Systems via Finite Abstractions, Quantitative Evaluation of Systems, pp.305-321, 2013.
DOI : 10.1007/978-3-642-40196-1_27

J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry, Zeno hybrid systems, International Journal of Robust and Nonlinear Control, vol.35, issue.5, pp.435-451, 2001.
DOI : 10.1002/rnc.592