Cover Image

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lin, Albert, Pinto, Alessandro, Bansal, Somil
Format:	Preprint
Published:	2025
Subjects:	Robotics Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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)

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

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
by: Ganai, Milan, et al.
Published: (2024)

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

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

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)

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

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

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

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
by: Hui, Larry, et al.
Published: (2026)

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

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

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
by: He, Chong, et al.
Published: (2025)

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

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
by: Chen, Qingyi, et al.
Published: (2025)

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

Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty
by: Enwerem, Clinton, et al.
Published: (2026)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Active Learning of Discrete-Time Dynamics for Uncertainty-Aware Model Predictive Control
by: Saviolo, Alessandro, et al.
Published: (2022)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

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

NeuroHJR: Hamilton-Jacobi Reachability-based Obstacle Avoidance in Complex Environments with Physics-Informed Neural Networks
by: Halder, Granthik, et al.
Published: (2025)

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

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

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

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

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

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Towards Robust Car Following Dynamics Modeling via Blackbox Models: Methodology, Analysis, and Recommendations
by: Shahid, Muhammad Bilal, et al.
Published: (2024)

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

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)