From hybrid automata to DAE-based modeling
DOI10.1007/978-3-031-22337-2_1zbMath1528.68174OpenAlexW4313018398MaRDI QIDQ6113968
Mathias Malandain, Benoît Caillaud, Albert Benveniste
Publication date: 10 August 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-22337-2_1
Formal languages and automata (68Q45) Implicit ordinary differential equations, differential-algebraic equations (34A09) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Other applications of nonstandard models (economics, physics, etc.) (03H10) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-standard semantics of hybrid systems modelers
- Switched nonlinear differential algebraic equations: solution theory, Lyapunov functions, and stability
- Regularity of distributional differential algebraic equations
- The index of general nonlinear DAEs
- Multi-mode DAE models -- challenges, theory and implementation
- The Consistent Initialization of Differential-Algebraic Systems
- Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives
- Implicit structural analysis of multimode DAE systems
- On the dynamic analysis of piecewise-linear networks
- A simple structural analysis method for DAEs