Cover Image

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Zeyuan, Qiu, Le, Bansal, Somil
Format:	Preprint
Published:	2025
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)

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

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

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

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

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

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

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

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
by: Thorup, Santiago, et al.
Published: (2026)

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2022)

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

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

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

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

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

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

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
by: Xia, Xingpeng, et al.
Published: (2024)

Providing Safety Assurances for Systems with Unknown Dynamics
by: Wang, Hao, 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)

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

Boundary Sampling to Learn Predictive Safety Filters via Pontryagin's Maximum Principle
by: Dallas, James, et al.
Published: (2026)

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

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

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

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

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2025)

Deep QP Safety Filter: Model-free Learning for Reachability-based Safety Filter
by: Kim, Byeongjun, et al.
Published: (2026)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
by: Vincent, Joseph A., et al.
Published: (2022)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2024)

PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
by: Fronda, Nicole, et al.
Published: (2025)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)

Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty
by: Faraci, Tommaso, et al.
Published: (2025)

GATO: GPU-Accelerated and Batched Trajectory Optimization for Scalable Edge Model Predictive Control
by: Du, Alexander, et al.
Published: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Multi-segment Soft Robot Control via Deep Koopman-based Model Predictive Control
by: Lv, Lei, et al.
Published: (2025)