30 citations · 52 across the 8 of their papers we have counts for
8 papers
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
Structural Analysis of Multimode DAE Systems: summary of results
Albert Benveniste, Benoît Caillaud, Mathias Malandain
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…
The Mathematical Foundations of Physical Systems Modeling Languages
Albert Benveniste, Benoît Caillaud, Mathias Malandain
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…
Robust Simulation for Hybrid Systems: Chattering Path Avoidance
Ayman Aljarbouh, Benoit Caillaud
The sliding mode approach is recognized as an efficient tool for treating the chattering behavior in hybrid systems. However, the amplitude of chattering, by its nature, is proport…
Proceedings Foundations for Interface Technologies
Axel Legay, Benoît Caillaud
FIT stands for Foundations of Interface Technologies. Component-based design is widely considered as a major approach to developing systems in a time and cost effective way. Centra…