Binary decision diagrams, IEEE Transactions on Computers, C, vol.27, issue.6, pp.509-516, 1978. ,
Building a hybrid systems modeler on synchronous languages principles, Proceedings of the IEEE, vol.106, issue.9, pp.1568-1592, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01879026
Structural analysis of multi-mode DAE systems, Proc. of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01521918
Multi-mode DAE models -challenges, theory and implementation, Computing and Software Science -State of the Art and Perspectives, vol.10000, pp.283-310, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02333603
Modelyze: a gradually typed host language for embedding equation-based modeling languages, 2012. ,
Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, C, vol.35, issue.8, pp.677-691, 1986. ,
Implicit structural analysis of multimode DAE systems, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020), 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02476541
The index of general nonlinear DAEs, Numerische Mathematik, vol.72, issue.2, pp.173-196, 1995. ,
Detection of impulsive effects in switched DAEs with applications to power electronics reliability analysis, Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, pp.5662-5667, 2010. ,
Direct Methods for Sparse Matrices, 2017. ,
Theoretical improvements in algorithmic efficiency for network flow problems, Journal of the ACM, vol.19, issue.2, pp.248-264, 1972. ,
Systems modeling and programming in a unified environment based on Julia, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pp.198-217, 2016. ,
Modelica extensions for multi-mode DAE systems, Proceedings of the 10th International Modelica Conference, 2014. ,
Principles of Object Oriented Modeling and Simulation with Modelica 3.3, 2014. ,
A new approach to the maximum flow problem, Proceedings of the eighteenth annual ACM symposium on Theory of computing -STOC '86, 1986. ,
Representation of switching circuits by binary-decision programs, Bell System Technical Journal, vol.38, issue.4, pp.985-999, 1959. ,
Switched nonlinear DAE: Solution theory, Lyapunov functions, and stability, Automatica, vol.48, issue.5, pp.954-963, 2012. ,
The consistent initialization of differential-algebraic systems, SIAM Journal on Scientific and Statistical Computing, vol.9, issue.2, pp.213-231, 1988. ,
Computing the block triangular form of a sparse matrix, ACM Trans. Math. Softw, vol.16, issue.4, pp.303-324, 1990. ,
A simple structural analysis method for DAEs, BIT Numerical Mathematics, vol.41, issue.2, pp.364-394, 2001. ,
Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, pp.309-322, 1986. ,
Depth-first search and linear graph algorithms, 12th Annual Symposium on Switching and Automata Theory, 1971. ,