论文标题
树木结构的可及性分析方法
A Tree Structure Approach to Reachability Analysis
论文作者
论文摘要
在捕获自主系统的行为（从而验证安全性）方面，可及性分析是一种强大的工具。但是，通用方法，例如汉密尔顿 - 雅各比（Hamilton-Jacobi）的方法，都遭受了维度的诅咒。在本文中，我们为中等维度系统缓解了这个问题，我们提出了一种基于树结构方法的新算法，并使用几何修剪。数值示例将包括与线性和非线性问题的标准有限差异方法的比较
Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamilton-Jacobi approaches, suffer from the curse of dimensionality. In this paper, we mitigate this problem for systems of moderate dimension and we propose a new algorithm based on a tree structure approach with geometric pruning. The numerical examples will include a comparison with a standard finite-difference method for linear and nonlinear problems
