J. Bengtsson, W. D. Griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson et al., Automated verification of an audio-control protocol using Uppaal, The Journal of Logic and Algebraic Programming, vol.52, issue.53, pp.163-181, 2002.
DOI : 10.1016/S1567-8326(02)00036-X

P. Bouyer, M. Colange, and N. Markey, Symbolic Optimal Reachability in Weighted Timed Automata, Computer Aided Verification: 28th International Conference, CAV 2016 Proceedings, Part I, pp.513-530, 2016.
DOI : 10.1007/978-3-319-41528-4_28

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, pp.298-302, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.64-75, 2003.
DOI : 10.1109/TAC.2002.806655

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

K. D. Forbus, Qualitative process theory, Artificial Intelligence, vol.24, issue.1-3, pp.85-168, 1984.
DOI : 10.1016/0004-3702(84)90038-9

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

J. P. Gallois and A. Lanusse, Le test structurel pour la vérification de spécifications de systèmes industriels: L'outil agatha. In: Fiabilité & maintenabilité. Colloque national, pp.566-574, 1998.

J. P. Gallois and J. Y. Pierron, Qualitative simulation and validation of complex hybrid systems, 8th European Congress on Embedded Real Time Software and Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291350

T. A. Henzinger, P. H. Ho, and H. Wong-toi, Hytech: A model checker for hybrid systems, Computer Aided Verification: 9th International Conference, CAV'97, pp.460-463, 1997.

J. D. Kleer and J. S. Brown, A qualitative physics based on confluences, Artificial Intelligence, vol.24, issue.1-3, pp.7-83, 1984.
DOI : 10.1016/0004-3702(84)90037-7

B. J. Kuipers, Qualitative simulation, Artificial Intelligence, vol.29, issue.3, pp.289-338, 1986.
DOI : 10.1016/0004-3702(86)90073-1

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

T. Nishida, Grammatical description of behaviors of ordinary differential equations in two-dimensional phase space, Artificial Intelligence, vol.91, issue.1, pp.3-32, 1997.
DOI : 10.1016/S0004-3702(96)00055-0

N. Rapin, C. Gaston, A. Lapitre, and J. P. Gallois, Behavioural unfolding of formal specifications based on communicating automata, Proceedings of first Workshop on Automated technology for verification and analysis, 2003.

E. P. Sacks, Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation, Artificial Intelligence, vol.48, issue.1, pp.27-56, 1991.
DOI : 10.1016/0004-3702(91)90079-Y

A. Tiwari and G. Khanna, Series of Abstractions for Hybrid Automata, Hybrid Systems: Computation and Control: 5th International Workshop, pp.465-478, 2002.
DOI : 10.1007/3-540-45873-5_36

K. M. Yip, KAM : a system for intelligently guiding numerical experimentation by computer, Artificial intelligence, 1991.

F. Zhao, Computational dynamics: Modeling and visualizing trajectory flows in phase space, Annals of Mathematics and Artificial Intelligence, vol.73, issue.3-4, pp.285-300, 1993.
DOI : 10.1007/BF01530794