Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

8 résultats
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

Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams

Joan Thibault , Khalil Ghorbal
[Research Report] RR-9306, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2019
Rapport hal-02369112v3
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

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

Constraint System Decomposition

Joan Thibault
[Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
Rapport hal-03740562v2
Image document

Ordered Functional Decision Diagrams

Joan Thibault , Khalil Ghorbal
[Research Report] RR-9333, Inria. 2020
Rapport hal-02512117v1
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

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