List of publications on hybrid modeling language design
Search Results –> Url version détaillée , Url version formatée
Criteria : Mot clé(s) : “HybridLang”
Number of occurrences founded : 17.
Criteria : Mot clé(s) : “HybridLang”
Number of occurrences founded : 17.
- titre
- From Hybrid Automata to DAE-Based Modeling
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- 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⟩
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- titre
- Structural Analysis of Multimode DAE Systems: summary of results
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
- titre
- Implicit structural analysis of multimode DAE systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- 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⟩
- titre
- The Mathematical Foundations of Physical Systems Modeling Languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9334, Inria. 2020, pp.112
- titre
- Implicit Structural Analysis of Multimode DAE Systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- [Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
- titre
- The mathematical foundations of physical systems modeling languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
- titre
- Multi-Mode DAE Models – Challenges, Theory and Implementation
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
- titre
- Building a Hybrid Systems Modeler on Synchronous Languages Principles
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
- article
- Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 – 1592. ⟨10.1109/JPROC.2018.2858016⟩
- titre
- A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- [Research Report] RR-8933, Inria. 2017, pp.1-23
- titre
- On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- [Research Report] RR-8630, Inria. 2014, pp.30
- titre
- A Type-Based Analysis of Causality Loops in Hybrid Modelers
- auteur
- Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- HSCC ’14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
- titre
- Efficient Monte Carlo simulation of stochastic hybrid systems
- auteur
- Marc Bouissou, Hilding Elmqvist, Martin Otter, Albert Benveniste
- article
- The 10th International Modelica Conference 2014, Hubertus Tummescheit; Karl-Erik Årzén, Mar 2014, Lund, Sweden. ⟨10.3384/ECP14096715⟩
- titre
- A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- 2013
- titre
- Semantics of multi-mode DAE systems
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- 2013