Cover Image

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Thorup, Santiago, Castelletto, Luca, Feng, Zeyuan, Bansal, Somil
Format:	Preprint
Published:	2026
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

MADR: MPC-guided Adversarial DeepReach
by: Teoh, Ryan, et al.
Published: (2025)

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
by: Feng, Zeyuan, et al.
Published: (2025)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
by: Sharpless, William, et al.
Published: (2024)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
by: Borquez, Javier, et al.
Published: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
by: Wang, Hao, et al.
Published: (2025)

SAFE-GIL: SAFEty Guided Imitation Learning for Robotic Systems
by: Ciftci, Yusuf Umut, et al.
Published: (2024)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
by: Jeong, Hyun Joe, et al.
Published: (2024)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
by: Tayal, Manan, et al.
Published: (2025)

Providing Safety Assurances for Systems with Unknown Dynamics
by: Wang, Hao, et al.
Published: (2024)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Cooptimizing Safety and Performance with a Control-Constrained Formulation
by: Wang, Hao, et al.
Published: (2024)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
by: Borquez, Javier, et al.
Published: (2022)

Convex MPC and Thrust Allocation with Deadband for Spacecraft Rendezvous
by: Taborda, Pedro, et al.
Published: (2024)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
by: Kumar, Athindran Ramesh, et al.
Published: (2023)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
by: Begzadić, Azra, et al.
Published: (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
by: Chung, Long Kiu, et al.
Published: (2024)

Reachability Analysis for Black-Box Dynamical Systems
by: Chilakamarri, Vamsi Krishna, et al.
Published: (2024)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
by: Borquez, Javier, et al.
Published: (2023)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
by: Chakraborty, Kaustav, et al.
Published: (2025)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
by: Borquez, Javier, et al.
Published: (2023)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Safe, Out-of-Distribution-Adaptive MPC with Conformalized Neural Network Ensembles
by: Contreras, Jose Leopoldo, et al.
Published: (2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)

Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions
by: Wang, Qian, et al.
Published: (2023)

Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control
by: Wang, Hao, et al.
Published: (2026)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Dynamic Objective MPC for Motion Planning of Seamless Docking Maneuvers
by: Schumann, Oliver, et al.
Published: (2025)

Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
by: Gupta, Aryaman, et al.
Published: (2023)

Chance-Constrained Control for Safe Spacecraft Autonomy: Convex Programming Approach
by: Oguri, Kenshiro
Published: (2024)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
by: Lin, Albert, et al.
Published: (2024)

MPC-Guided Safe Reinforcement Learning and Lipschitz-Based Filtering for Structured Nonlinear Systems
by: Kostelac, Patrick, et al.
Published: (2025)