[论文解读] Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot

Yoann Dieudonné, Shlomi Dolev+2 more|ArXiv.org|Feb 20, 2009

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

一句话总结

本文提出了一种基于运动信号的确定性一对一通信协议，适用于无法使用传统无线通信的聋哑移动机器人，其通信机制类似于动物的痕迹行为（stigmergic behaviors），可在分布式机器人集群中实现显式通信与容错。核心贡献是一套协议，支持无ID或有ID的机器人在同步与异步环境下通过运动模式编码消息，实现无需传统无线通信的可靠信息交换。

ABSTRACT

We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (analogously to flight signals and bees waggle) as a mean to transfer messages, enabling the use of distributed algorithms among the robots. We propose one-to-one deterministic movement protocols that implement explicit communication. We first present protocols for synchronous robots. We begin with a very simple coding protocol for two robots. Based on on this protocol, we provide one-to-one communication for any system of n \geq 2 robots equipped with observable IDs that agree on a common direction (sense of direction). We then propose two solutions enabling one-to-one communication among anonymous robots. Since the robots are devoid of observable IDs, both protocols build recognition mechanisms using the (weak) capabilities offered to the robots. The first protocol assumes that the robots agree on a common direction and a common handedness (chirality), while the second protocol assumes chirality only. Next, we show how the movements of robots can provide implicit acknowledgments in asynchronous systems. We use this result to design asynchronous one-to-one communication with two robots only. Finally, we combine this solution with the schemes developed in synchronous settings to fit the general case of asynchronous one-to-one communication among any number of robots. Our protocols enable the use of distributing algorithms based on message exchanges among swarms of Stigmergic robots. Furthermore, they provides robots equipped with means of communication to overcome faults of their communication device.

研究动机与目标

• 实现聋哑移动机器人之间无需传统无线通信的显式通信。
• 设计仅依赖运动与相对定位的确定性一对一通信协议。
• 支持同步与异步机器人系统，包括无可见ID的匿名机器人。
• 通过基于运动的信号实现通信设备故障后的恢复，提升容错能力。
• 将痕迹通信从任务特定信号扩展至通用消息交换（如聊天、分布式算法等）。

提出的方法

• 设计类似于蜜蜂摇摆舞的运动信号，用于在机器人之间编码二进制消息。
• 利用共同方向与手性（chirality，即左右性）实现匿名系统中机器人识别与消息路由。
• 通过结构化的运动序列实现一对一通信，编码消息内容与接收方ID。
• 通过基于运动的隐式确认机制，将同步协议适配至异步环境。
• 引入静默通信模型，机器人仅在有消息要发送时才移动，从而节省能量。
• 通过平面几何分区（如角度扇区或基于网格的运动）编码消息索引，减少通信步数。

实验结果

研究问题

• RQ1 能否仅通过运动与相对感知，在聋哑移动机器人之间实现可靠的单对单通信？
• RQ2 无可见ID的匿名机器人如何通过运动模式相互识别并实现通信？
• RQ3 基于运动的信号能否在无无线通信条件下支持容错的分布式计算？
• RQ4 是否可能在异步机器人系统中设计出静默且节能的通信协议？
• RQ5 当机器人无法区分‘移动后返回’与‘保持静止’时，通信存在哪些局限性？

主要发现

• 本文提出六种基于运动信号的确定性一对一通信协议，适用于使用运动与相对感知的移动机器人，支持同步与异步系统。
• 对于匿名机器人，协议仅依赖共同方向与手性，或仅依赖手性，通过构建隐式识别机制实现通信。
• 通过基于运动的隐式确认机制，异步通信得以实现，仅需两台机器人即可实现可靠消息交换。
• 通过结合同步与异步方案，协议可扩展至任意数量机器人的通用异步系统。
• 在同步情况下，通信协议为静默模式，即机器人仅在有消息时才移动，从而实现节能。
• 本文识别出异步系统中的一个根本性挑战：难以区分‘移动后返回’的机器人与‘保持静止’的机器人，这可能限制有限步数通信协议的适用性。