DeepReach: A Deep Learning Approach to High-Dimensional Reachability

4 November 2020

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

30 / 80 papers shown

Title
The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems Kai-Chieh Hsu Haimin Hu J. F. Fisac 37 73 0 11 Sep 2023
Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy Haimin Hu Zixu Zhang Kensuke Nakamura Andrea V. Bajcsy J. F. Fisac 30 12 0 03 Sep 2023
Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networks Yequan Zhao Xinling Yu Zhixiong Chen Z. Liu Sijia Liu Zheng-Wei Zhang PINN 35 11 0 18 Aug 2023
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition Sever Topan Yuxiao Chen Edward Schmerling Karen Leung Jonas Nilsson Michael Cox Marco Pavone 22 1 0 11 Aug 2023
Learning optimal controllers: a dynamical motion primitive approach Hugo Tadashi M. Kussaba Abdalla Swikir Fan Wu Anastasija Demerdjieva Gitta Kutyniok Sami Haddadin 24 1 0 10 Jun 2023
Neural Lyapunov and Optimal Control Daniel Layeghi Steve Tonneau M. Mistry 21 0 0 24 May 2023
Deep Model Predictive Control Prabhat Kumar Mishra M. V. Gasparino A. E. B. Velasquez Girish Chowdhary 16 0 0 27 Feb 2023
Neural Optimal Control using Learned System Dynamics Selim Engin Volkan Isler 22 3 0 20 Feb 2023
Trajectories for the Optimal Collection of Information Matthew R. Kirchner David Grimsman J. Hespanha Jason R. Marden 14 0 0 06 Jan 2023
ISAACS: Iterative Soft Adversarial Actor-Critic for Safety Kai Hsu D. Nguyen J. F. Fisac 23 30 0 06 Dec 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 33 12 0 04 Nov 2022
Learning Autonomous Vehicle Safety Concepts from Demonstrations Karen Leung Sushant Veer Edward Schmerling Marco Pavone 16 7 0 06 Oct 2022
Online Update of Safety Assurances Using Confidence-Based Predictions Kensuke Nakamura Somil Bansal 50 27 0 03 Oct 2022
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online Javier Borquez Kensuke Nakamura Somil Bansal 14 14 0 29 Sep 2022
Generating Formal Safety Assurances for High-Dimensional Reachability Albert Lin Somil Bansal 14 22 0 25 Sep 2022
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning Yue Meng Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 31 5 0 16 Sep 2022
Computing Forward Reachable Sets for Nonlinear Adaptive Multirotor Controllers Ju Han Han-Lim Choi 9 0 0 16 Sep 2022
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games Lei Zhang Mukesh Ghimire Wenlong Zhang Zhenni Xu Yi Ren 27 7 0 05 Jul 2022
TT-PINN: A Tensor-Compressed Neural PDE Solver for Edge Computing Z. Liu Xinling Yu Zheng-Wei Zhang PINN 16 7 0 04 Jul 2022
Reachability Constrained Reinforcement Learning Dongjie Yu Haitong Ma Sheng Li Jianyu Chen 63 54 0 16 May 2022
Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models Zhongyu Li Jun Zeng A. Thirugnanam K. Sreenath 26 16 0 11 May 2022
Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning Jingqi Li Donggun Lee Somayeh Sojoudi Claire Tomlin 11 11 0 18 Mar 2022
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots Jason J. Choi Ayush Agrawal K. Sreenath Claire Tomlin Somil Bansal 14 12 0 21 Jan 2022
SympOCnet: Solving optimal control problems with applications to high-dimensional multi-agent path planning problems Tingwei Meng Zhen Zhang Jérome Darbon George Karniadakis 26 15 0 14 Jan 2022
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning Kai Hsu Vicencc Rubies-Royo Claire Tomlin J. F. Fisac 16 62 0 23 Dec 2021
Fast PDE-constrained optimization via self-supervised operator learning Sizhuang He Mohamed Aziz Bhouri P. Perdikaris 47 28 0 25 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 77 19 0 14 Sep 2021
Comparison between safety methods control barrier function vs. reachability analysis Zhichao Li 13 29 0 24 Jun 2021
Neural network architectures using min-plus algebra for solving certain high dimensional optimal control problems and Hamilton-Jacobi PDEs Jérome Darbon P. Dower Tingwei Meng 8 22 0 07 May 2021