Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Incer, Inigo"'
We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assume-guarantee specifications. Performing algebraic contract operations
Externí odkaz:
http://arxiv.org/abs/2409.02218
Autor:
Incer, Inigo
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
Externí odkaz:
http://arxiv.org/abs/2405.06052
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks, we introduce a new logic, Mult
Externí odkaz:
http://arxiv.org/abs/2402.11666
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
We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.
Externí odkaz:
http://arxiv.org/abs/2309.04135
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
Autor:
Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A., Sangiovanni-Vincentelli, Alberto
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production rules for adding components to an incomplete design topology modeled
Externí odkaz:
http://arxiv.org/abs/2302.13980
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications at various levels of abstraction and implement them using a library o
Externí odkaz:
http://arxiv.org/abs/2211.11908
Publikováno v:
In Science of Computer Programming September 2024 236
