3 citations · 6 across the 5 of their papers we have counts for
Showing math.OCShow all
3 papers · 1 filter
math.OC2018
Reach-Avoid Differential Games Based on Invariant Generation
Bai Xue, Qiuye Wang, Naijun Zhan +2
Reach-avoid differential games play an important role in collision avoidance, motion planning and control of aircrafts, and related applications. The central problem is the computa…
math.OC2018
Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties
Bai Xue, Martin Fränzle, Naijun Zhan
In this paper we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems…
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…