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
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
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
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
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
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=10.1.1.656.9678
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. ,
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
Hytech: A model checker for hybrid systems, Computer Aided Verification: 9th International Conference, CAV'97, pp.460-463, 1997. ,
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
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=10.1.1.26.5127
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
Behavioural unfolding of formal specifications based on communicating automata, Proceedings of first Workshop on Automated technology for verification and analysis, 2003. ,
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
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
KAM : a system for intelligently guiding numerical experimentation by computer, Artificial intelligence, 1991. ,
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