Semantics of multi-mode DAE systems

Albert Benveniste 1 Timothy Bourke 2, 3 Benoît Caillaud 1 Marc Pouzet 2, 3
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
2 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Hybrid systems modelers exhibit a number of difficulties related to the mix of continuous and discrete dynamics and sensitivity to the discretization scheme. Modular modeling, where subsystems models can be simply assembled with no rework, calls for using Differential Algebraic Equations (DAE). In turn, DAE are strictly more difficult than ODE. They require sophisticated pre-processing using various notions of index before they can be submitted to a solver. In this report we study some fundamental issues raised by the modeling and simulation of hybrid systems involving DAEs. The objective of this work is to serve for the evolution and the design of future releases of the Modelica language for such systems. We focus on the following questions: * What is the proper notion of index for a hybrid DAE system? * What are the primitive statements needed for a DAE hybrid systems modeler? The differentiation index for DAE explicitly relies on everything being differentiable. Therefore, generalizations to hybrid systems must be done with caution. We propose relying on non-standard analysis for this. Non-standard analysis formalizes differential equations as discrete step transition systems with infinitesimal time basis. We can thus bring hybrid DAE systems to their nonstandard form, where the notion of difference index can be firmly used. From this study, general hints for future releases of Modelica can be drawn.
Type de document :
Autre publication
Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project. 2013
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger
Contributeur : Benoît Caillaud <>
Soumis le : mercredi 29 janvier 2014 - 16:51:21
Dernière modification le : vendredi 16 novembre 2018 - 01:39:20
Document(s) archivé(s) le : dimanche 9 avril 2017 - 02:44:02


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00938891, version 1


Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Semantics of multi-mode DAE systems. Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project. 2013. 〈hal-00938891〉



Consultations de la notice


Téléchargements de fichiers