Phan-Minh, Tung and Murray, Richard M. (2021) Contracts of Reactivity. In: 2021 European Control Conference (ECC). IEEE , Piscataway, NJ, pp. 2611-2618. ISBN 978-9-4638-4236-5. https://resolver.caltech.edu/CaltechAUTHORS:20191029-132616005
![]() |
PDF
- Submitted Version
See Usage Policy. 3MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20191029-132616005
Abstract
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 compatible with a contract metatheory introduced by Benveniste et al. We also provide an automated procedure for synthesizing reactive assume-guarantee contracts and implementations that capture ideas such as 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.
Item Type: | Book Section | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| |||||||||
ORCID: |
| |||||||||
Additional Information: | © 2021 EUCA. Supported by DENSO International America, Inc., the Jack Kent Cooke Foundation, and the NSF VeHICaL project (NSF grant #1545126). The authors would like to thank the anonymous reviewers and Íñigo Íncer Romeo for their helpful comments and suggestions. | |||||||||
Group: | Center for Autonomous Systems and Technologies (CAST) | |||||||||
Funders: |
| |||||||||
Subject Keywords: | Design by contracts; Modeling uncertainties; Formal specifications; Reactive synthesis | |||||||||
DOI: | 10.23919/ECC54610.2021.9654932 | |||||||||
Record Number: | CaltechAUTHORS:20191029-132616005 | |||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20191029-132616005 | |||||||||
Official Citation: | T. Phan-Minh and R. M. Murray, "Contracts of Reactivity," 2021 European Control Conference (ECC), 2021, pp. 2611-2618, doi: 10.23919/ECC54610.2021.9654932 | |||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
ID Code: | 99542 | |||||||||
Collection: | CaltechAUTHORS | |||||||||
Deposited By: | Tony Diaz | |||||||||
Deposited On: | 29 Oct 2019 20:37 | |||||||||
Last Modified: | 11 Apr 2022 16:47 |
Repository Staff Only: item control page