Analyse structurelle implicite des syst\'emes de DAE multimodes

Autor: Joan Thibault, Mathias Malandain, Benoît Caillaud
Přispěvatelé: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Inria Rennes - Bretagne Atlantique, IRISA, Université de Rennes, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Jazyk: angličtina
Rok vydání: 2020
Předmět:
multi-mode systems
030213 general clinical medicine
0209 industrial biotechnology
Hybrid systems
Modeling language
Computer science
Multimode systems
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
02 engineering and technology
Modelica
isamdae
analyse structurelle
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
03 medical and health sciences
020901 industrial engineering & automation
0302 clinical medicine
Dependency graph
StructAnalysis
́equations alg ́ebro-diff ́erentielles (DAE)
structural analysis
DAE
FUIModeliscale
ComputingMilieux_MISCELLANEOUS
variable-structure models
mDAE
mod`eles `a structure variable
Binary decision diagram
Systèmes multimodes
State vector
binary decision diagrams (BBD)
syst`emes multi-mode
IPLModeliscale
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Equations algébro-différentielles
HybridLang
Ordinary differential equation
Modèles à structure variable
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Variable structure systems
differential-algebraic equations (DAE)
diagrammes de d ́ecision binaires (BDD)
Differential algebraic equation
Algorithm
Combinatorial explosion
Zdroj: [Research Report] RR-9322, Inria Rennes-Bretagne Atlantique; IRISA, Université de Rennes. 2020
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
HSCC
HAL
DOI: 10.1145/3365365.3382201⟩
Popis: The Modelica mathematical modeling language, based on Differential Algebraic Equations (DAE), brings several specific issues that do not exist with modeling languages based on Ordinary Differential Equations. The main problem is the determination of the differentiation index and latent equations. Prior to generating simulation code and calling solvers, the compilation of a Modelica model requires a structural analysis step, which reduces the differentiation index to a level acceptable by numerical solvers. The Modelica language allows hybrid models with multiple modes, mode-dependent dynamics and state-dependent mode switching. These Multimode DAE (mDAE) systems are much harder to deal with. The main difficulties are (i) the combinatorial explosion of the number of modes, and (ii) the correct handling of mode switchings. The focus of this report is on the first issue, namely : How can one perform a structural analysis of an mDAE in all possible modes, without enumerating these modes? A structural analysis algorithmfor mDAE systems is presented, based on an implicit representation of the varying structure of an mDAE. It generalizes J. Pryce’s structural analysis method to the multimode case and uses Binary Decision Diagrams (BDD) to represent the mode-dependent structure of an mDAE. The algorithm determines, as a function of the mode, the set of latent equations, the leading variables and the state vector. This is then used to compute a mode-dependent block-triangular decomposition ofthe system, that can be used to generate simulation code with a mode-dependent scheduling of the blocks of equations.This report is an extended version of the homonym paper, published in the proceedings of the HSCC’20 conference.; Le langage de modélisation mathématique Modelica, basé sur les systèmes d'équations algebro-différentielles (Differential Algebraic Equations, ou DAE), présente des difficultés qui n’apparaissent pas dans la modélisation à base d'éequations différentielles ordinaires.Le problème principal consiste à déterminer l’indice de différentiation et les équations latentes d’un système. Lors de la compilation d’un modèle Modelica, un prérequis `à la génération de code de simulation et `a l’appel de solveurs est une étape d’analyse structurelle, qui réduit l’indice de différentiation à un niveau acceptable par les solveurs numériques.Le langage Modelica permet l’écriture de modèles hybrides, ou multimodes, dont la dynamique dépend du mode, et où les changements de mode sont conditionnés par les variables d’état. Ces DAE multimodes (mDAE) sont considérablement plus difficiles `a traiter, les obstacles principaux étant (i) l’explosion combinatoire du nombre de modes, et (ii) la prise en charge des changements de mode.Ce rapport se focalise sur le premier point: Comment effectuer l’analyse structurelle d’une mDAE en prenant en compte tous ses modes, mais sans énumérer ces derniers ? Un algorithme d’analyse structurelle de systèmes de mDAE est proposé; il s’appuie sur une représentationimplicite de la structure variable de la mDAE considéŕée. La méthode présentée généralise celle de Pryce au cas multimode, et utilise des Diagrammes de Décision Binaire (Binary Decision Diagrams, ou BDD) pour représenter la structure variable d’une mDAE. L’algorithme détermine l’ensemble des équations latentes, les variables de tête et le vecteur d’état, en tant que fonctions du mode. Ces informations permettent ensuite de décomposer le système en une forme triangulaire par blocs dépendant du mode. Cette dernière peut, par la suite, être utilisée pour générer du code de simulation efficace, en prenant en compte un ordonnancement des blocs d’équations qui dépend du mode. Ce rapport est une version étendue de l’article homonyme, publié dans les actes de la conférence HSCC’20.
Databáze: OpenAIRE
Externí odkaz: