[论文解读] Energy-Based Voronoi Partition in Constant Flow Environments

Yu Ru, Sonia Martı́nez|arXiv (Cornell University)|Oct 31, 2011

Robotic Path Planning Algorithms参考文献 19被引用 3

一句话总结

本文提出了一种面向恒定流场环境中移动车辆的能量型Voronoi划分方法，采用一种量化两点间移动所需最小能量的度量。通过基于渐近线的近似方法和支配关系，推导出Voronoi邻居的上下界，该方法实现了Voronoi区域的高效、有界计算；仿真结果表明，上界中平均最多包含4.5个生成器，显著降低了大规模部署中的计算负载。

ABSTRACT

As is well known, energy cost can greatly impact the deployment of battery-powered sensor networks in remote environments such as rivers or oceans. Motivated by this, we propose here an energy-based metric and associate energy-based Voronoi partitions with mobile vehicles in constant flows. The metric corresponds to the minimum energy that a vehicle requires to move from one point to another in the flow environment, and the resulting partition can be used by the vehicles in cooperative control tasks such as task assignment and coverage. Based on disk-based and asymptote-based approximations of the Voronoi regions, we determine a subset (or lower bound) and superset (or upper bound) of an agent's Voronoi neighbors. We then show that, via simulations, the upper bound is tight and its cardinality remains bounded as the number of generators increases. Finally, we propose efficient algorithms to compute the upper bound (especially when the generators dynamically change), which enables the fast calculation of Voronoi regions.

研究动机与目标

• 为解决电池供电的移动传感器网络在河流或海洋等流动环境中运行时的能耗最小化问题。
• 开发一种协同控制框架，以优化动态、受流影响环境中的任务分配与覆盖的能效。
• 通过限制每个车辆的相关生成器数量（即Voronoi邻居），实现Voronoi区域的快速、可扩展计算。
• 提供一种分布式、高效的算法，用于在生成器位置动态变化时，基于能量度量计算Voronoi划分。

提出的方法

• 提出一种能量度量，表示车辆在恒定流场环境中从一点移动到另一点所需的最小能量，该度量基于最优控制原理推导得出。
• 将Voronoi区域边界表征为能量度量下的双曲线，从而实现对区域结构的几何分析。
• 引入基于圆盘和渐近线的近似方法，以界定Voronoi邻居集合——通过圆盘近似获得下界，通过基于渐近线的区域建模获得上界。
• 定义生成器之间的支配关系，以识别潜在的Voronoi邻居，并完整刻画其传递性和反对称性，以防止循环出现。
• 基于生成器排序开发一种高效算法，用于计算Voronoi邻居的上界，从而实现在动态环境中快速、可扩展的计算。
• 通过仿真验证上界，结果表明其基数保持有界（平均≤4.5），即使生成器数量增加也保持稳定。

实验结果

研究问题

• RQ1 如何为在恒定流场环境中运行的移动车辆正式定义一种能量度量？
• RQ2 在该能量度量下，Voronoi区域具有哪些几何与拓扑特性？
• RQ3 能否高效地对Voronoi邻居集合进行有界化，以降低大规模部署中的计算复杂度？
• RQ4 生成器之间需满足何种条件或关系，才能获得相关邻居数量的紧致、有界上界？
• RQ5 所提出方法在移动车辆数量增加时的可扩展性如何？维护动态Voronoi划分的计算开销是多少？

主要发现

• 能量度量被显式推导，并证明等价于一种改进的可加加权度量，从而可复用现有的集中式计算技术。
• Voronoi邻居数量的上界在经验上保持有界，仿真结果表明每辆车平均仅包含4.5个生成器，与总车辆数无关。
• 生成器之间的支配关系具有传递性和反对称性，确保无循环出现，从而可高效剪枝无关生成器。
• 基于排序计算上界的算法具有较低的计算复杂度，并支持生成器位置的动态变化。
• 上界紧致且足够精确，可用于计算准确的Voronoi单元，与使用全部生成器相比显著减少了计算时间。
• 该方法实现了能量受限的移动车辆网络中可扩展的分布式协同控制，尤其适用于长时间监测任务。