5 citations · 8 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019★ 5 cited
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify t…
eess.SY2019
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the proba…