, Generic Blocks within a long mode
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)
Numerical Methods for Nonsmooth Dynamical Systems, Lecture Notes in Applied and Computational Mechanics, vol.35, 2008. ,
Disciplined geometric programming, Optimization Letters, vol.13, issue.5, pp.961-976, 2019. ,
Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid systems, vol.736, pp.209-229, 1993. ,
Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Society for Industrial and Applied Mathematics, 1998. ,
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
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
Structural Analysis of Multi-Mode DAE Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01521918
Structural analysis of multi-mode DAE systems, HSCC, 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
Compositionality in dataflow synchronous languages: Specification and distributed code generation, Inf. Comput, vol.163, issue.1, pp.125-171, 2000. ,
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
The theory of graphs and its applications, 1962. ,
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. ,
Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, 2006. ,
Modelling of complex systems: Systems as dataflow machines, Fundam. Inform, vol.91, issue.2, pp.251-274, 2009. ,
Zélus: A synchronous language with ODEs, Hybrid Systems: Computation and Control (HSCC), pp.113-118, 2013. ,
Numerical Solution of Initial Value Problems in Differential-Algebraic Equations, 1996. ,
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
Implicit Structural Analysis of Multimode DAE Systems, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02476541
The index of general nonlinear DAEs, Numer. Math, vol.72, pp.173-196, 1995. ,
, Formes Différentielles. Collection Méthodes. Hermann, 1967.
Nonstandard analysis and its applications, 1988. ,
Fondements de l'analyse moderne, 1965. ,
, Direct Methods for Sparse Matrices. Numerical Mathematics and Scientific Computation, 1986.
Linear Operators, Part I, General Theory, 1958. ,
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, Proc. of the 10th Int. Modelica Conference, 2014. ,
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. ,
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. ,
Dynamic structural analysis for daes, Proceedings of the 2014 Summer Simulation Multiconference, p.12, 2014. ,
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. ,
Modeling time in hybrid systems: How fast is "instantaneous, IJCAI, pp.1773-1781, 1995. ,
Switched nonlinear differential algebraic equations: Solution theory, lyapunov functions, and stability, Automatica, vol.48, issue.5, pp.954-963, 2012. ,
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. ,
Index reduction in Differential-Algebraic Equations using dummy derivatives, Siam J. Sci. Comput, vol.14, issue.3, pp.677-692, 1993. ,
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 nonstandard functional programming language, Programming Languages and Systems -15th Asian Symposium, vol.10695, pp.514-533, 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, th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011. ,
Differential algebraic equations are not ODEs, SIAM J. Sci. Stat. Comput, vol.3, pp.367-384, 1982. ,
On non-smooth multibody dynamics, Proceedings of the Institution of Mechanical Engineers, vol.226, pp.147-177, 2012. ,
Multibody Dynamics with Unilateral Contacts, 2008. ,
Logical Foundations of Cyber-Physical Systems, 2018. ,
Computing the block triangular form of a sparse matrix, ACM Trans. Math. Softw, vol.16, issue.4, pp.303-324, 1990. ,
Compiling Esterel, 2007. ,
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. ,
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. ,
Distributional Differential Algebraic Equations, 2009. ,
Regularity of distributional differential algebraic equations, MCSS, vol.21, issue.3, pp.229-264, 2009. ,
Equation-Based Modeling of Variable-Structure Systems, 2010. ,