Image de couverture de livre

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mazouz, Rayan, Mathiesen, Frederik Baymler, Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
par: Mazouz, Rayan, et autres
Publié: (2024)

Piecewise Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2022)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
par: Amorese, Peter, et autres
Publié: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
par: Mazouz, Rayan, et autres
Publié: (2026)

A Spectral Perspective on Stochastic Control Barrier Functions
par: Jang, Inkyu, et autres
Publié: (2026)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
par: Ghanbarpour, Masoumeh, et autres
Publié: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
par: Delimpaltadakis, Giannis, et autres
Publié: (2022)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
par: Nishimura, Yuki, et autres
Publié: (2022)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
par: Figueiredo, Eduardo, et autres
Publié: (2024)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
par: Gracia, Ibon, et autres
Publié: (2022)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

PolyOCP.jl -- A Julia Package for Stochastic OCPs and MPC
par: Ou, Ruchuan, et autres
Publié: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
par: Oumer, Mohammed Adib, et autres
Publié: (2025)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Verification and Synthesis of Discrete-Time Control Barrier Functions
par: Shakhesi, Erfan, et autres
Publié: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Promises of Deep Kernel Learning for Control Synthesis
par: Reed, Robert, et autres
Publié: (2023)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

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

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
par: Shakhesi, Erfan, et autres
Publié: (2025)

Matrix Control Barrier Functions
par: Ong, Pio, et autres
Publié: (2025)

Converse Barrier Functions via Lyapunov Functions
par: Liu, Jun
Publié: (2020)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
par: Wiltz, Adrian, et autres
Publié: (2025)

Certified Neural Approximations of Nonlinear Dynamics
par: Mathiesen, Frederik Baymler, et autres
Publié: (2025)

Topological Obstructions to the Existence of Control Barrier Functions
par: de Sa, Massimiliano, et autres
Publié: (2026)

On Uniformly Time-Varying Control Barrier Functions
par: Wiltz, Adrian, et autres
Publié: (2025)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
par: Wang, Yujie, et autres
Publié: (2025)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
par: Shakhesi, Erfan, et autres
Publié: (2025)

Safe Feedback Optimization through Control Barrier Functions
par: Delimpaltadakis, Giannis, et autres
Publié: (2026)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
par: Alan, Anil, et autres
Publié: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
par: Mestres, Pol, et autres
Publié: (2024)

Feedback Optimization with State Constraints through Control Barrier Functions
par: Delimpaltadakis, Giannis, et autres
Publié: (2025)