On the index of multi-mode DAE Systems (also called Hybrid DAE Systems) - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2014

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

Résumé

Hybrid systems modelers exhibit a number of difficulties related to the mix of continuousand discrete dynamics and sensitivity to the discretization scheme. Modular modeling, where subsystemsmodels can be simply assembled with no rework, calls for using Differential Algebraic Equations (DAE).In turn, DAE are strictly more difficult than ODE. In most modeling and simulation tools, beforesimulation can occur, sophisticated pre-processing is applied to DAE systems based on the notion ofdifferentiation index. Graph based algorithms such as the one originally proposed by Pantelides areefficient at finding the index, structurally (i.e., outside some exceptional values for the system parameters).The differentiation index for DAE explicitly relies on everything being differentiable. Therefore,extensions to hybrid systems must be done with caution—to our knowledge, no such extension exists.We propose to rely on non-standard analysis for this. Non-standard analysis formalizes differentialequations as discrete step transition systems with infinitesimal time basis. We can thus bring hybridDAE systems to their non-standard form, where the notion of difference index can be firmly used—thedifference index of a difference Algebraic Equation (dAE) is an easy transposition of the differentiationindex, in which forward shift replaces differentiation. We prove that the differentiation index of a DAEis structurally equal to the difference index of its non-standard interpretation, which is a dAE. We canthus propose the difference index of the non-standard semantics of a hybrid DAE system, as a consistentextension of both the differentiation index of DAE and the difference index of dAE.It turns out that the index theory for (discrete time) dAE systems is interesting in itself and raises newissues. We discuss graph based algorithms à la Pantelides for computing the dAE index and discussexamples.
Fichier principal
Vignette du fichier
RR-8630.pdf (1023.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01084069 , version 1 (18-11-2014)

Identifiants

  • HAL Id : hal-01084069 , version 1

Citer

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. On the index of multi-mode DAE Systems (also called Hybrid DAE Systems). [Research Report] RR-8630, Inria. 2014, pp.30. ⟨hal-01084069⟩
448 Consultations
335 Téléchargements

Partager

More