Published July 2019
| Submitted
Book Section - Chapter
Open
A modal interface contract theory for guarded input/output automata with an application in traffic system design
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.
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.Attached Files
Submitted - pha+19-acc_s.pdf
Files
pha+19-acc_s.pdf
Files
(1.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5d822dad77f4a216b9ff91d3da4a4b8e
|
1.6 MB | Preview Download |
Additional details
- Eprint ID
- 98441
- Resolver ID
- CaltechAUTHORS:20190905-144348506
- DENSO
- 643921
- European Research Council (ERC)
- Caltech Summer Undergraduate Research Fellowship (SURF)
- Created
-
2019-09-05Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field