Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Caillaud, Benoȋt"'
Multi-mode systems can operate in different modes, leading to large numbers of different dynamics. Consequently, applying traditional structural diagnostics to such systems is often untractable. To address this challenge, we present a multi-mode diag
Externí odkaz:
http://arxiv.org/abs/2312.14030
Autor:
Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
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 scalable algorithms for the algebraic operations in this theory. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.17751
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{x},x,u)=0. This drastically facilitates modeling from first principle
Externí odkaz:
http://arxiv.org/abs/2101.05702
Publikováno v:
In IFAC PapersOnLine 2024 58(4):210-215
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},x,u)=0. This drastically facilitates modeling from first principles
Externí odkaz:
http://arxiv.org/abs/2008.05166
Autor:
Aljarbouh, Ayman, Caillaud, Benoit
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 proportional to magnitude of discontinuous control. A possible scenario is th
Externí odkaz:
http://arxiv.org/abs/1512.07818
Autor:
Bracq, Marie-Stéphanie, Michinov, Estelle, Arnaldi, Bruno, Caillaud, Benoît, Gibaud, Bernard, Gouranton, Valérie, Jannin, Pierre
Publikováno v:
In Nurse Education Today August 2019 79:153-160
Autor:
Legay, Axel, Caillaud, Benoît
Publikováno v:
EPTCS 46, 2011
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. Central in this approach is the notion of an interface. Interfaces summarize
Externí odkaz:
http://arxiv.org/abs/1101.4266
Autor:
Delahaye, Benoît, Caillaud, Benoît
In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the contracts and implementations define sets of runs on a given set of var
Externí odkaz:
http://arxiv.org/abs/0811.1151
We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers dev
Externí odkaz:
http://arxiv.org/abs/0706.1456