|
Fault Diagnosability Analysis of Multi-Mode Systems
Fatemeh Hashemniya
,
Benoît Caillaud
,
Erik Frisk
,
Mattias Krysander
,
Mathias Malandain
SAFEPROCESS 2024 - 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, Jun 2024, Ferrara, Italy. pp.210-215, ⟨10.1016/j.ifacol.2024.07.219⟩
Communication dans un congrès
hal-04803147
v1
|
|
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-04295096
v1
|
|
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-03281410
v1
|
|
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-03320499
v1
|
|
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-03281394
v1
|
|
An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
Aurélien Lamercerie
,
Benoît Caillaud
FDL 2020 - Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
Communication dans un congrès
hal-02971772
v1
|
|
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-02572879
v1
|
|
Structural Analysis of Multi-Mode DAE Systems
Albert Benveniste
,
Benoît Caillaud
,
Hilding Elmqvist
,
Khalil Ghorbal
,
Martin Otter
et al.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
Communication dans un congrès
hal-01521918
v1
|
|
Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0
Ayman Aljarbouh
,
Benoît Caillaud
The First Japanese Modelica Conferences, Modelon and Modelica Association May 2016, Tokyo, Japan. pp.95-105, ⟨10.3384/ecp1612495⟩
Communication dans un congrès
hal-01247008
v1
|
|
From Observations to Collaborative Simulation: Application to Surgical Training
Guillaume Claude
,
Valérie Gouranton
,
Benoît Caillaud
,
Bernard Gibaud
,
Pierre Jannin
et al.
ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States
Communication dans un congrès
hal-01391776
v1
|
|
Chattering-Free Simulation for Hybrid Dynamical Systems
Ayman Aljarbouh
,
Adam Duracz
,
Yingfu Zeng
,
Benoît Caillaud
,
Walid Taha
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Aug 2016, Paris, France. ⟨10.1109/CSE-EUC-DCABES.2016.217⟩
Communication dans un congrès
hal-01365875
v1
|
|
Domain Globalization: Using Languages to Support Technical and Social Coordination
Julien Deantoni
,
Cédric Brun
,
Benoît Caillaud
,
Robert France
,
Gabor Karsai
et al.
Communication dans un congrès
hal-01234653
v1
|
|
On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems
Ayman Aljarbouh
,
Benoît Caillaud
Baltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49
Communication dans un congrès
hal-01246853
v2
|
|
Robust Simulation for Hybrid Systems Chattering Path Avoidance
Ayman Aljarbouh
,
Benoît Caillaud
The 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
Communication dans un congrès
hal-01247074
v4
|
|
A Type-Based Analysis of Causality Loops in Hybrid Modelers
Albert Benveniste
,
Benoît Caillaud
,
Bruno Pagano
,
Marc Pouzet
HSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
Communication dans un congrès
hal-01093388
v1
|
|
Surgical Process Mining with Test and Flip Net Synthesis
Benoît Caillaud
Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54
Communication dans un congrès
hal-00872284
v1
|
|
Ensuring Reachability by Design
Benoît Caillaud
,
Jean-Baptiste Raclet
9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
Communication dans un congrès
hal-00766735
v1
|
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs
Albert Benveniste
,
Benoit Caillaud
,
Jean-Baptiste Raclet
51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Communication dans un congrès
hal-00766793
v1
|
|
Divide and recycle: types and compilation for a hybrid synchronous language
Albert Benveniste
,
Timothy Bourke
,
Benoit Caillaud
,
Marc Pouzet
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. ⟨10.1145/1967677.1967687⟩
Communication dans un congrès
hal-00654112
v1
|
|
A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
Albert Benveniste
,
Timothy Bourke
,
Benoit Caillaud
,
Marc Pouzet
Communication dans un congrès
hal-00654113
v1
|
|
The Fundamentals of Hybrid Systems Modelers
Albert Benveniste
,
Benoît Caillaud
,
Marc Pouzet
49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
Communication dans un congrès
inria-00554271
v1
|
|
Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
Benoît Delahaye
,
Benoît Caillaud
,
Axel Legay
10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal
Communication dans un congrès
inria-00554297
v1
|
|
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Ananda Basu
,
Saddek Bensalem
,
Marius Bozga
,
Benoît Caillaud
,
Benoît Delahaye
et al.
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Communication dans un congrès
inria-00554321
v2
|
|
Compositional design methodology with constraint Markov chains
Benoit Caillaud
,
Benoît Delahaye
,
Kim Guldstrand Larsen
,
Axel Legay
,
Mikkel L. Pedersen
et al.
Communication dans un congrès
inria-00591578
v1
|
|
Modal Interfaces: Unifying Interface Automata and Modal Specifications.
Jean-Baptiste Raclet
,
Albert Benveniste
,
Benoît Caillaud
,
Axel Legay
,
Roberto Passerone
Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Communication dans un congrès
inria-00555742
v1
|
|
Why are modalities good for Interface Theories?
Jean-Baptiste Raclet
,
Eric Badouel
,
Albert Benveniste
,
Benoit Caillaud
,
Roberto Passerone
The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Communication dans un congrès
inria-00389051
v1
|
|
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Albert Benveniste
,
Benoit Caillaud
,
Luca P. Carloni
,
Paul Caspi
,
Alberto Sangiovanni-Vincentelli
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩
Communication dans un congrès
inria-00001058
v1
|