8 citations · 8 across the 9 of their papers we have counts for
3 papers · 1 filter
Continuous-Time Gaussian Belief Trees for Motion Planning
Rayan Mazouz, Qi Heng Ho, Zachary N. Sunberg +1
We address sampling-based motion planning for continuous-time stochastic systems under process and measurement uncertainty, with probabilistic guarantees on safety and performance.…
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
In this work, we focus on safety verification of stochastic systems in dynamic environments. We introduce both time-invariant and time-varying barrier certificates for discrete-tim…
Piecewise Stochastic Barrier Functions
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti +1
This paper presents a novel stochastic barrier function (SBF) framework for safety analysis of stochastic systems based on piecewise (PW) functions. We first outline a general form…