Piecewise stochastic barrier functions

DOI10.1016/J.AUTOMATICA.2026.113020MaRDI QIDQ7302622zbMATH OpenFDO

Authors Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian

Publication date 22 July 2026

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2026.113020

Mathematics Subject Classification ID

Linear programming (90C05) Convex programming (90C25) Stochastic systems in control theory (general) (93E03)

Cites work

• A barrier function approach to finite-time stochastic system verification and control
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Automated and formal synthesis of neural barrier certificates for dynamical models
• Barrier certificates for nonlinear model validation
• Bounded-parameter Markov decision processes
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Efficiency through uncertainty
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
• From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Robust convex optimization
• Stochastic stability and control

Cited in

(1)

• A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

This page was built for publication: Piecewise stochastic barrier functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7302622)