1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2021★ 1 cited
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
Qiuye Wang, Mingshuai Chen, Bai Xue +2
A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid s…
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…