Browse wiki

From MurrayWiki
Jump to: navigation, search
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
Abstract We present a synthesis method for communic …
We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that together satisfy the quality of service requirements by transmitting messages over an unreliable medium. We develop a specification language and an execution model for the implementations, and demonstrate the viability of our method by developing a protocol for a traffic scenario in which a car runs a red light at a busy intersection.
r runs a red light at a busy intersection.  +
Authors Clemens Wiltsche, Ufuk Topcu, Richard M. Murray  +
ID 2012z  +
Source arXiv:1210.2035  +
Tag wtm12-arxiv  +
Title Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication +
Type Technical Report  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:30  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/wtm12-arxiv.pdf  +
hide properties that link here 
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication + Title
 

 

Enter the name of the page to start browsing from.