[论文解读] Multi-Vehicle Collision Avoidance via Hamilton-Jacobi Reachability and Mixed Integer Programming

Mo Chen, Jennifer C. Shih+1 more|arXiv (Cornell University)|Mar 16, 2016

Robotic Path Planning Algorithms参考文献 17被引用 9

一句话总结

该论文提出一种混合方法，结合哈密顿-雅可比可达性（Hamilton-Jacobi reachability）与混合整数规划（MIP），实现多架无人飞行器（UAV）系统的可扩展、安全保证型碰撞规避。通过使用MIP协调成对的HJ型安全控制器，该方法在计算开销较低的情况下实现了三架飞行器的碰撞规避，并在仿真中优于仅基于成对策略的方法。

ABSTRACT

Multi-agent differential games are important and useful tools for analyzing many practical problems. With the recent surge of interest in using UAVs for civil purposes, the importance and urgency of developing tractable multi-agent analysis techniques that provide safety and performance guarantees is at an all-time high. Hamilton-Jacobi (HJ) reachability has successfully provided safety guarantees to small-scale systems and is flexible in terms of system dynamics. However, the exponential complexity scaling of HJ reachability prevents its direct application to large scale problems when the number of vehicles is greater than two. In this paper, we overcome the scalability limitations of HJ reachability by using a mixed integer program that exploits the properties of HJ solutions to provide higher-level control logic. Our proposed method provides safety guarantee for three-vehicle systems -- a previously intractable task for HJ reachability -- without incurring significant additional computation cost. Furthermore, our method is scalable beyond three vehicles and performs significantly better by several metrics than an extension of pairwise collision avoidance to multi-vehicle collision avoidance. We demonstrate our proposed method in simulations.

研究动机与目标

• 解决哈密顿-雅可比（HJ）可达性在多架飞行器系统中随飞行器数量呈指数级增长的可扩展性限制。
• 为三架飞行器UAV系统提供可证明的安全保证，这是纯HJ可达性此前难以解决的问题。
• 开发一种更高级别的控制逻辑，协调成对的HJ安全控制器，以防止因独立成对动作引发的冲突。
• 确保该方法在三架以上飞行器场景中仍保持计算效率和可扩展性。
• 与将成对碰撞规避简单扩展至多架飞行器场景的方法相比，展示出更优的性能。

提出的方法

• 集成基于HJ可达性的成对安全控制器，确保在最坏情况动作下任意两架飞行器之间均能实现碰撞规避。
• 构建一个混合整数规划（MIP）模型，利用控制逻辑矩阵 $\hat{U}$ 和奖励系数矩阵 $C$ 选择最优联合规避策略。
• 定义MIP的目标函数以最大化安全性和协调效率，其中 $c_{ij}$ 编码规避优先级与安全等级。
• 施加约束条件：$\hat{u}_{ij} + \hat{u}_{ji} \leq 1$ 以防止冗余规避，以及 $\sum_j \hat{u}_{ij} \leq 1$ 以限制每架飞行器最多仅规避另一架飞行器。
• 利用与飞行器状态相关的安全等级 $s_{ij} = V_{ij}(x_{ij})$ 来指导奖励矩阵 $C$ 的构建，确保动态适应性。
• 将MIP求解结果应用于仅激活必要的成对安全控制，实现协调、具有前瞻性的规避动作。

实验结果

研究问题

• RQ1 HJ可达性能否在计算复杂度呈指数增长的情况下，仍为三架飞行器UAV系统提供可证明的安全保证？
• RQ2 更高级别的协调逻辑如何缓解在独立应用成对规避时引发的冲突传播风险？
• RQ3 将基于MIP的协调机制与HJ可达性结合用于多架飞行器系统时，其计算成本如何？
• RQ4 该混合方法在多架飞行器场景下的性能与将成对规避简单扩展至多架飞行器场景的方法相比如何？
• RQ5 奖励系数矩阵 $C$ 的哪些设计原则可确保安全性和协调效率？

主要发现

• 所提方法为三架飞行器系统提供了可证明的安全保证，克服了纯HJ可达性在此类场景下的不可行性。
• 该方法可扩展至三架以上飞行器，且由于MIP公式的高效性，计算成本保持较低。
• 仿真结果表明，混合方法在安全性与任务成功率方面显著优于仅基于成对规避的扩展方法。
• 基于MIP的协调机制有效防止了当两架飞行器独立规避对方而同时与第三架发生碰撞的冲突。
• 安全等级 $s_{ij} > 0$ 确保若某架飞行器执行其HJ最优控制，其将始终处于安全状态，从而实现可靠的安全部署。
• 奖励矩阵 $C$ 可基于与状态相关的安全等级进行设计，以实现对关键规避动作的动态优先级排序。