C. R. Alur, N. Courcoubetis, T. A. Halbwachs, P. Henzinger, A. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

]. P. Acz88 and . Aczel, Non-well-founded sets, volume 14 of CSLI Lecture Notes. Stanford University Center for the Study of Language and Information, 1988.

D. [. Alur and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

T. [. Alur, G. Henzinger, G. J. Lafferriere, and . Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.
DOI : 10.1109/5.871304

E. Asarin, G. Schneider, and S. Yovine, On the Decidability of the Reachability Problem for Planar Differential Inclusions, Lecture Notes in Computer Science, vol.2034, pp.89-104, 2001.
DOI : 10.1007/3-540-45351-2_11

O. [. Bruyère and . Carton, Automata on Linear Orderings, Mathematical foundations of computer scienceMariánské Lázn? e), pp.236-247, 2001.
DOI : 10.1007/3-540-44683-4_21

J. [. Bouajjani, N. Fernandez, and . Halbwachs, Minimal model generation, Computer-Aided Verification: Proc. of the 2nd International Conference CAV'90, pp.197-203, 1991.
DOI : 10.1007/BFb0023733

T. Brihaye and C. Michaux, On the expressiveness and decidability of o-minimal hybrid systems, Journal of Complexity, vol.21, issue.4, pp.447-478, 2005.
DOI : 10.1016/j.jco.2004.09.003

C. [. Brihaye, C. Michaux, C. Rivì, and . Troestler, On O-Minimal Hybrid Systems, Lecture Notes in Computer Science, vol.2993, pp.219-233, 2004.
DOI : 10.1007/978-3-540-24743-2_15

]. D. Cau95 and . Caucal, Bisimulation of context-free grammars and of pushdown automata. In Modal logic and process algebra (Amsterdam, 1994), volume 53 of CSLI Lecture Notes, pp.85-106, 1995.

]. J. Dav99 and . Davoren, Topologies, continuity and bisimulations Fixed points in computer science, Theor. Inform. Appl, vol.33, issue.4- 5, pp.357-381, 1998.

]. T. Hen95 and . Henzinger, Hybrid automata with finite bisimulations, ICALP 95: Automata, Languages, and Programming, pp.324-335, 1995.

]. T. Hen96 and . Henzinger, The theory of hybrid automata, Proceedings of the 11th Annual Symposium on Logic in Computer Science, pp.278-292, 1996.

T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, What's Decidable about Hybrid Automata?, 27th Annual ACM Symposium on the Theory of Computing (STOC'95), pp.94-124, 1998.
DOI : 10.1006/jcss.1998.1581

URL : http://doi.org/10.1006/jcss.1998.1581

X. [. Henzinger, J. Nicollin, S. Sifakis, and . Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1992.
DOI : 10.1109/LICS.1992.185551

]. A. Jds04, A. J. Julius, . Van, and . Schaft, State maps of general behaviors, their lattice structure and bisimulations, Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems (MTNS2004), 2004.

C. Paris, S. A. Kanellakis, and . Smolka, CCS expressions, finite state processes, and three problems of equivalence, Inform. and Comput, vol.86, issue.1, pp.43-68, 1990.

N. [. Korovina and . Vorobjov, Pfaffian Hybrid Systems, Lecture Notes in Computer Science, vol.3210, pp.430-441, 2004.
DOI : 10.1007/978-3-540-30124-0_33

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

V. Margarita, N. Korovina, and . Vorobjov, Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems, CiE, pp.267-276, 2006.

G. Lafferriere, G. J. Pappas, and S. Sastry, O-Minimal Hybrid Systems, Mathematics of Control, Signals, and Systems, vol.13, issue.1, pp.1-21, 2000.
DOI : 10.1007/PL00009858

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

]. A. Rab03 and . Rabinovich, Automata over continuous time, Theoret. Comput. Sci, vol.300, issue.1-3, pp.331-363, 2003.

K. [. Simic, S. Johansson, J. Sastry, and . Lygeros, Towards a Geometric Theory of Hybrid Systems, Lecture Notes in Computer Science, vol.1790, pp.421-436, 2000.
DOI : 10.1007/3-540-46430-1_35

]. J. Tru89 and . Truss, Infinite permutation groups. II. Subgroups of small index, J. Algebra, vol.120, issue.2, pp.494-515, 1989.

J. C. Willems, Paradigms and puzzles in the theory of dynamical systems, IEEE Transactions on Automatic Control, vol.36, issue.3, pp.259-294, 1991.
DOI : 10.1109/9.73561