Cover Image

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Choi, Jason J., Lee, Donggun, Li, Boyang, How, Jonathan P., Sreenath, Koushil, Herbert, Sylvia L., Tomlin, Claire J.
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
by: Xia, Xingpeng, et al.
Published: (2024)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
by: Li, Jingqi, et al.
Published: (2024)

Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
by: Li, Boyang, et al.
Published: (2025)

When are safety filters safe? On minimum phase conditions of control barrier functions
by: Choi, Jason J., et al.
Published: (2025)

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

Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data
by: Choi, Jason J., et al.
Published: (2025)

Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems
by: Choi, Jason J., et al.
Published: (2023)

Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
by: Deglurkar, Sampada, et al.
Published: (2026)

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

Duality-based Convex Optimization for Real-time Obstacle Avoidance between Polytopes with Control Barrier Functions
by: Thirugnanam, Akshay, et al.
Published: (2021)

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
by: Smith, Ebonye, et al.
Published: (2026)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
by: Aggarwal, Naman, et al.
Published: (2024)

Control Barrier Functions for Collision Avoidance Between Strongly Convex Regions
by: Thirugnanam, Akshay, et al.
Published: (2023)

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

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

Dynamic Incentive Selection for Hierarchical Convex Model Predictive Control
by: Thirugnanam, Akshay, 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)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
by: Li, Jingqi, et al.
Published: (2022)

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

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

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
by: Rose, Alex, et al.
Published: (2025)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
by: Siefert, Jacob A., et al.
Published: (2023)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

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

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

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

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
by: Liu, Fengjiao, et al.
Published: (2024)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
by: Choi, Joonwon, et al.
Published: (2026)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)

Reachability Analysis for Black-Box Dynamical Systems
by: Chilakamarri, Vamsi Krishna, et al.
Published: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
by: Robbins, Joshua A., et al.
Published: (2025)

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
by: Bae, Juho, et al.
Published: (2024)