Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions (2312.17583v1)
Abstract: With the continuous advancement in autonomous systems, it becomes crucial to provide robust safety guarantees for safety-critical systems. Hamilton-Jacobi Reachability Analysis is a formal verification method that guarantees performance and safety for dynamical systems and is widely applicable to various tasks and challenges. Traditionally, reachability problems are solved by using grid-based methods, whose computational and memory cost scales exponentially with the dimensionality of the system. To overcome this challenge, DeepReach, a deep learning-based approach that approximately solves high-dimensional reachability problems, is proposed and has shown lots of promise. In this paper, we aim to improve the performance of DeepReach on high-dimensional systems by exploring different choices of activation functions. We first run experiments on a 3D system as a proof of concept. Then we demonstrate the effectiveness of our approach on a 9D multi-vehicle collision problem.
- S. Bansal and C. Tomlin, “DeepReach: A Deep Learning Approach to High-Dimensional Reachability,” IEEE International Conference on Robotics and Automation (ICRA), 2021.
- I. Mitchell. “A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars”. EPiC Series in Computing 74 (2020).
- I. Mitchell. “A toolbox of level set methods”. http://www.cs. ubc. ca/mitchell/ToolboxLS/toolboxLS.pdf (2004).
- S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin. “Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances”. CDC. 2017.
- J. Han, A. Jentzen, and E. Weinan. “Solving high-dimensional partial differential equations using deep learning”. Proceedings of the National Academy of Sciences 115.34 (2018).
- J. Blechschmidt and O. Ernst, “Three Ways to Solve Partial Differential Equations with Neural Networks – A Review,” arXiv:2102.11802 (2021).
- A. Lin, S. Bansal. “Generating Formal Safety Assurances for High-Dimensional Reachability,” arXiv:2209.12336 (2022)