Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid systems, vol.736, pp.209-229, 1993. ,
A complementarity approach to modeling dynamic electric circuits, 2016. ,
Structural analysis of multi-mode DAE systems, HSCC, pp.253-263, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01343967
Compositionality in dataflow synchronous languages: Specification and distributed code generation, Inf. Comput, vol.163, issue.1, pp.125-171, 2000. ,
Structural Analysis of Multi-Mode DAE Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01343967
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
Constructive semantics of Esterel: From theory to practice (abstract), AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, p.225, 1996. ,
Julia: A fresh approach to numerical computing, SIAM Review, vol.59, issue.1, pp.65-98, 2017. ,
Numerical Solution of Initial Value Problems in Differential-Algebraic Equations, 1996. ,
Linear Operators, Part I, General Theory, 1958. ,
Systems Modeling and Programming in a Unified Environment based on Julia, Proc. of ISoLA Conference, 2016. ,
Innovations for Future Modelica, Proc. of the 12th International Modelica Conference, 2017. ,
Modelica extensions for multi-mode DAE systems, Proc. of the 10th Int. Modelica Conference, 2014. ,
Differential-algebraic equation index transformations, SIAM J. Sci. Stat. Comput, vol.9, issue.1, pp.39-47, 1988. ,
Automatic integration of eulerlagrange equations with constraints, Journal of Computational and Applied Mathematics, vol.12, pp.77-90, 1985. ,
On the dynamic analysis of piecewise-linear networks, IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol.49, issue.3, pp.315-327, 2002. ,
System dynamics: a unified approach. A Wiley interscience publication, 1990. ,
An invitation to nonstandard analysis, Nonstandard Analysis and its Applications, pp.1-105, 1988. ,
Multi-Mode DAE Systems with Varying Index, Proc. of the 11th Int. Modelica Conference, 2015. ,
Hybrid systems of differential-algebraic equations -analysis and numerical solution, Special Section on Hybrid Systems: Modeling, Simulation and Optimization, vol.19, pp.1218-1228, 2009. ,
A Unified Object-Oriented Language for Systems Modeling. Language Specification, Modelica Association, 2017. ,
Transformation of Differential Algebraic Array Equations to Index One Form, Proc. of the 12th International Modelica Conference, 2017. ,
The consistent initialization of differential-algebraic systems, SIAM J. Sci. Stat. Comput, vol.9, issue.2, pp.213-231, 1988. ,
A Compositional Semantics for Modelica-style Variable-structure Modeling, 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011. ,
On non-smooth multibody dynamics, Proceedings of the Institution of Mechanical Engineers, vol.226, pp.147-177, 2012. ,
Multibody Dynamics with Unilateral Contacts, 2008. ,
A simple structural analysis method for DAEs, BIT, vol.41, issue.2, pp.364-394, 2001. ,
Nonstandard Analysis, Princeton Landmarks in Mathematics, 1996. ,
Discussion of the Gear-Gupta-Leimkuhler method for impacting mechanical systems, Multibody System Dynamics, vol.31, pp.477-495, 2013. ,
The index of general nonlinear DAEs, Numer. Math, vol.72, pp.173-196, 1995. ,
Introduction to Bond Graphs and Their Applications. Pergamon international library of Science, technology, engineering and social studies, 1975. ,
Distributional Differential Algebraic Equations, 2009. ,
Equation-Based Modeling of Variable-Structure Systems, 2010. ,