[论文解读] A Survey on Open Problems for Mobile Robots

Alberto Bandettini, Fabio Luporini+1 more|arXiv (Cornell University)|Nov 7, 2011

Optimization and Search Problems参考文献 31被引用 3

一句话总结

本综述识别并分析了移动机器人领域中的两个主要开放问题：(1) 在扩展的CORDA模型下，n > 4个胖（非点状、不透明）机器人是否始终能够实现汇聚；(2) 移动机器人在有限视野下进行边界巡逻所面临的算法挑战。文章提出，通过模式形成与协调策略——尤其是有限视野下的策略——可能实现解决方案，但指出现有模型中边界巡逻问题仍缺乏理论基础。

ABSTRACT

Gathering mobile robots is a widely studied problem in robotic research. This survey first introduces the related work, summarizing models and results. Then, the focus shifts on the open problem of gathering fat robots. In this context, "fat" means that the robot is not represented by a point in a bidimensional space, but it has an extent. Moreover, it can be opaque in the sense that other robots cannot "see through" it. All these issues lead to a redefinition of the original problem and an extension of the CORDA model. For at most 4 robots an algorithm is provided in the literature, but is gathering always possible for n>4 fat robots? Another open problem is considered: Boundary Patrolling by mobile robots. A set of mobile robots with constraints only on speed and visibility is working in a polygonal environment having boundary and possibly obstacles. The robots have to perform a perpetual movement (possibly within the environment) so that the maximum timespan in which a point of the boundary is not being watched by any robot is minimized.

研究动机与目标

• 在分布式、无记忆的设定下，研究在CORDA模型下对n > 4个胖、不透明机器人实现汇聚的可行性。
• 解决移动机器人在有限视野下且无显式通信时，边界巡逻缺乏理论算法的问题。
• 探讨在有限视野下，模式形成是否能够支持有效的边界巡逻策略。
• 研究可见性图与机器人协调在实现复杂机器人任务分布式解决方案中的作用。
• 识别当前机器人模型在协调问题中所存在的基本算法局限性。

提出的方法

• 将CORDA模型扩展以包含胖机器人和不透明机器人，重新定义可见性与移动约束。
• 分析点状机器人的现有算法，并将其适配至胖机器人模型，重点关注几何与拓扑约束。
• 提出利用分布式模式形成（如正n边形或直线形）作为边界巡逻的前奏。
• 考虑使用可见性图以确保形成与巡逻阶段的连通性。
• 评估混合方案的潜力，即部分机器人通过间接通信充当协调者。
• 评估记忆或通信原语（如彩色灯光）在多步算法中实现状态转换的必要性。

实验结果

研究问题

• RQ1 在扩展的CORDA模型下，n > 4个胖机器人配置的汇聚是否始终可能？
• RQ2 能否设计出一种分布式算法，在有限视野且无显式通信下实现最优边界巡逻？
• RQ3 在有限视野下，机器人如何形成稳定且均匀的构型（如正n边形或直线形）以支持巡逻？
• RQ4 可见性图的连通性在支持巡逻或汇聚的协调运动中起到何种作用？
• RQ5 在有限视野下，模式形成能否作为解决更高阶协调问题（如边界巡逻）的基础？

主要发现

• 对于n ≤ 4的情况，胖机器人的汇聚算法已存在，但n > 4时的汇聚可能性仍是开放问题。
• 当前机器人模型中，边界巡逻问题缺乏理论算法基础，尤其在有限视野条件下更为显著。
• 现有算法尚未支持在有限视野下的模式形成，特别是在假设无限视野的CORDA等模型中尤为明显。
• 形成正n边形或直线形构型可能支持均匀的边界巡逻，但需要尚未建立的协调机制来实现有限视野下的操作。
• 可见性图必须保持连通或足够密集以维持协调，但在有限视野下这一条件无法保证。
• 若无记忆或通信能力，实现状态转换（如从构型形成到巡逻）极具挑战，表明需增强机器人能力。