Browse wiki

From MurrayWiki
Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.