Can I read Stochasticbarrier - JL: A Toolbox For Stochastic Barrier Function Synthesis on EtoBox?

Stochasticbarrier - JL: A Toolbox For Stochastic Barrier Function Synthesis by danhdanhtuan0308 is a document available to read on EtoBox.

What is Stochasticbarrier - JL: A Toolbox For Stochastic Barrier Function Synthesis about?

The document introduces StochasticBarrier.jl, an open-source Julia toolbox designed for generating Stochastic Barrier Functions (SBFs) to verify the safety of discrete-time stochastic systems with additive Gaussian noise. It supports various system dynamics, including linear, polynomial, and piecewise affine systems, and implements both Sum-of-Squares (SOS) and piecewise constant (PWC) optimization methods. Benchmark results demonstrate that StochasticBarrier.jl significantly outperforms existing tools in c

Author

danhdanhtuan0308

Language

EN