Skip to Main content Skip to Navigation
Book sections

Multi-Mode DAE Models - Challenges, Theory and Implementation

Albert Benveniste 1 Benoît Caillaud 1 Hilding Elmqvist 2 Khalil Ghorbal 1 Martin Otter 3 Marc Pouzet 4, 5
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
5 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : Our objective is to model and simulate Cyber-Physical Systems (CPS) such as robots, vehicles, and power plants. The structure of CPS models may change during simulation due to the desired operation, due to failure situations or due to changes in physical conditions. Corresponding models are called multi-mode. We are interested in multi-domain, component-oriented modeling as performed, for example, with the modeling language Modelica that leads naturally to Differential Algebraic Equations (DAEs). This paper is thus about multi-mode DAE systems. In particular, new methods are discussed to overcome one key problem that was only solved for specific subclasses of systems before: How to switch from one mode to another one when the number of equations may change and variables may exhibit impulsive behavior? An evaluation is performed both with the experimental modeling and simulation system Modia, a domain specific language extension of the programming language Julia, and with SunDAE, a novel structural analysis library for multi-mode DAE systems.
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-02333603
Contributor : Benoît Caillaud <>
Submitted on : Friday, October 25, 2019 - 3:55:59 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:49 PM
Document(s) archivé(s) le : Sunday, January 26, 2020 - 3:31:17 PM

File

_lncs10k_multimode.pdf
Files produced by the author(s)

Identifiers

Citation

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, et al.. Multi-Mode DAE Models - Challenges, Theory and Implementation. Computing and Software Science: State of the Art and Perspectives, 10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩. ⟨hal-02333603⟩

Share

Metrics

Record views

220

Files downloads

440