Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

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

Compile-Time Impulse Analysis in Modelica

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

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 mode changes by the current Modelica tools is not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05068de1a1299cccd8443277e0a68438
https://doi.org/10.3384/ecp21181549

Handling Multimode Models and Mode Changes in Modelica

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

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, ⟨10.3384/ecp21181507⟩
HAL
Modelica 2021-14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11

International audience; Since its version 3.3, the Modelica language offers the possibility to model multimode systems having different DAE-based dynamics in each mode, thanks to the introduction of state machines. When the differentiation index and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dfd3a2e851bd426872639142d755be2
https://hal.inria.fr/hal-03281410/document

Structural Analysis of Multimode DAE Systems: summary of results

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

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

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::1002cddfbb8404ef13c26dfb38dc1617
https://hal.inria.fr/hal-03104030v2/file/RR-9387.pdf