From Hybrid Automata to DAE-Based Modeling

Autor: Albert Benveniste, Benoît Caillaud, Mathias Malandain

Publikováno v: Principles of Systems Design
Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
Lecture Notes in Computer Science ISBN: 9783031223365

International audience; Tom Henzinger was among the co-founders of the paradigm of hybrid automata in 1992. Hybrid automata possess different locations, holding different ODE-based dynamics; exit conditions from a location trigger transitions, result

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42a6deb5438a775e862095d3e10121c3
https://hal.inria.fr/hal-03921708/document

From Interface Automata to Hypercontracts

Autor: Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia

Publikováno v: Lecture Notes in Computer Science ISBN: 9783031223365

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cec4533b4d86a44f293562e60b68db2a
https://doi.org/10.1007/978-3-031-22337-2_23

A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models

Autor: Mathias Malandain, Albert Benveniste, Benoît Caillaud

Publikováno v: Linköping Electronic Conference Proceedings
MODELICA 2021-14th International Modelica Conference
MODELICA 2021-14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
HAL

International audience; Since its 3.3 release, Modelica offers the possibility to specify models of dynamical systems with multiple modes having different DAE-based dynamics. However, the handling of such models by the current Modelica tools is not s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::295fe9ba3607cbd938b2f5cd6a187207
https://hal.inria.fr/hal-03320499

Structural Analysis of Multimode DAE Systems: summary of results

Autor: Albert Benveniste, Benoît Caillaud, Mathias Malandain

Publikováno v: [Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
HAL

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(\dot{x},x,u)=0. This drastically facilitates modeling from first principle

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::28d7e00e562f7d6f59900381b61f53b6
https://hal.inria.fr/hal-03104030v2/file/RR-9387.pdf

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Autor: Jean-Louis Colaço, Albert Benveniste, Cédric Pasteur, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Publikováno v: Proceedings of the IEEE
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩
Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩

International audience; Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop Cyber-Physical systems where control software interacts with physical devices. Compilers play a central rol

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f641d247d2db8df85cf93ee72fc63ab
https://doi.org/10.1109/jproc.2018.2858016