[论文解读] Pattern Formation for Asynchronous Robots without Agreement in Chirality

Sruti Gan Chaudhuri, Swapnil Ghike+2 more|arXiv (Cornell University)|Mar 11, 2014

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

一句话总结

本文提出了一种确定性算法，用于异步、无记忆移动机器人在有限时间内形成任意给定的非对称图案，而无需就手性或方向感达成一致。通过使用具有局部协调和无碰撞移动策略的CORDA模型，机器人通过在最小包围圆上顺序移动并交替维持配置，实现图案形成，确保在无需全局协调或显式通信的情况下收敛。

ABSTRACT

This paper presents a deterministic algorithm for forming a given asymmetric pattern in finite time by a set of autonomous, homogeneous, oblivious mobile robots under the CORDA model. The robots are represented as points on the 2D plane. There is no explicit communication between the robots. The robots coordinate among themselves by observing the positions of the other robots on the plane. Initially all the robots are assumed to be stationary. The robots have local coordinate systems defined by Sense of Direction (SoD), orientation or chirality and scale. Initially the robots are in asymmetric configuration. We show that these robots can form any given asymmetric pattern in finite time.

研究动机与目标

• 解决异步、匿名、无记忆移动机器人在无需就手性或方向感达成一致的情况下形成任意图案的问题。
• 消除先前研究中的先验假设，例如无冲突条件以及对机器人相对于最小包围圆（SEC）分布的约束。
• 在仅通过局部观测和战略性机器人选择维持协调的同时，确保无碰撞移动。
• 仅使用局部坐标系且无显式通信，实现向任意非对称图案的有限时间收敛。
• 通过在整个形成过程中保持原点、坐标轴和比例，确保配置稳定性。

提出的方法

• 采用 CORDA 模型，机器人通过等待-观察-计算-移动周期异步运行，非瞬时移动允许在移动过程中进行中间观测。
• 使用 MoveToDestination() 过程，通过中间路径点引导机器人向目标点移动，确保无任何机器人比目标机器人更接近任一图案点。
• 引入 MoveOnBoundary() 以管理位于最小包围圆（SEC）上的机器人，使用三个子程序：MoveOnCircle、MoveEnsuringAlternate 和 GenerateAlternate。
• 通过维护“交替配置”来防止死锁并确保进展，使得至少一个位于 SEC 上的空闲图案点可被访问，而无需经过已填充的最终位置。
• 通过字典序排序解决机器人选择中的冲突，以确保确定性并避免无限循环。
• 通过确保 SEC 及其上的机器人位置在移动过程中保持稳定，从而在整个执行过程中保持原点（O）、坐标轴和比例。

实验结果

研究问题

• RQ1 异步、无记忆机器人是否可以在不就手性或方向感达成一致的情况下实现任意非对称图案的形成？
• RQ2 在缺乏全局协调的情况下，机器人如何在向最终图案位置移动时避免碰撞？
• RQ3 当机器人异步运行且无法显式通信时，何种机制可确保有限时间收敛？
• RQ4 系统如何在机器人移动过程中保持配置稳定性（例如原点、比例、坐标轴）？
• RQ5 当多个机器人在对称或近似对称配置中争夺移动时，何种策略可防止死锁或无限循环？

主要发现

• 所提出的算法保证在无需就手性或方向感达成一致的情况下，向任意给定的非对称图案实现有限时间收敛。
• 该算法消除了先前研究中的假设，如无冲突条件以及对位于 SEC 上的机器人数量的约束，使其比以往方法更具通用性。
• 通过战略性机器人选择和使用 MoveOnBoundary() 过程在 SEC 上移动，确保了无碰撞路径，并通过交替配置的维护实现。
• 原点、坐标轴和比例在整个执行过程中保持不变，确保机器人之间局部坐标的一致性。
• 位于 SEC 上的机器人通过 MoveOnCircle、MoveEnsuringAlternate 和 GenerateAlternate 过程引导，以维持向最终图案位置的进展。
• 该算法是确定性的，适用于 CORDA 模型，其中移动是非瞬时的，机器人可能在移动过程中被观测，从而确保对异步性的鲁棒性。