Synthesis of an asynchronous communication protocol for search and rescue robots

Clemens Wiltsche, John Lygeros, Federico A. Ramponi
2013 2013 European Control Conference (ECC)   unpublished
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
more » ... ollers with clearly defined interfaces and the validity of our protocol is demonstrated by implementing controllers for robots searching cooperatively for a moving target.
doi:10.23919/ecc.2013.6669133 fatcat:6pnf5v6rkbdl7li55xzotrewmm