A modal interface contract theory for guarded input/output automata with an application in traffic system design: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{Paper |Title=A modal interface contract theory for guarded input/output automata with an application in traffic system design |Authors=Tung Phan-Minh, Steve Guo, Bastian Sch...") |
No edit summary |
||
| Line 4: | Line 4: | ||
|Source=Submitted, 2019 American Control Conference (ACC) | |Source=Submitted, 2019 American Control Conference (ACC) | ||
|Abstract=To contribute to 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 demonstrating that our contract object has reasonably universal semantics. As an application, we apply our framework to the design of a networked control systems of traffic. | |Abstract=To contribute to 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 demonstrating that our contract object has reasonably universal semantics. As an application, we apply our framework to the design of a networked control systems of traffic. | ||
|URL=http://www.cds.caltech.edu/~murray/preprints/ | |URL=http://www.cds.caltech.edu/~murray/preprints/pha+19-acc_s.pdf | ||
|Type=Conference paper | |Type=Conference paper | ||
|ID=2018d | |ID=2018d | ||
Latest revision as of 05:46, 8 October 2018
| Title | A modal interface contract theory for guarded input/output automata with an application in traffic system design |
|---|---|
| Authors | Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff and and Richard M. Murray |
| Source | Submitted, 2019 American Control Conference (ACC) |
| Abstract | To contribute to 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 demonstrating that our contract object has reasonably universal semantics. As an application, we apply our framework to the design of a networked control systems of traffic. |
| Type | Conference paper |
| URL | http://www.cds.caltech.edu/~murray/preprints/pha+19-acc s.pdf |
| DOI | |
| Tag | pha+19-acc |
| ID | 2018d |
| Funding | DENSO CPM |
| Flags |
