Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

The Mathematical Foundations of Physical Systems Modeling Languages

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
[Research Report] RR-9334, Inria. 2020, pp.112
Rapport hal-02521747v3
Image document

The mathematical foundations of physical systems modeling languages

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Article dans une revue hal-03045498v1
Image document

Compile-Time Impulse Analysis in Modelica

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Communication dans un congrès hal-03281394v1

Optimization of the Deflated Conjugate Gradients algorithm applied to the massively parallel LES of heat transfer in gas turbines

 Mathias Malandain , Nicolas Maheu , Vincent Moureau
Turbulence, Heat and Mass Transfer 7, 2012, Palermo, Italy
Communication dans un congrès hal-01658721v1
Image document

Implicit Structural Analysis of Multimode DAE Systems

 Benoît Caillaud , Mathias Malandain , Joan Thibault
[Research Report] RR-9322, Inria Rennes - Bretagne Atlantique; IRISA, Université de Rennes. 2020
Rapport hal-02476541v1
Image document

Simulations massivement parallèles des écoulements turbulents à faible nombre de Mach

 Mathias Malandain
Autre [cond-mat.other]. INSA de Rouen, 2013. Français. ⟨NNT : 2013ISAM0006⟩
Thèse tel-00834845v1
Image document

Structural Analysis of Multimode DAE Systems: summary of results

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
Rapport hal-03104030v2
Image document

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

 Benoît Caillaud , Mathias Malandain , Albert Benveniste
MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Communication dans un congrès hal-03320499v1

Implicit structural analysis of multimode DAE systems

 Benoît Caillaud , Mathias Malandain , Joan Thibault
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⟩
Communication dans un congrès hal-02572879v1
Image document

From Hybrid Automata to DAE-Based Modeling

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
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⟩
Chapitre d'ouvrage hal-03921708v1
Image document

Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems

 Benoit Caillaud , Mathias Malandain , Joan Thibault
HSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
Poster de conférence hal-02545380v1
Image document

Algorithms for the Structural Analysis of Multimode Modelica Models

 Albert Benveniste , Benoît Caillaud , Mathias Malandain , Joan Thibault
Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
Article dans une revue hal-03768331v1
Image document

Fault Diagnosability Analysis of Multi-Mode Systems

 Fatemeh Hashemniya , Benoît Caillaud , Erik Frisk , Mattias Krysander , Mathias Malandain
2023
Pré-publication, Document de travail hal-04361934v1
Image document

Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems

 Albert Benveniste , Benoît Caillaud , Mathias Malandain , Joan Thibault
Modelica 2023 - 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
Communication dans un congrès hal-04295096v1
Image document

Simulation massivement parallèle des écoulements turbulents à faible nombre de Mach

 Mathias Malandain
Analyse numérique [math.NA]. INSA de Rouen, 2013. Français. ⟨NNT : ⟩
Thèse tel-00801502v1
Image document

Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46
Rapport hal-03580636v1
Image document

Handling Multimode Models and Mode Changes in Modelica

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
Modelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
Communication dans un congrès hal-03281410v1

Optimization of the deflated Conjugate Gradient algorithm for the solving of elliptic equations on massively parallel machines

 Mathias Malandain , Nicolas Maheu , Vincent Moureau
Journal of Computational Physics, 2013, 238, pp.32 - 47. ⟨10.1016/j.jcp.2012.11.046⟩
Article dans une revue hal-01657525v1
Page :