Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
Fuente:
arXiv
Saved in:
| Main Authors: | Solanki, Prashant, El-Hajj, Isabelle, van Beers, Jasper, van Kampen, Erik-Jan, de Visser, Coen |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026)
by: Solanki, Prashant, et al.
Published: (2026)
A novel metric for detecting quadrotor loss-of-control
by: van Beers, Jasper, et al.
Published: (2024)
by: van Beers, Jasper, et al.
Published: (2024)
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)
by: Solanki, Prashant, et al.
Published: (2025)
From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
by: Solanki, Prashant, et al.
Published: (2026)
by: Solanki, Prashant, et al.
Published: (2026)
Peaking into the Black-box: Prediction Intervals Give Insight into Data-driven Quadrotor Model Reliability
by: van Beers, Jasper, et al.
Published: (2024)
by: van Beers, Jasper, et al.
Published: (2024)
Early warning signals for loss of control
by: van Beers, Jasper J., et al.
Published: (2025)
by: van Beers, Jasper J., et al.
Published: (2025)
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
by: Ganai, Milan, et al.
Published: (2024)
by: Ganai, Milan, et al.
Published: (2024)
Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)
by: Sharpless, Will, et al.
Published: (2023)
Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
by: Hui, Larry, et al.
Published: (2026)
by: Hui, Larry, et al.
Published: (2026)
Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)
by: Sharpless, Will, et al.
Published: (2024)
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
by: Borquez, Javier, et al.
Published: (2023)
by: Borquez, Javier, et al.
Published: (2023)
Improving Action Smoothness for a Cascaded Online Learning Flight Control System
by: Li, Yifei, et al.
Published: (2025)
by: Li, Yifei, et al.
Published: (2025)
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)
by: Muenprasitivej, Kasidit, et al.
Published: (2026)
Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
by: Chen, Qingyi, et al.
Published: (2025)
by: Chen, Qingyi, et al.
Published: (2025)
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
by: Borquez, Javier, et al.
Published: (2023)
by: Borquez, Javier, et al.
Published: (2023)
A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
by: Mballo, Chams Eddine, et al.
Published: (2025)
by: Mballo, Chams Eddine, et al.
Published: (2025)
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
by: Yang, Yujie, et al.
Published: (2024)
by: Yang, Yujie, et al.
Published: (2024)
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)
by: Chen, Yu, et al.
Published: (2025)
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
by: He, Chong, et al.
Published: (2025)
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)
by: Sharpless, Will, et al.
Published: (2024)
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)
by: Jiang, Frank J., et al.
Published: (2024)
Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)
by: Tonkens, Sander, et al.
Published: (2023)
Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)
by: Hirsch, Dylan, et al.
Published: (2025)
Competitor-aware Race Management for Electric Endurance Racing
by: de Vries, Wytze, et al.
Published: (2026)
by: de Vries, Wytze, et al.
Published: (2026)
Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
by: Wang, Hao, et al.
Published: (2025)
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)
by: Lin, Albert, et al.
Published: (2025)
Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
by: Sharpless, William, et al.
Published: (2025)
by: Sharpless, William, 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)
by: Halder, Granthik, et al.
Published: (2025)
DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
by: Borquez, Javier, et al.
Published: (2025)
by: Borquez, Javier, 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)
by: Hirsch, Dylan, et al.
Published: (2025)
A Human-optimized Model Predictive Control Scheme and Extremum Seeking Parameter Estimator for Slip Control of Electric Race Cars
by: de Vries, Wytze, et al.
Published: (2024)
by: de Vries, Wytze, et al.
Published: (2024)
Multi-layer optimisation of hybrid energy storage systems for electric vehicles
by: Andriesse, Wouter, et al.
Published: (2024)
by: Andriesse, Wouter, et al.
Published: (2024)
System-level thermal and electrical modeling of battery systems for electric aircraft design
by: Kuijpers, Thomas, et al.
Published: (2024)
by: Kuijpers, Thomas, et al.
Published: (2024)
Two-dimensional Spatial Optimization for Electric Motorcycle Powertrain Elements using Mixed-integer Programming
by: van Kampen, Jorn, et al.
Published: (2025)
by: van Kampen, Jorn, et al.
Published: (2025)
When Koopman Meets Hamilton and Jacobi
by: Vaidya, Umesh
Published: (2025)
by: Vaidya, Umesh
Published: (2025)
Model Predictive Control Strategies for Electric Endurance Race Cars Accounting for Competitors Interactions
by: van Kampen, Jorn, et al.
Published: (2024)
by: van Kampen, Jorn, et al.
Published: (2024)
Deep neural network approximations for the stable manifolds of the Hamilton-Jacobi-Bellman equations
by: Chen, Guoyuan
Published: (2020)
by: Chen, Guoyuan
Published: (2020)
Optimal $H_{\infty}$ control based on stable manifold of discounted Hamilton-Jacobi-Isaacs equation
by: Chen, Guoyuan, et al.
Published: (2024)
by: Chen, Guoyuan, et al.
Published: (2024)
Combined Plant and Control Co-design via Solutions of Hamilton-Jacobi-Bellman Equation Based on Physics-informed Learning
by: Nishimura, Kenjiro, et al.
Published: (2024)
by: Nishimura, Kenjiro, et al.
Published: (2024)
Probabilistic Reachability Analysis of Multi-scale Voltage Dynamics Using Reinforcement Learning
by: Hashima, Naoki, et al.
Published: (2026)
by: Hashima, Naoki, et al.
Published: (2026)
Similar Items
-
Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026) -
A novel metric for detecting quadrotor loss-of-control
by: van Beers, Jasper, et al.
Published: (2024) -
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025) -
From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
by: Solanki, Prashant, et al.
Published: (2026) -
Peaking into the Black-box: Prediction Intervals Give Insight into Data-driven Quadrotor Model Reliability
by: van Beers, Jasper, et al.
Published: (2024)