A Tree Structure Approach to Reachability Analysis

From MaRDI portal




Abstract: 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














This page was built for publication: A Tree Structure Approach to Reachability Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6415019)