CaltechAUTHORS
  A Caltech Library Service

Contracts of Reactivity

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] 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:
URLURL TypeDescription
https://doi.org/10.23919/ECC54610.2021.9654932DOIArticle
http://www.cds.caltech.edu/~murray/preprints/pm19-formats_s.pdfAuthorArticle
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
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:
Funding AgencyGrant Number
DENSO International America, Inc.UNSPECIFIED
Jack Kent Cooke FoundationUNSPECIFIED
NSFCNS-1545126
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