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]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
PDF
- Submitted Version
See Usage Policy. 1MB |
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: |
| ||||||||
| ORCID: |
| ||||||||
| 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: |
| ||||||||
| 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
