Generalised Mathematical Model for the Kinodynamic Planning of Multirotor UAVs and Aerial Robots using Topological Manifolds

从城市上空嗡嗡作响的送货无人机，到检查桥梁的自主机器人，在空中悬停并穿梭飞行的飞行器已成为一种常见的景象。为了让这些机器安全且高效地移动，工程师们依赖于能够预测其行为的数学模型。几十年来，规划无人机路径的标准方法是将整个飞行器视为空间中一个漂浮的、无重量的点。这种“质点”方法忽略了现实中的无人机具有物理形状这一事实，即拥有在特定方向延伸的电机和机臂。虽然这种简化使得早期的计算成为可能，但它假设只要无人机的中心点能通过缝隙，整个机器就能跟进。然而在现实世界中，无人机的尺寸以及旋转螺旋桨之间的固定距离，与中心点本身一样重要。如果无人机太宽，即使其中心点理论上可以通过，它也会撞上墙壁。

位于海德拉巴的毕拉理工学院（Birla Institute of Technology and Science）的研究人员开发了一种新的数学框架，解决了这一疏忽。他们不再将无人机视为一个单一的点，而是将其建模为一个由若干固定点组成的刚性平面形状，这些点代表了电机的实际位置。这种方法使他们不仅能追踪无人机中心点的轨迹，还能精确追踪当飞行器倾斜、转动和行驶时，每一个电机是如何运动的。通过这样做，他们可以判断对于特定的无人机设计而言，一条规划好的路径是否真正可行，而不是仅仅假设只要符合相同中心点路径的任何无人机都能适用。他们的研究成果发表在一篇研究论文中，指出忽略无人机的物理尺寸会导致那些在电脑屏幕上看起来完美、但在现实中无法飞行的计划。

这种新方法的核心在于将无人机的运动映射到一个“拓扑流形”（topological manifold）上，这本质上是一个能够保持无人机各部分之间固定距离的数学曲面。想象一下，无人机是一个带有四个电机安装在角落的扁平刚性板。无论无人机如何旋转或飞行，这些角落之间的距离永远不会改变。研究人员构建了一个在每一步旅程中都遵循这一规则的系统。他们创建了方程组，通过接收无人机中心的平滑路径，自动计算出四个电机必须遵循的确切路径，以保持板材的刚性。这意味着，即使无人机向侧面倾斜，该模型也能立即知道，尽管无人机的中心在做直线运动，左侧的电机运动方式必须与右侧略有不同。

在研究中，团队通过模拟无人机执行一项特定的任务剖面来测试这一想法。无人机从地面起飞，爬升到50米高度，向前飞行200米，然后下降。他们将这种新方法与传统的质点法进行了对比。结果显示，虽然在两种模型中无人机中心点的路径完全一致，但单个电机的表现却大相径庭。在新的模型中，由于考虑了无人机的旋转和物理尺寸，电机追踪的是独特的、复杂的曲线。研究人员发现，在电机层面，速度、加速度以及突然的变化（称为加加速度/jerk）与质点模型预测的结果显著不同。这种差异至关重要，因为电机是实际推动无人机的部件；如果要求它们进行超出物理极限的运动，无人机将会失败。

为了证明这种区别的重要性，研究人员模拟了一个场景：两架尺寸不同的无人机被给予相同的飞行路径。两架无人机都被设计为飞过一个狭窄的圆柱形管道。传统的质点模型仅观察中心点，预测两架无人机都能完成旅程，因为它们的中心点足够小，可以顺利通过。然而，新模型揭示了较大的那架无人机会撞上管道壁。尽管其中心点可以通过，但由于其较宽的机身和电机间的固定距离，它在物理上无法通过。这一模拟凸显了旧方法的一个关键缺陷：它无法考虑到车辆的物理体积。通过追踪实际形状，新框架正确识别出较大无人机的路径是不可能的，从而在碰撞发生前避免了潜在的事故。

研究还探讨了无人机尺寸如何影响其飞行的平滑度。研究人员运行了不同尺寸无人机的模拟实验，从小型三旋翼设计到大型八旋翼版本，所有无人机都遵循相同的中心点路径。他们测量了每个无人机电机的“曲率”，即路径弯曲的剧烈程度。他们发现，随着无人机尺寸的增大，即使中心点的运动轨迹保持平滑，电机所追踪的路径也会变得更加弯曲且更具挑战性。对于最小的无人机，电机遵循的是相对平缓的曲线；而对于最大的无人机，电机则必须追踪更为尖锐的转弯。这意味着，对于小型无人机来说容易的飞行计划，对于大型无人机来说可能过于困难，仅仅是因为大型机器的外围部件必须划过更宽的弧度。新模型捕捉到了这一现实，允许工程师检查特定的无人机设计是否真的能处理预定的航线。

通过将无人机视为一组固定点而非单个点，研究人员创造了一个连接高层规划与底层控制的工具。这种方法确保了发送给电机的指令在物理上是可实现的。它消除了在不同旋转描述方式之间进行复杂且易错转换的需求，这些转换往往会导致被称为“奇异点”的数学错误。相反，该系统完全基于标准的三维坐标运行，使其更具鲁棒性，且更容易在驱动这些机器的计算机上实现。研究人员证明了该方法适用于任意数量的电机，无论是三、四、六还是八个，这使其成为应对当今不断发展的多样化空中机器人的通用解决方案。

这项工作的意义延伸到了自主飞行的安全性和可靠性方面。随着无人机被部署在仓库、森林或城市峡谷等复杂环境中，误差的容忍度正在缩小。一个忽略车辆物理尺寸的规划系统可能会导致碰撞风险。新框架提供了一种验证路径的方法，不仅验证该路径对一个“点”而言是否理论可行，而且验证其对“实际机器”而言是否物理可行。研究人员建议，可以将此方法作为一层额外的安全保障集成到现有的飞行控制系统中，在不需要改变无人机基本控制方式的情况下实时检查约束条件。虽然目前的工作依赖于计算机模拟，但其数学基础是稳固的，团队计划未来在真实硬件上测试这些想法。

最终，这项研究改变了我们看待飞行机器人的视角。它不再采用那种虽然方便但并不准确的、将无人机视为“幽灵点”的想法，而是拥抱了无人机作为一个具有特定形状的实体这一现实。通过这样做，它确保了我们规划的路径是机器确实能够飞行的路径。研究结果表明，为了让自主无人机在现实世界中安全运行，其规划软件必须理解自身的几何结构。这种能够根据物理尺寸精确预测机器每个部分如何运动的能力，是迈向更可靠、更强大的自主飞行的重要一步。