Image de couverture de livre

Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Solanki, Prashant, El-Hajj, Isabelle, van Beers, Jasper J., van Kampen, Erik-Jan, de Visser, Coen C.
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
par: Solanki, Prashant, et autres
Publié: (2026)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
par: Solanki, Prashant, et autres
Publié: (2025)

A novel metric for detecting quadrotor loss-of-control
par: van Beers, Jasper, et autres
Publié: (2024)

From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
par: Solanki, Prashant, et autres
Publié: (2026)

Peaking into the Black-box: Prediction Intervals Give Insight into Data-driven Quadrotor Model Reliability
par: van Beers, Jasper, et autres
Publié: (2024)

Early warning signals for loss of control
par: van Beers, Jasper J., et autres
Publié: (2025)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
par: Muenprasitivej, Kasidit, et autres
Publié: (2026)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
par: Ganai, Milan, et autres
Publié: (2024)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
par: Sharpless, Will, et autres
Publié: (2023)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
par: Hui, Larry, et autres
Publié: (2026)

Improving Action Smoothness for a Cascaded Online Learning Flight Control System
par: Li, Yifei, et autres
Publié: (2025)

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
par: Chen, Qingyi, et autres
Publié: (2025)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
par: Sharpless, Will, et autres
Publié: (2024)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
par: Mballo, Chams Eddine, et autres
Publié: (2025)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
par: Chen, Yu, et autres
Publié: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
par: Jiang, Frank J., et autres
Publié: (2024)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
par: Borquez, Javier, et autres
Publié: (2023)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
par: Borquez, Javier, et autres
Publié: (2023)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
par: Yang, Yujie, et autres
Publié: (2024)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
par: He, Chong, et autres
Publié: (2025)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
par: Sharpless, Will, et autres
Publié: (2024)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
par: Lin, Albert, et autres
Publié: (2025)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
par: Wang, Hao, et autres
Publié: (2025)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
par: Tonkens, Sander, et autres
Publié: (2023)

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
par: Sharpless, William, et autres
Publié: (2025)

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
par: Hirsch, Dylan, et autres
Publié: (2025)

Competitor-aware Race Management for Electric Endurance Racing
par: de Vries, Wytze, et autres
Publié: (2026)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
par: Li, Jingqi, et autres
Publié: (2024)

NeuroHJR: Hamilton-Jacobi Reachability-based Obstacle Avoidance in Complex Environments with Physics-Informed Neural Networks
par: Halder, Granthik, et autres
Publié: (2025)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
par: Borquez, Javier, et autres
Publié: (2025)

Approximate Hamilton-Jacobi Reachability Analysis for a Class of Two-Timescale Systems, with Application to Biological Models
par: Hirsch, Dylan, et autres
Publié: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
par: Shen, Keyi, et autres
Publié: (2026)

A Human-optimized Model Predictive Control Scheme and Extremum Seeking Parameter Estimator for Slip Control of Electric Race Cars
par: de Vries, Wytze, et autres
Publié: (2024)

Multi-layer optimisation of hybrid energy storage systems for electric vehicles
par: Andriesse, Wouter, et autres
Publié: (2024)

System-level thermal and electrical modeling of battery systems for electric aircraft design
par: Kuijpers, Thomas, et autres
Publié: (2024)

Two-dimensional Spatial Optimization for Electric Motorcycle Powertrain Elements using Mixed-integer Programming
par: van Kampen, Jorn, et autres
Publié: (2025)

Combined Plant and Control Co-design via Solutions of Hamilton-Jacobi-Bellman Equation Based on Physics-informed Learning
par: Nishimura, Kenjiro, et autres
Publié: (2024)

When Koopman Meets Hamilton and Jacobi
par: Vaidya, Umesh
Publié: (2025)

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
par: Zinage, Vrushabh, et autres
Publié: (2026)

Model Predictive Control Strategies for Electric Endurance Race Cars Accounting for Competitors Interactions
par: van Kampen, Jorn, et autres
Publié: (2024)