Browse wiki
From MurrayWiki
A modal interface contract theory for guarded input/output automata with an application in traffic system design |
Abstract |
To contribute to efforts of bringing forma … 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. of a networked control systems of traffic. +
|
---|---|
Authors | Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, and Richard M. Murray + |
Funding | Temporal Logic Specifications for Control System Design in Automotive Systems + |
ID | 2018d + |
Source | Submitted, 2019 American Control Conference (ACC) + |
Tag | pha+19-acc + |
Title | A modal interface contract theory for guarded input/output automata with an application in traffic system design + |
Type | Conference paper + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
8 October 2018 05:46:14 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/pha+19-acc_s.pdf + |
hide properties that link here |
A modal interface contract theory for guarded input/output automata with an application in traffic system design + | Title |
---|