DeepReach: A Deep Learning Approach to High-Dimensional Reachability

4 November 2020

Papers citing "DeepReach: A Deep Learning Approach to High-Dimensional Reachability"

50 / 80 papers shown

Title
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions Matthew Kim William Sharpless Hyun Joe Jeong S. Tonkens Somil Bansal Sylvia Herbert 0 0 0 16 May 2025
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations Chong He Mugilan Mariappan Keval Vora Mo Chen 21 0 0 15 May 2025
Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety Jason J. Choi Jasmine Jerry Aloor Jingqi Li Maria G. Mendoza H. Balakrishnan Claire J. Tomlin 31 0 0 04 May 2025
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Zeyuan Feng Le Qiu Somil Bansal 32 0 0 04 May 2025
Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures Junwon Seo Kensuke Nakamura Andrea V. Bajcsy 56 0 0 01 May 2025
HJRNO: Hamilton-Jacobi Reachability with Neural Operators Yankai Li Mo Chen 44 0 0 28 Apr 2025
SACA: A Scenario-Aware Collision Avoidance Framework for Autonomous Vehicles Integrating LLMs-Driven Reasoning Shiyue Zhao Junzhi Zhang Neda Masoud Heye Huang Xingpeng Xia Chengkun He LRM 44 0 0 31 Mar 2025
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets Prashant Solanki Nikolaus Vertovec Yannik Schnitzer Jasper J. van Beers Coen de Visser Alessandro Abate 35 0 0 31 Mar 2025
Learning Nash Equilibrial Hamiltonian for Two-Player Collision-Avoiding Interactions Lei Zhang Siddharth Das Tanner Merry Wenlong Zhang Yi Ren 54 0 0 10 Mar 2025
Parametric Value Approximation for General-sum Differential Games with State Constraints Lei Zhang Mukesh Ghimire Wenlong Zhang Z. Xu Yi Ren 36 0 0 10 Mar 2025
Scalable Back-Propagation-Free Training of Optical Physics-Informed Neural Networks Yequan Zhao Xinling Yu Xian Xiao Zhengzhang Chen Z. Liu G. Kurczveil R. Beausoleil S. Liu Z. Zhang 56 0 0 17 Feb 2025
Infinite-Horizon Value Function Approximation for Model Predictive Control Armand Jordana Sébastien Kleff Arthur Haffemayer Joaquim Ortiz de Haro Justin Carpentier Nicolas Mansard Ludovic Righetti 41 0 0 10 Feb 2025
Your Learned Constraint is Secretly a Backward Reachable Tube Mohamad Qadri Gokul Swamy Jonathan Francis Michael Kaess Andrea Bajcsy 31 3 0 26 Jan 2025
Experimental Demonstration of an Optical Neural PDE Solver via On-Chip PINN Training Yequan Zhao Xian Xiao Antoine Descos Yuan Yuan Xinling Yu G. Kurczveil M. Fiorentino Zheng-Wei Zhang R. Beausoleil 34 0 0 03 Jan 2025
On the Boundary Feasibility for PDE Control with Neural Operators Hanjiang Hu Changliu Liu AI4CE 75 1 0 23 Nov 2024
Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Aryaman Gupta Somil Bansal 23 2 0 29 Oct 2024
RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions Luzia Knoedler Oswin So Ji Yin Mitchell Black Zachary Serlin Panagiotis Tsiotras Javier Alonso-Mora Chuchu Fan 28 1 0 15 Oct 2024
Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability William Hofgard 26 2 0 03 Oct 2024
Learning Robust Policies via Interpretable Hamilton-Jacobi Reachability-Guided Disturbances Hanyang Hu Xilun Zhang Xubo Lyu Mo Chen 37 1 0 29 Sep 2024
System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles Kaustav Chakraborty Zeyuan Feng Sushant Veer Apoorva Sharma Boris Ivanovic Marco Pavone Somil Bansal 29 1 0 26 Sep 2024
Robots that Learn to Safely Influence via Prediction-Informed Reach-Avoid Dynamic Games Ravi Pandya Changliu Liu Andrea V. Bajcsy 41 1 0 18 Sep 2024
Robots that Suggest Safe Alternatives Hyun Joe Jeong Andrea V. Bajcsy Andrea Bajcsy OffRL 46 1 0 15 Sep 2024
Cooptimizing Safety and Performance with a Control-Constrained Formulation Hao Wang Adityaya Dhande Somil Bansal 28 1 0 10 Sep 2024
Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker Xingpeng Xia Jason J. Choi Ayush Agrawal K. Sreenath Claire J. Tomlin Somil Bansal 26 0 0 10 Sep 2024
Online Time-Informed Kinodynamic Motion Planning of Nonlinear Systems Fei Meng Jianbang Liu Haojie Shi Han Ma Hongliang Ren Max Q.-H. Meng 28 2 0 03 Jul 2024
AVOCADO: Adaptive Optimal Collision Avoidance driven by Opinion Diego Martínez Baselga Eduardo Sebastián Eduardo Montijano L. Riazuelo C. Sagüés Luis Montano 76 2 0 29 Jun 2024
Human-AI Safety: A Descendant of Generative AI and Control Systems Safety Andrea V. Bajcsy J. F. Fisac 40 7 0 16 May 2024
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach Hyun Joe Jeong Zheng Gong Somil Bansal Sylvia L. Herbert 35 1 0 11 Apr 2024
RAnGE: Reachability Analysis for Guaranteed Ergodicity Henry Berger Ian Abraham 30 0 0 04 Apr 2024
Boundary-Aware Value Function Generation for Safe Stochastic Motion Planning Junhong Xu Kai-Li Yin Jason M. Gregory Kris Hauser Lantao Liu 35 1 0 22 Mar 2024
Providing Safety Assurances for Systems with Unknown Dynamics Hao Wang Javier Borquez Somil Bansal 35 3 0 09 Mar 2024
State-Constrained Zero-Sum Differential Games with One-Sided Information Mukesh Ghimire Lei Zhang Zhenni Xu Yi Ren 41 2 0 05 Mar 2024
Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation Long Kiu Chung Wonsuhk Jung Chuizheng Kong Shreyas Kousik 36 3 0 23 Feb 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes Will Lavanakul Jason J. Choi K. Sreenath Claire J. Tomlin 49 12 0 07 Feb 2024
Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion Tairan He Chong Zhang Wenli Xiao Guanqi He Changliu Liu Guanya Shi 47 58 0 31 Jan 2024
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems Shuo Yang Yu Chen Xiang Yin Rahul Mangharam 38 4 0 26 Jan 2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation Shaoru Chen Mahyar Fazlyab 42 6 0 11 Jan 2024
Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games Lei Zhang Mukesh Ghimire Zhenni Xu Wenlong Zhang Yi Ren 30 3 0 03 Jan 2024
Real-Time FJ/MAC PDE Solvers via Tensorized, Back-Propagation-Free Optical PINN Training Yequan Zhao Xianwei Xiao Xinling Yu Z. Liu Zhixiong Chen G. Kurczveil R. Beausoleil Zheng-Wei Zhang 38 4 0 31 Dec 2023
Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions Qian Wang Tianhao Wu 16 1 0 29 Dec 2023
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis Javier Borquez Kaustav Chakraborty Hao Wang Somil Bansal 24 7 0 23 Dec 2023
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction Albert Lin Somil Bansal 11 25 0 14 Dec 2023
Value Approximation for Two-Player General-Sum Differential Games with State Constraints Lei Zhang Mukesh Ghimire Wenlong Zhang Zhenni Xu Yi Ren 24 3 0 28 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 32 5 0 08 Nov 2023
Solving Two-Player General-Sum Games Between Swarms Mukesh Ghimire Lei Zhang Wenlong Zhang Yi Ren Zhenni Xu 29 1 0 02 Oct 2023
Iterative Reachability Estimation for Safe Reinforcement Learning Milan Ganai Zheng Gong Chenning Yu Sylvia L. Herbert Sicun Gao 35 17 0 24 Sep 2023
Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers Aryaman Gupta Kaustav Chakraborty Somil Bansal 28 5 0 23 Sep 2023
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions Javier Borquez Shuang Peng Lydia Y. Chen Quan Nguyen Somil Bansal 25 2 0 19 Sep 2023
Continuous-time control synthesis under nested signal temporal logic specifications Pian Yu Xiao Tan Dimos V. Dimarogonas 16 9 0 17 Sep 2023