Edit Paper: A modal interface contract theory for guarded input/output automata with an application in traffic system design

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Enter the information required for the paper. Required information is marked with a *.

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 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.
URL:
Type:
ID:
Tag:
Funding:
DOI:
Flags:

Summary:

This is a minor edit

Watch this page

Navigation menu