Thursday October 10th 8h30. Départ 2 voitures: de l’Inria (Khalil, Armelle, Eric, Maxime, Yahao, Mathias) et de la gare (Benoit, Albert, Marc, Jean-Baptiste x2) 9h30 – 10h Accueil Café 10h – 10h40 Jean-Baptiste. Synchronous Programming with Refinement Types. 10h40 – 11h10 Eric. An experimental trip into soft automata 11h10 –…
A presentation titled “Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems” will be given by Benoît Caillaud at the 15th International Modelica Conference in Aachen, Germany, during Session 3-B (Symbolic algorithms and numerical methods for model transformation and simulation 2, October…
Albert Benveniste, Benoît Caillaud and Mathias Malandain were invited by the Mitsubishi Electric Research Laboratories to give a talk about the structural analysis of multimode Modelica models, as part of the MERL Seminar Series 2022. The video recording (courtesy of MERL) is available on the Hycomes team’s Youtube channel:
The Youtube channel of the Hycomes team is online. Videos of our three presentations at the 14th International Modelica Conference are up. Other online presentations, software demonstrations and more will follow soon!
Albert Benveniste, Benoît Caillaud and Mathias Malandain will be giving three presentations at the 14th International Modelica 2021 conference. The conference will be held online on September 20th-24th; all three presentations from the Hycomes team should be given on Thursday 23rd. Proceedings are available on the HAL platform: A. Benveniste,…
The official website for the FUI ModeliScale is now online. It will be updated on a regular basis with news from all partners involved. Enjoy your visit!
The article “Mathematical Foundations of Physical Systems Modeling Languages”, co-authored by Albert Benveniste, Benoît Caillaud and Mathias Malandain, has been accepted by the IFAC journal Annual Reviews in Control. It can be read and downloaded until January 20th, 2021 for free by following this link: https://authors.elsevier.com/a/1cAL14syv1oKy3 The author version was…
IsamDAE: release of version 0.3c Version 0.3c of IsamDAE has been released and install on AllGo. See the release notes for further details.
Article accepted for publication in the Annual Review in Control Modern modeling languages for general physical systems, such as Modelica, Amesim, or Simscape, rely on Differential Algebraic Equations (DAE), i.e., constraints of the form f(x’,x,u)=0. This drastically facilitates modeling from first principles of the physics and the reuse of models.…
Paper presented at HSCC’20 Modeling languages and tools based on Differential Algebraic Equations (DAE) bring 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…
