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
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
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
