activity
20182024
most citedSynthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

2 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

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…