Cover Image

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ghanbarpour, Masoumeh, Sankaranarayanan, Sriram
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Converse Robust-Safety Theorem for Differential Inclusions
by: Maghenem, Mohamed, et al.
Published: (2022)

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

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

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles
by: Mestres, Pol, et al.
Published: (2025)

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

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)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
by: Amorese, Peter, et al.
Published: (2025)

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

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

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

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

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

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

Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
by: Ong, Pio, et al.
Published: (2025)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

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

Robust Model Predictive Control Exploiting Monotonicity Properties
by: Heinlein, Moritz, et al.
Published: (2024)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

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

Two-Timescale Asymptotic Simulations of Hybrid Inclusions with Applications to Stochastic Hybrid Optimization
by: Crisafulli, Max F., et al.
Published: (2026)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

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)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, 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)

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

Safety Control of Uncertain MIMO Systems Using Dynamic Output Feedback Barrier Pairs
by: He, Binghan, et al.
Published: (2023)

Revisiting Stochastic Realization Theory using Functional Itô Calculus
by: Veeravalli, Tanya, et al.
Published: (2024)

Characterization of the Dynamical Properties of Safety Filters for Linear Planar Systems
by: Chen, Yiting, et al.
Published: (2024)

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

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

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

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

Difference Between Cyclic and Distributed Approach in Stochastic Optimization for Multi-agent System
by: Shi, Jiahao, et al.
Published: (2024)