2 papers
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…
math.OC2018
Robust Non-termination Analysis of Numerical Software
Bai Xue, Naijun Zhan, Yangjia Li +1
Numerical software are widely used in safety-critical systems such as aircrafts, satellites, car engines and so on, facilitating dynamics control of such systems in real time, it i…