, Generic Blocks within a long mode

. .. General-case, 58 7.4.1 Index reduction with Difference Arrays, p.61

, 3, it is shown that multi-body systems with contacts yield semilinear mDAE systems. within, Comment, vol.18, issue.9

, parameter Real C2 = 0.15; Real i1

, Real u1

, Real v2(start=1.0,fixed=true); s2

, Boolean g1(start=false)

, Boolean g2(start=false)

A. Vincent and B. Bernard, Numerical Methods for Nonsmooth Dynamical Systems, Lecture Notes in Applied and Computational Mechanics, vol.35, 2008.

A. Agrawal, S. Diamond, and S. P. Boyd, Disciplined geometric programming, Optimization Letters, vol.13, issue.5, pp.961-976, 2019.

R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid systems, vol.736, pp.209-229, 1993.

U. M. Ascher and L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Society for Industrial and Applied Mathematics, 1998.

A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, Nonlinear Analysis: Hybrid Systems, vol.26, pp.168-189, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00938866

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Nonstandard semantics of hybrid systems modelers, J. Comput. Syst. Sci, vol.78, issue.3, pp.877-910, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00766726

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural Analysis of Multi-Mode DAE Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01521918

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural analysis of multi-mode DAE systems, HSCC, pp.253-263, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01521918

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., 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

A. Benveniste, B. Caillaud, and P. L. Guernic, Compositionality in dataflow synchronous languages: Specification and distributed code generation, Inf. Comput, vol.163, issue.1, pp.125-171, 2000.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.

C. Berge, The theory of graphs and its applications, 1962.

G. Berry, 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.

S. Bliudze, Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, 2006.

S. Bliudze and D. Krob, Modelling of complex systems: Systems as dataflow machines, Fundam. Inform, vol.91, issue.2, pp.251-274, 2009.

T. Bourke and M. Pouzet, Zélus: A synchronous language with ODEs, Hybrid Systems: Computation and Control (HSCC), pp.113-118, 2013.

K. E. Brenan, S. L. Campbell, and L. R. Petzold, Numerical Solution of Initial Value Problems in Differential-Algebraic Equations, 1996.

D. Broman and J. G. Siek, Modelyze: a gradually typed host language for embedding equation-based modeling languages, 2012.

R. E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, C, vol.35, issue.8, pp.677-691, 1986.

B. Caillaud, M. Malandain, and J. Thibault, 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

B. Caillaud, M. Malandain, and J. Thibault, Implicit Structural Analysis of Multimode DAE Systems, 2020.
URL : https://hal.archives-ouvertes.fr/hal-02476541

S. L. Campbell and C. W. Gear, The index of general nonlinear DAEs, Numer. Math, vol.72, pp.173-196, 1995.

H. Cartan, Formes Différentielles. Collection Méthodes. Hermann, 1967.

N. Cutland, Nonstandard analysis and its applications, 1988.

J. Dieudonné, Fondements de l'analyse moderne, 1965.

I. S. Duff, A. M. Erisman, and J. K. Reid, Direct Methods for Sparse Matrices. Numerical Mathematics and Scientific Computation, 1986.

N. Dunford and J. Schwartz, Linear Operators, Part I, General Theory, 1958.

H. Elmqvist, T. Henningsson, and M. Otter, 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.

H. Elmqvist, S. Mattsson, and M. Otter, Modelica extensions for multi-mode DAE systems, Proc. of the 10th Int. Modelica Conference, 2014.

I. Hasuo, Metamathematics for systems design -comprehensive transfer of formal methods techniques to cyber-physical systems, New Generation Comput, vol.35, issue.3, pp.271-305, 2017.

W. P. Heemels, M. K. Camlibel, and J. M. Schumacher, 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.

C. Höger, Dynamic structural analysis for daes, Proceedings of the 2014 Summer Simulation Multiconference, p.12, 2014.

C. Höger, Elaborate control: variable-structure modeling from an operational perspective, Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT '17, pp.51-60, 2017.

Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta, Modeling time in hybrid systems: How fast is "instantaneous, IJCAI, pp.1773-1781, 1995.

D. Liberzon and S. Trenn, Switched nonlinear differential algebraic equations: Solution theory, lyapunov functions, and stability, Automatica, vol.48, issue.5, pp.954-963, 2012.

T. Lindstrøm, An invitation to nonstandard analysis, Nonstandard Analysis and its Applications, pp.1-105, 1988.

S. Mattsson, M. Otter, and H. Elmqvist, Multi-Mode DAE Systems with Varying Index, Proc. of the 11th Int. Modelica Conference, 2015.

S. E. Mattsson and G. Söderlind, Index reduction in Differential-Algebraic Equations using dummy derivatives, Siam J. Sci. Comput, vol.14, issue.3, pp.677-692, 1993.

V. Mehrmann and L. Wunderlich, 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.

H. Nakamura, K. Kojima, K. Suenaga, and A. Igarashi, A nonstandard functional programming language, Programming Languages and Systems -15th Asian Symposium, vol.10695, pp.514-533, 2017.

C. Pantelides, The consistent initialization of differential-algebraic systems, SIAM J. Sci. Stat. Comput, vol.9, issue.2, pp.213-231, 1988.

P. Pepper, A. Mehlhase, C. Höger, and L. Scholz, A compositional semantics for modelica-style variable-structure modeling, th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011.

L. Petzold, Differential algebraic equations are not ODEs, SIAM J. Sci. Stat. Comput, vol.3, pp.367-384, 1982.

F. Pfeiffer, On non-smooth multibody dynamics, Proceedings of the Institution of Mechanical Engineers, vol.226, pp.147-177, 2012.

F. Pfeiffer and C. Glocker, Multibody Dynamics with Unilateral Contacts, 2008.

A. Platzer, Logical Foundations of Cyber-Physical Systems, 2018.

A. Pothen and C. Fan, Computing the block triangular form of a sparse matrix, ACM Trans. Math. Softw, vol.16, issue.4, pp.303-324, 1990.

D. Potop-butucaru, S. A. Edwards, and G. Berry, Compiling Esterel, 2007.

J. D. Pryce, A simple structural analysis method for DAEs, BIT, vol.41, issue.2, pp.364-394, 2001.

A. Robinson, Nonstandard Analysis, Princeton Landmarks in Mathematics, 1996.

S. Schoeder, H. Ulbrich, and T. Schindler, Discussion of the Gear-Gupta-Leimkuhler method for impacting mechanical systems, Multibody System Dynamics, vol.31, pp.477-495, 2013.

K. Suenaga, H. Sekine, and I. Hasuo, Hyperstream processing systems: nonstandard modeling of continuous-time signals, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, pp.417-430, 2013.

S. Trenn, Distributional Differential Algebraic Equations, 2009.

S. Trenn, Regularity of distributional differential algebraic equations, MCSS, vol.21, issue.3, pp.229-264, 2009.

D. Zimmer, Equation-Based Modeling of Variable-Structure Systems, 2010.