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
2013 European Control Conference (ECC)
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 clearlydoi:10.23919/ecc.2013.6669133 fatcat:6pnf5v6rkbdl7li55xzotrewmm