{"id":"arxiv/2602.20359","url":"https://arxiv.org/abs/2602.20359","tags":["eess.SY","math.OC"],"score":0,"title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","domain":"eess.SY","source":"arxiv","authors":["Rayan Mazouz","Frederik Baymler Mathiesen","Luca Laurenti","Morteza Lahijanian"],"reviews":0,"subject":"eess.SY","summary":"We present StochasticBarrier.jl, an open-source Julia-based toolbox for generating Stochastic Barrier Functions (SBFs) for safety verification of discrete-time stochastic systems with additive Gaussian noise. StochasticBarrier.jl certifies linear, polynomial, and piecewise affine (PWA) systems. The latter enables verification for a wide range of system dynamics, including general nonlinear types. The toolbox implements a Sum-of-Squares (SOS) optimization approach, as well as methods based on piecewise constant (PWC) functions. For SOS-based SBFs, StochasticBarrier.jl leverages semi-definite…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-02-23","reactions":{}}