Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Synthesis of an asynchronous communication protocol for search and rescue robots


J. Lygeros, F. Ramponi, Cl. Wiltsche

European Control Conference (ECC), Zurich, Switzerland, pp. 1256-1261, July 17-19, 2013

We present a protocol for reliable communication between search and rescue robots, which is synthesized from a high-level temporal logic specification. The protocol ensures provably correct data transmission on an asynchronous pointto- point link in the presence of an adverse environment. We synthesize the protocol into correct-by-construction transceiver controllers that can be included as building blocks in a larger design. The viability of our approach of synthesizing controllers with clearly defined interfaces and the validity of our protocol is demonstrated by implementing controllers for robots searching cooperatively for a moving target.


Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { LygRam:2013:IFA_4657,
    author={J. Lygeros and F. Ramponi and Cl. Wiltsche},
    title={{Synthesis of an asynchronous communication protocol for
	  search and rescue robots}},
    booktitle={European Control Conference (ECC)},
    address={Zurich, Switzerland},
Permanent link