The article “Mathematical Foundations of Physical Systems Modeling Languages”, co-authored by Albert Benveniste, Benoît Caillaud and Mathias Malandain from the Hycomes team at INRIA Rennes at Inria Rennes, has been accepted by the IFAC journal Annual Reviews in Control. The author version was made available in August 2020.
A comprehensive mathematical approach supporting compilation and code generation for DAE-based modeling languages is proposed. In particular, sound criteria for accepting or rejecting multimode models are given as byproducts of this analysis. The mathematical development relies on nonstandard analysis, providing a uniform framework for handling both continuous dynamics and mode change events.
L.Corona Mesa-Moles, J.P.Argaud, A.Jardin, A.Benssy, Y.Dong - EDF