Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
175 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions (2312.17583v1)

Published 29 Dec 2023 in eess.SY, cs.RO, and cs.SY

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.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (7)
  1. S. Bansal and C. Tomlin, “DeepReach: A Deep Learning Approach to High-Dimensional Reachability,” IEEE International Conference on Robotics and Automation (ICRA), 2021.
  2. I. Mitchell. “A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars”. EPiC Series in Computing 74 (2020).
  3. I. Mitchell. “A toolbox of level set methods”. http://www.cs. ubc. ca/mitchell/ToolboxLS/toolboxLS.pdf (2004).
  4. S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin. “Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances”. CDC. 2017.
  5. 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).
  6. J. Blechschmidt and O. Ernst, “Three Ways to Solve Partial Differential Equations with Neural Networks – A Review,” arXiv:2102.11802 (2021).
  7. A. Lin, S. Bansal. “Generating Formal Safety Assurances for High-Dimensional Reachability,” arXiv:2209.12336 (2022)
Citations (1)

Summary

We haven't generated a summary for this paper yet.