Cover Image

Invariance Guarantees using Continuously Parametrized Control Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jang, Inkyu, Kim, H. Jin
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Control Barrier Function based Attack-Recovery with Provable Guarantees
by: Garg, Kunal, et al.
Published: (2022)

Composite Adaptive Control Barrier Functions for Safety-Critical Systems with Parametric Uncertainty
by: Kamaldar, Mohammadreza
Published: (2026)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

Matrix Control Barrier Functions
by: Ong, Pio, et al.
Published: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

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

Polytope Volume Monitoring Problem: Formulation and Solution via Parametric Linear Program Based Control Barrier Function
by: Wu, Shizhen, et al.
Published: (2025)

Feedback Optimization with State Constraints through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2025)

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)

Topological Obstructions to the Existence of Control Barrier Functions
by: de Sa, Massimiliano, et al.
Published: (2026)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, et al.
Published: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions
by: Teuwen, Matisse, et al.
Published: (2025)

Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation
by: Allamaa, Jean Pierre, et al.
Published: (2024)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
by: Cohen, Max H., et al.
Published: (2025)

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

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds
by: Beaver, Logan E.
Published: (2024)

A Constrained Tracking Controller for Ramp and Sinusoidal Reference Signals using Robust Positive Invariance
by: Santos, Geovana Franca dos, et al.
Published: (2024)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
by: Shakhesi, Erfan, et al.
Published: (2025)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
by: Shakhesi, Erfan, et al.
Published: (2024)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
by: de Sa, Massimiliano, et al.
Published: (2025)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
by: Wang, Han, et al.
Published: (2024)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
by: Mestres, Pol, et al.
Published: (2025)

Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
by: Allibhoy, Ahmed, et al.
Published: (2022)

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
by: Henrion, Didier, et al.
Published: (2024)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Immersion and Invariance-based Disturbance Observer and Its Application to Safe Control
by: Wang, Yujie, et al.
Published: (2023)

A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
by: Wembe, Emmanuel Junior Wafo, et al.
Published: (2026)

Constant-Sum High-Order Barrier Functions for Safety Between Parallel Boundaries
by: Kim, Kwang Hak, et al.
Published: (2025)