Qualitativenumeric simulation with q3. Recent advances in qualitative physics, pp.285-313, 1992. ,
Garp3 ??? Workbench for qualitative modelling and simulation, Ecological Informatics, vol.4, issue.5-6, pp.263-281, 2009. ,
DOI : 10.1016/j.ecoinf.2009.09.009
QEPCAD B, ACM SIGSAM Bulletin, vol.37, issue.4, pp.97-108, 2003. ,
DOI : 10.1145/968708.968710
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
URL : http://users.ece.cmu.edu/~krogh/papers/ChK03.pdf
A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976. ,
DOI : 10.1109/TSE.1976.233817
Qualitative reasoning with higher-order derivatives, AAAI, pp.86-91, 1984. ,
Reasoning about energy in qualitative simulation, IEEE Transactions on Systems, Man, and Cybernetics, vol.22, issue.1, pp.47-63, 1992. ,
DOI : 10.1109/21.141310
Le test structurel pour la vérification de spécifications de systèmes industriels: L'outil agatha, Fiabilité & maintenabilité, pp.566-574, 1998. ,
Qualitative simulation and validation of complex hybrid systems, ERTS 2016, 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. ,
Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976. ,
DOI : 10.1145/360248.360252
Qualitative simulation, Artificial Intelligence, vol.29, issue.3, pp.289-338, 1986. ,
DOI : 10.1016/0004-3702(86)90073-1
Taming Intractible Branching in Qualitative Simulation, 1987. ,
DOI : 10.1016/B978-1-4832-1447-4.50019-5
Hybrid i/o automata. Information and computation, pp.105-157, 2003. ,
DOI : 10.1016/s0890-5401(03)00067-1
URL : https://doi.org/10.1016/s0890-5401(03)00067-1
A new approach of qualitative simulation for the validation of hybrid systems, GEMOC at MODELS 2016, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01398735
Temporal information in qualitative simulation, [1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp.298-305, 1991. ,
DOI : 10.1109/AIHAS.1991.138487
Behavioural unfolding of formal specifications based on communicating automata, Proc. 1st Workshop on Automated Technology for Verification and Analysis, 2003. ,
Integrating commonsense and qualitative simulation by the use of fuzzy sets, 4th International Workshop on Qualitative Physics, pp.220-232, 1990. ,