Imagen de Portada

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hirsch, Dylan, Fisac, Jaime Fernández, Herbert, Sylvia
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
por: Sharpless, William, et al.
Publicado: (2025)

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

Bellman Value Decomposition for Task Logic in Safe Optimal Control
por: Sharpless, William, et al.
Publicado: (2026)

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
por: Choi, Jason J., et al.
Publicado: (2023)

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

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

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

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
por: Kumar, Athindran Ramesh, et al.
Publicado: (2023)

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

Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning
por: Oh, Donggeon David, et al.
Publicado: (2026)

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

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
por: Ajeyemi, Damola, et al.
Publicado: (2025)

Safe Event-triggered Gaussian Process Learning for Barrier-Constrained Control
por: Lederer, Armin, et al.
Publicado: (2024)

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

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

Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
por: Gong, Zheng, et al.
Publicado: (2024)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
por: Yang, Yujie, et al.
Publicado: (2024)

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

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

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

Time Shift Governor-Guided MPC with Collision Cone CBFs for Safe Adaptive Cruise Control in Dynamic Environments
por: Kee, Robin Inho, et al.
Publicado: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
por: Gong, Zheng, et al.
Publicado: (2024)

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

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

Safe Feedback Optimization through Control Barrier Functions
por: Delimpaltadakis, Giannis, et al.
Publicado: (2026)

A Control Barrier Function-Constrained Model Predictive Control Framework for Safe Reinforcement Learning
por: Kaypak, Ali Umut, et al.
Publicado: (2026)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
por: Liu, Jun
Publicado: (2025)

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions
por: Hamdipoor, Vahid, et al.
Publicado: (2023)

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

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

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
por: Kim, Matthew, et al.
Publicado: (2025)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
por: Gong, Zheng, et al.
Publicado: (2024)

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
por: Liu, Shuo, et al.
Publicado: (2026)

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function
por: Lan, Jianglin, et al.
Publicado: (2024)

Logarithmic Barrier Functions for Practically Safe Extremum Seeking Control
por: Wang, Qixu, et al.
Publicado: (2026)