Robust Undecidability of Timed and Hybrid Systems, Hybrid Systems : Computation and Control, pp.145-159, 2000. ,
DOI : 10.1007/3-540-46430-1_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2314
HASL: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, pp.53-77, 2015. ,
DOI : 10.1016/j.peva.2015.04.003
URL : https://hal.archives-ouvertes.fr/hal-01221815
An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012. ,
DOI : 10.1145/2248418.2248437
Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012. ,
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726
Low-order classical Runge-Kutta formulas with stepsize control and their application to some heat transfer problems, ser. NASA technical report. National Aeronautics and Space Administration, 1969. ,
DOI : 10.1007/bf02253322