16 citations · 23 across the 8 of their papers we have counts for
Showing math.DSShow 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.DS2018
Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems
Bai Xue, Naijun Zhan, Yangjia Li
In this paper we propose a convex programming based method for computing robust regions of attraction for state-constrained perturbed discrete-time polynomial systems. The robust r…