Zobrazeno 1 - 10
of 11
pro vyhledávání: '"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
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
https://hal.inria.fr/hal-03921708/document
Publikováno v:
Annual Reviews in Control
Annual Reviews in Control, Elsevier, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Annual Reviews in Control, Elsevier, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
International audience; 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 modeli
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
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
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
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
https://hal.inria.fr/hal-03320499
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
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
https://hal.inria.fr/hal-03281410/document
Publikováno v:
[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
HAL
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
https://hal.inria.fr/hal-03104030v2/file/RR-9387.pdf
Publikováno v:
[Research Report] RR-9334, Inria. 2020, pp.111
[Research Report] RR-9334, Inria. 2020, pp.112
HAL
[Research Report] RR-9334, Inria. 2020, pp.112
HAL
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(dot{x},x,u)=0. This drastically facilitates modeling from first principles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::404b5f5ad6c131c68e95612fe98ed6cf
https://hal.inria.fr/hal-02521747/document
https://hal.inria.fr/hal-02521747/document
Publikováno v:
[Research Report] RR-9322, Inria Rennes-Bretagne Atlantique; IRISA, Université de Rennes. 2020
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
HSCC
HAL
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control
HSCC 2020-23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
HSCC
HAL
The Modelica mathematical modeling language, based on Differential Algebraic Equations (DAE), brings several specific issues that do not exist with modeling languages based on Ordinary Differential Equations. The main problem is the determination of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::127ba51444a9dfed926e2fbda3f6fe25
https://hal.inria.fr/hal-02476541
https://hal.inria.fr/hal-02476541
Publikováno v:
Journal of Computational Physics
Journal of Computational Physics, Elsevier, 2013, 238, pp.32-47. ⟨10.1016/j.jcp.2012.11.046⟩
Journal of Computational Physics, Elsevier, 2013, 238, pp.32-47. ⟨10.1016/j.jcp.2012.11.046⟩
The discretization of Partial Differential Equations often leads to the need of solving large symmetric linear systems. In the case of the Navier-Stokes equations for incompressible flows, solving the elliptic pressure Poisson equation can represent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21a0a48aeb8ded7f443c900973c8cb7f
https://hal-normandie-univ.archives-ouvertes.fr/hal-01657525
https://hal-normandie-univ.archives-ouvertes.fr/hal-01657525
Publikováno v:
Turbulence, Heat and Mass Transfer 7
Turbulence, Heat and Mass Transfer 7, 2012, Palermo, Italy
Turbulence, Heat and Mass Transfer 7, 2012, Palermo, Italy
International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85c5f59e7912662c964b399eb35e366a
https://hal-normandie-univ.archives-ouvertes.fr/hal-01658721
https://hal-normandie-univ.archives-ouvertes.fr/hal-01658721