Skip to Main content Skip to Navigation
Journal articles

The mathematical foundations of physical systems modeling languages

Abstract : Modern modeling languages for general physical systems, such as Modelica, Amesim, or Simscape, rely on Differential Algebraic Equations (DAEs), i.e., constraints of the form f(x′,x,u) = 0. This drastically facilitates modeling from first principles of the physics, as well as the reuse of models. In this paper, we develop the mathematical theory needed to establish the development of compilers and tools for DAE-based physical modeling languages on solid mathematical bases. Unlike Ordinary Differential Equations (ODEs, of the form x′ = f(x,u)), DAEs exhibit subtle issues because of the notion of differentiation index and related latent equations-ODEs are DAEs of index zero, for which no latent equation needs to be considered. Prior to generating execution code and calling solvers, the compilation of such languages requires a nontrivial structural analysis step that reduces the differentiation index to a level acceptable by DAE solvers. The models supported by tools of the Modelica class involve multiple modes, with mode-dependent DAE based dynamics and state-dependent mode switching. However, multimode DAEs are much more difficult to handle than DAEs, especially because of the events of mode change. Unfortunately, the large literature devoted to the mathematical analysis of DAEs does not cover the multimode case, typically saying nothing about mode changes. This lack of foundations causes numerous difficulties to the existing modeling tools. Some models are well handled, others are not, with no clear boundary between the two classes. In this paper, we develop a comprehensive mathematical approach supporting compilation and code generation for this class of languages. Its core is the structural analysis of multimode DAE systems. As a byproduct of this structural analysis, we propose sound criteria for accepting or rejecting multimode models. Our mathematical development relies on nonstandard analysis, which allows us to cast hybrid system dynamics to discrete-time dynamics with infinitesimal step size, thus providing a uniform framework for handling both continuous dynamics and mode change events.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-03045498
Contributor : Albert Benveniste <>
Submitted on : Tuesday, December 8, 2020 - 5:31:05 PM
Last modification on : Friday, January 8, 2021 - 3:39:50 AM

Identifiers

Citation

Albert Benveniste, Benoît Caillaud, Mathias Malandain. The mathematical foundations of physical systems modeling languages. Annual Reviews in Control, Elsevier, In press, ⟨10.1016/j.arcontrol.2020.08.001⟩. ⟨hal-03045498⟩

Share

Metrics

Record views

17

Files downloads

34