[论文解读] Particle Computation: Designing Worlds to Control Robot Swarms with only Global Signals

Aaron T. Becker, Erik D. Demaine+2 more|arXiv (Cornell University)|Feb 16, 2014

Modular Robots and Swarm Intelligence参考文献 17被引用 4

一句话总结

本文提出了一种仅通过全局力场信号控制大规模简单机器人群体的框架，通过设计障碍物配置实现复杂计算与重构。证明了运动规划问题为PSPACE完全问题，并在可重构硬件平台上通过重力驱动的粒子运动，实现了矩阵置换、绝对编码器和双轨逻辑门的实际应用。

ABSTRACT

Micro- and nanorobots are often controlled by global input signals, such as an electromagnetic or gravitational field. These fields move each robot maximally until it hits a stationary obstacle or another stationary robot. This paper investigates 2D motion-planning complexity for large swarms of simple mobile robots (such as bacteria, sensors, or smart building material). In previous work we proved it is NP-hard to decide whether a given initial configuration can be transformed into a desired target configuration; in this paper we prove a stronger result: the problem of finding an optimal control sequence is PSPACE-complete. On the positive side, we show we can build useful systems by designing obstacles. We present a reconfigurable hardware platform and demonstrate how to form arbitrary permutations and build a compact absolute encoder. We then take the same platform and use dual-rail logic to build a universal logic gate that concurrently evaluates AND, NAND, NOR and OR operations. Using many of these gates and appropriate interconnects we can evaluate any logical expression.

研究动机与目标

• 为解决仅使用全局输入信号（如电磁场或重力场）控制大规模微米或纳米机器人集群的挑战。
• 研究在均匀控制输入下，此类机器人集群运动规划的计算复杂度。
• 设计人工环境中的障碍物配置，以实现矩阵置换和布尔逻辑计算等复杂任务。
• 通过具有重力驱动粒子运动的可重构硬件平台，演示这些系统的实际实现。

提出的方法

• 采用二维网格模型，所有机器人接收相同的全局指令（例如：向上、向右、向下、向左移动），并持续移动直至被障碍物或其他机器人阻挡。
• 设计障碍物配置，使其充当单向阀、锁存器和逻辑门，以控制机器人流动并实现计算。
• 采用双轨逻辑，每个逻辑值由两个粒子表示，实现AND、NAND、OR和NOR操作的并行计算。
• 利用四个全局指令构建矩阵置换系统，将任意数量的机器人重新排列为任意目标配置。
• 基于保守逻辑原理构建可逆逻辑电路，确保无粒子被创造或销毁。
• 通过使用重力驱动的钢质和尼龙轴承在可倾斜MDF网格上的物理硬件原型验证该方法。

实验结果

研究问题

• RQ1 通过全局信号控制的机器人集群，其运动规划问题的计算复杂度是什么？
• RQ2 人工障碍物配置是否能仅通过全局指令实现机器人集群的任意重构？
• RQ3 此类障碍物设计能否支持通用计算，如布尔逻辑运算？
• RQ4 在个体控制能力有限且存在粒子错位风险的系统中，如何实现可靠且无错误的计算？
• RQ5 在真实微机器人环境中实现此类系统时，实际限制和设计约束是什么？

主要发现

• 证明了仅通过全局指令判断给定初始机器人配置是否可被转换为目标配置的问题为PSPACE完全问题。
• 仅需四个全局指令即可实现任意大小的矩阵置换，显著提升了机器人集群重构的效率。
• 使用重力驱动的钢质和尼龙轴承的物理硬件平台成功演示了矩阵置换和双轨逻辑门。
• 双轨逻辑门通过同一指令序列并行计算了AND、NAND、OR和NOR操作。
• 原型在封闭的迷宫式逻辑电路中表现出可靠运行，但矩阵置换系统中的长开放路径易因粒子偏离路径而产生错误。
• 该系统可构建绝对编码器和通用逻辑门，证明了通过工程化环境可实现复杂计算，且仅需极少的控制输入。