Browse wiki
From MurrayWiki
Contracts of Reactivity |
Abstract |
We present a theory of contracts that is c … We present a theory of contracts that is centered around reacting to failures and explore it from a general assume-guarantee perspective as well as from a concrete context of automated synthesis from linear temporal logic (LTL) specifications, all of which are compliant with a contract metatheory introduced by Benveniste et al. We also show how to obtain an automated procedure for synthesizing reactive assume-guarantee contracts and implementations that capture ideas like optimality and robustness based on assume-guarantee lattices computed from antitone Galois connection fixpoints. Lastly, we provide an example of a “reactive GR(1)” contract and a simulation of its implementation. ct and a simulation of its implementation. +
|
---|---|
Authors | Tung Phan-Minh and Richard M. Murray + |
Funding | Temporal Logic Specifications for Control System Design in Automotive Systems + , VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + |
ID | 2019g + |
Source | Submitted, Int'l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019 + |
Tag | pm19-formats + |
Title | Contracts of Reactivity + |
Type | Conference paper + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
10 June 2019 00:21:14 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/pm19-formats_s.pdf + |
hide properties that link here |
Contracts of Reactivity + | Title |
---|