[论文解读] Exact and Efficient Hamilton-Jacobi Reachability for Decoupled Systems

Mo Chen, Claire J. Tomlin|arXiv (Cornell University)|Mar 19, 2015

Spacecraft Dynamics and Control参考文献 19被引用 4

一句话总结

本文提出了一种针对时不变解耦系统的精确且高效的哈密顿-雅可比可达性方法，通过独立求解低维HJ偏微分方程，并在不使用近似的情况下重构高维完整解。该方法消除了传统方法中复杂性与最优性之间的权衡，使得在解耦动力学系统中能够以显著降低的计算成本实现精确的可达集计算。

ABSTRACT

Reachability analysis is important for studying optimal control problems and differential games, which are powerful theoretical tools for analyzing and modeling many practical problems in robotics, aircraft control, among other application areas. In reachability analysis, one is interested in computing the reachable set, defined as the set of states from which there exists a control, despite the worst disturbance, that can drive the system into a set of target states. The target states can be used to model either unsafe or desirable configurations, depending on the application. Many Hamilton-Jacobi formulations allow the computation of reachable sets; however, due to the exponential complexity scaling in computation time and space, problems involving approximately 5 dimensions become intractable. A number of methods that compute an approximate solution exist in the literature, but these methods trade off complexity for optimality. In this paper, we eliminate complexity-optimality trade-offs for time-invariant decoupled systems using a decoupled Hamilton-Jacobi formulation that enables the exact reconstruction of high dimensional solutions via low dimensional solutions of the decoupled subsystems. Our formulation is compatible with existing numerical tools, and we show the accuracy, computation benefits, and an application of our novel approach using two numerical examples.

研究动机与目标

• 解决高维系统中哈密顿-雅可比可达性方法的指数级计算复杂度问题。
• 消除可达性分析中计算复杂度与解最优性之间的权衡。
• 开发一种方法，通过解耦子系统的解精确重构高维可达集。
• 在显著降低计算时间和内存使用的同时，确保与现有数值工具的兼容性。
• 通过包含解耦动力学的数值算例，展示该方法的准确性和高效性。

提出的方法

• 该方法将原始的高维哈密顿-雅可比PDE分解为每个解耦子系统独立的低维PDE。
• 它利用解耦动力学的结构，定义状态空间中HJ PDE退化为时间无关或标准HJ形式的区域。
• 通过利用集合 𝒻₁(t) 和 𝒻₂(t) 的性质，结合子系统的值函数，精确重构解，其中这两个集合根据哈密顿量的符号对状态空间进行划分。
• 该方法依赖于这些集合在时间上的不变性，通过粘性解梯度的连续性与反证法证明。
• 该方法与标准HJ求解器（如L1000和Level Set Toolbox中的求解器）兼容，支持实际实现。
• 它使用终端条件 l(z) 定义目标集，并将后向可达集计算为值函数 V(t,z) 的次水平集。

实验结果

研究问题

• RQ1 是否能够在不牺牲计算效率的前提下，对高维解耦系统精确计算可达集？
• RQ2 是否可能将高维HJ PDE分解为独立的低维PDE，同时保持解的准确性？
• RQ3 如何从解耦子系统的解中精确重构完整HJ PDE的解？
• RQ4 解耦系统具备何种结构特性，使得能够实现精确且高效的可达性计算？
• RQ5 所提出的方法是否消除了近似可达性方法固有的复杂性-最优性权衡？

主要发现

• 所提出的方法仅使用低维子系统的解，即精确重构了完整高维HJ PDE的解。
• 通过避免全维网格化，该方法在计算时间和内存使用上实现了显著降低。
• 该解为精确且最优，避免了高维可达性中近似技术常引入的保守性。
• 集合 𝒻₁(t) 和 𝒻₂(t) 在时间上的不变性确保了分解的一致性，并支持精确重构。
• 数值算例表明，该方法在准确性和计算优势方面显著优于标准HJ可达性方法。
• 该方法与现有数值工具兼容，支持在机器人学和控制应用中的实际部署。