Numerical Methods for Nonsmooth Dynamical Systems, ser. Lecture Notes in Applied and Computational Mechanics, 2008. ,
Divide and recycle: types and compilation for a hybrid synchronous language, pp.61-70, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654112
The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013. ,
DOI : 10.1145/2461328.2461348
Operational Semantics of Hybrid Systems, HSCC, pp.25-53, 2005. ,
DOI : 10.1007/978-3-540-31954-2_2
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.114-123, 2007. ,
DOI : 10.1145/1289927.1289949
The Consistent Initialization of Differential-Algebraic Systems, SIAM Journal on Scientific and Statistical Computing, vol.9, issue.2, pp.213-231, 1988. ,
DOI : 10.1137/0909014
The index of general nonlinear DAEs, Numer. Math, vol.72, pp.173-196, 1995. ,
Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives, SIAM Journal on Scientific Computing, vol.14, issue.3, pp.677-692, 1993. ,
DOI : 10.1137/0914043