CaltechAUTHORS
  A Caltech Library Service

A modal interface contract theory for guarded input/output automata with an application in traffic system design

Phan-Minh, Tung and Guo, Steve and Schürmann, Bastian and Althoff, Matthias and Murray, Richard M. (2019) A modal interface contract theory for guarded input/output automata with an application in traffic system design. In: 2019 American Control Conference (ACC). IEEE , Piscataway, NJ, pp. 1704-1711. ISBN 978-1-5386-7926-5. https://resolver.caltech.edu/CaltechAUTHORS:20190905-144348506

[img] PDF - Submitted Version
See Usage Policy.

1573Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190905-144348506

Abstract

As a direct contribution to recent efforts of bringing formal design-by-contract methods to hybrid systems, we introduce a variant of modal interface contract theory based on input/output automata with guarded transitions. We present an algebra of operators for interface composition, contract composition, contract conjunction, contract refinement and some theorems to demonstrate that our contract object has reasonably universal semantics. As an application, we use our framework to aid the design of a networked control system of traffic.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://ieeexplore.ieee.org/document/8814789PublisherArticle
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2019 AACC. This work was supported by DENSO, the European Commission under the project UnCoVerCPS (grant number 643921), and the Caltech SURF program. We would like to thank Anhminh Nguyen for contributing to the simulation implementation.
Funders:
Funding AgencyGrant Number
DENSOUNSPECIFIED
European Research Council (ERC)643921
Caltech Summer Undergraduate Research Fellowship (SURF)UNSPECIFIED
Record Number:CaltechAUTHORS:20190905-144348506
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20190905-144348506
Official Citation:T. Phan-Minh, S. Guo, B. Schürmann, M. Althoff and R. M. Murray, "A modal interface contract theory for guarded input/output automata with an application in traffic system design," 2019 American Control Conference (ACC), Philadelphia, PA, USA, 2019, pp. 1704-1711. URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8814789&isnumber=8814292
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:98441
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:05 Sep 2019 22:29
Last Modified:03 Oct 2019 21:41

Repository Staff Only: item control page