Author

Rami Yared

Published in

4^th International Workshop on Dependable Embedded Systems, October 2007.

Abstract

The paper discusses different approaches that ensure the liveness of collision prevention system of cooperative mobile robots with asynchronous communications, in presence of the crash of some robots. We compare different techniques and discuss the trade off between the strength of the properties of the failure detector, and the performance of the collision prevention system in terms of the number of requests cancelation. Each robot in the system knows the composition of the group, and can communicate with all robots of the group.

Link to full paper

https://wdes07.di.fc.ul.pt/papers/paper-07-yared-final.pdf