Cover Image

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Yujie, Hu, Hanjiang, Wei, Tianhao, Li, Shengbo Eben, Liu, Changliu
Format:	Preprint
Published:	2024
Subjects:	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 Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks
by: Li, Jiaxing, et al.
Published: (2025)

The Feasibility Theory of Constrained Reinforcement Learning: A Tutorial Study
by: Yang, Yujie, et al.
Published: (2024)

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

Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
by: Cheng, Huixuan, et al.
Published: (2024)

Safe PDE Boundary Control with Neural Operators
by: Hu, Hanjiang, et al.
Published: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

On the Stability of Datatic Control Systems
by: Yang, Yujie, et al.
Published: (2024)

Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026)

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

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

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

On the Equilibrium between Feasible Zone and Uncertain Model in Safe Exploration
by: Yang, Yujie, et al.
Published: (2026)

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

Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026)

Controllability Test for Nonlinear Datatic Systems
by: Yang, Yujie, et al.
Published: (2024)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

Training Task Reasoning LLM Agents for Multi-turn Task Planning via Single-turn Reinforcement Learning
by: Hu, Hanjiang, et al.
Published: (2025)

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

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
by: Mballo, Chams Eddine, et al.
Published: (2025)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

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

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

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

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

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

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

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

Approximate Hamilton-Jacobi Reachability Analysis for a Class of Two-Timescale Systems, with Application to Biological Models
by: Hirsch, Dylan, et al.
Published: (2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
by: Li, Xiao, et al.
Published: (2025)

Algorithm Design and Comparative Test of Natural Gradient Gaussian Approximation Filter
by: Cao, Wenhan, et al.
Published: (2025)

Natural Gradient Gaussian Approximation Filter with Positive Definiteness Guarantee
by: Zhang, Tianyi, et al.
Published: (2026)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
by: Wei, Tianhao, 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)

Feasible Policy Iteration for Safe Reinforcement Learning
by: Yang, Yujie, et al.
Published: (2023)

Canonical Form of Datatic Description in Control Systems
by: Zhan, Guojian, et al.
Published: (2024)