A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Synthesis of an asynchronous communication protocol for search and rescue robots
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
doi:10.23919/ecc.2013.6669133
fatcat:6pnf5v6rkbdl7li55xzotrewmm