8 citations · 8 across the 9 of their papers we have counts for
4 papers · 1 filter
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti +1
We present StochasticBarrier.jl, an open-source Julia-based toolbox for generating Stochastic Barrier Functions (SBFs) for safety verification of discrete-time stochastic systems w…
Piecewise Control Barrier Functions for Stochastic Systems
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
This paper presents a method for the simultaneous synthesis of a barrier certificate and a safe controller for discrete-time nonlinear stochastic systems. Our approach, based on pi…
Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
Zakariya Laouar, Qi Heng Ho, Rayan Mazouz +2
In this paper, we present a controller framework that synthesizes control policies for Jump Markov Linear Systems subject to stochastic mode switches and imperfect mode estimation.…
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Rayan Mazouz, Karan Muvvala, Akash Ratheesh +2
Neural Networks (NNs) have been successfully employed to represent the state evolution of complex dynamical systems. Such models, referred to as NN dynamic models (NNDMs), use iter…