75 citations · 261 across the 31 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.DS2020★ 1 cited
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Shenghua Feng, Mingshuai Chen, Bai Xue +2
In this paper, we propose a method for bounding the probability that a stochastic differential equation (SDE) system violates a safety specification over the infinite time horizon.…
math.OC2020
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
Control Barrier Functions (CBF) have been recently utilized in the design of provably safe feedback control laws for nonlinear systems. These feedback control methods typically com…