Zobrazeno 1 - 10
of 280
pro vyhledávání: '"Benveniste, Albert"'
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We s
Externí odkaz:
http://arxiv.org/abs/2309.08875
Autor:
Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
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 paper presents algorithms for eliminating variables from formulas by com
Externí odkaz:
http://arxiv.org/abs/2305.17596
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
Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks and factor graphs. In this paper we develop a new model of mixed (nondet
Externí odkaz:
http://arxiv.org/abs/2201.07474
Publikováno v:
NFM 2022. Lecture Notes in Computer Science, vol 13260
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts, a generic model with a richer structure for its underlying model of
Externí odkaz:
http://arxiv.org/abs/2106.02449
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
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal Mixed Inte
Externí odkaz:
http://arxiv.org/abs/2011.09435
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.