Image de couverture de livre

Bellman Value Decomposition for Task Logic in Safe Optimal Control

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sharpless, William, So, Oswin, Hirsch, Dylan, Herbert, Sylvia, Fan, Chuchu
Format:	Preprint
Publié:	2026
Sujets:	Robotics 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

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
par: So, Oswin, et autres
Publié: (2026)

Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
par: Zhang, Songyuan, et autres
Publié: (2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
par: Zhang, Songyuan, et autres
Publié: (2025)

Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
par: Yin, Ji, et autres
Publié: (2025)

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

GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control
par: Zhang, Songyuan, et autres
Publié: (2024)

Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
par: Gong, Zheng, et autres
Publié: (2024)

Solving Minimum-Cost Reach Avoid using Reinforcement Learning
par: So, Oswin, et autres
Publié: (2024)

Refining Almost-Safe Value Functions on the Fly
par: Tonkens, Sander, et autres
Publié: (2026)

MADR: MPC-guided Adversarial DeepReach
par: Teoh, Ryan, et autres
Publié: (2025)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
par: Begzadić, Azra, et autres
Publié: (2025)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026)

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

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

Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
par: Long, Kehan, et autres
Publié: (2024)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
par: Sharpless, William, et autres
Publié: (2024)

Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
par: Jeong, Hyun Joe, et autres
Publié: (2024)

Reach-Avoid-Stabilize Using Admissible Control Sets
par: Gong, Zheng, 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)

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

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

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
par: Cai, Feiyang, et autres
Publié: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
par: Karagulle, Ruya, et autres
Publié: (2025)

Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control
par: Safari, Amirsaeid, et autres
Publié: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
par: Knoedler, Luzia, et autres
Publié: (2024)

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

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
par: Nawaz, Farhad, et autres
Publié: (2024)

From Space to Time: Enabling Adaptive Safety with Learned Value Functions via Disturbance Recasting
par: Tonkens, Sander, et autres
Publié: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
par: Prajapat, Manish, et autres
Publié: (2025)

Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning
par: So, Oswin, et autres
Publié: (2026)

Safe Value Functions
par: Massiani, Pierre-François, et autres
Publié: (2021)

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

Disturbance Compensation for Safe Kinematic Control of Robotic Systems with Closed Architecture
par: Zhang, Fan, et autres
Publié: (2025)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
par: Gong, Zheng, et autres
Publié: (2024)

Constrained Diffusers for Safe Planning and Control
par: Zhang, Jichen, et autres
Publié: (2025)

Distributed Perception Aware Safe Leader Follower System via Control Barrier Methods
par: Suganda, Richie R., et autres
Publié: (2024)

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

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
par: Kim, Taekyung
Publié: (2026)

SafeFlow: Safe Robot Motion Planning with Flow Matching via Control Barrier Functions
par: Dai, Xiaobing, et autres
Publié: (2025)