[论文解读] Wait-Free Gathering of Mobile Robots

Zohir Bouzid, Shantanu Das+1 more|arXiv (Cornell University)|Jul 1, 2012

Optimization and Search Problems参考文献 23被引用 5

一句话总结

本文提出了一种无等待、自稳态的算法，用于在具有强多重性检测和手性特征的半同步模型下，即使有任意数量的机器人发生崩溃，也能汇聚多个匿名、无记忆的移动机器人。该算法在对抗性调度和崩溃故障下仍能确保正确机器人始终汇聚于单一位置，解决了容错机器人协调领域的一个开放问题。

ABSTRACT

The problem of gathering multiple mobile robots to a single location, is one of the fundamental problems in distributed coordination between autonomous robots. The problem has been studied and solved even for robots that are anonymous, disoriented, memoryless and operate in the semi-synchronous (ATOM) model. However all known solutions require the robots to be faulty-free except for the results of [Agmon and Peleg 2006] who solve the gathering problem in presence of one crash fault. This leaves open the question of whether gathering of correct robots can be achieved in the presence of multiple crash failures. We resolve the question in this paper and show how to solve gathering, when any number of robots may crash at any time during the algorithm, assuming strong multiplicity detection and chirality. In contrast it is known that for the more stronger byzantine faults, it is impossible to gather even in a 3-robot system if one robot is faulty. Our algorithm solves the gathering of correct robots in the semi-synchronous model where an adversary may stop any robot before reaching its desired destination. Further the algorithm is self-stabilizing as it achieves gathering starting from any configuration (except the bivalent configuration where deterministic gathering is impossible).

研究动机与目标

• 解决在移动机器人系统中存在多个崩溃故障时，是否能够实现确定性汇聚的开放问题。
• 设计一种容错算法，即使在任意时间点最多有 n−1 个机器人崩溃，也能保证正确机器人汇聚。
• 确保算法为无等待且自稳态，即从任何初始配置（除双值配置外）都能收敛至汇聚状态。
• 利用强多重性检测和手性特征，使匿名、无记忆的机器人在对抗性调度下仍能实现协调。
• 证明即使在3个机器人系统中，拜占庭故障下也无法实现汇聚，从而明确机器人网络容错能力的边界。

提出的方法

• 使用半同步的 ATOM 模型，其中机器人以原子周期的“观察-计算-移动”阶段运行。
• 定义配置类型（如 L2W、B、M、QR、A）以对机器人排列进行分类，并推理收敛性。
• 采用强多重性检测以精确计数各位置的机器人数量，并基于空间分布进行决策。
• 设计移动规则，优先处理处于极端位置（最左和最右）的机器人，以打破对称性并避免无限振荡。
• 使用几何推理：位于端点的机器人以 45° 角朝向连接最左和最右机器人之间的直线移动，以摆脱共线状态。
• 确保若最左和最右位置的机器人始终未被激活，则它们全部为故障机器人，因此正确机器人将汇聚至中心点。

实验结果

研究问题

• RQ1 在存在任意数量崩溃故障的情况下，能否实现移动机器人的确定性汇聚？
• RQ2 是否可能在仅基于弱假设（匿名、无记忆、无共同坐标系）下，设计一种在崩溃故障下具有无等待和自稳态特性的汇聚算法？
• RQ3 为确保收敛至汇聚状态，必须避免或逃离哪些配置类型？
• RQ4 即使在延迟机器人移动的对抗性调度下，算法是否仍能保证进展？
• RQ5 实现崩溃故障下无等待汇聚所需的最小假设（如强多重性检测、手性）是什么？

主要发现

• 该算法保证所有正确机器人在有限时间内汇聚于单一位置，即使在执行过程中有任意数量的机器人崩溃。
• 该算法为无等待：即使在对抗性调度下，也没有任何机器人的进展被其他机器人阻塞。
• 该算法为自稳态：它能从除双值配置外的任何初始配置收敛至汇聚状态，因为双值配置下确定性汇聚不可能实现。
• L2W 类型的配置（线性排列，端点恰好有两个机器人，中间有两个或更多）是瞬态的，会因移动规则而最终逃离。
• 若最左和最右位置的机器人始终未被激活，则它们全部为故障机器人，因此正确机器人将汇聚至中心点。
• 即使在3个机器人系统中，拜占庭故障下也无法实现汇聚，从而确立了崩溃故障与拜占庭故障容错能力之间的清晰边界。