Browse wiki

From MurrayWiki
Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.