7 citations · 25 across the 18 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
Encoding inductive invariants as barrier certificates: synthesis 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.OC2022
Reach-avoid Verification Based on Convex Optimization
Bai Xue, Naijun Zhan, Martin Fränzle +2
In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equati…
math.OC2022★ 1 cited
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations
Bai Xue, Naijun Zhan, Martin Fränzle
In this paper we propose a novel semi-definite programming approach that solves reach-avoid problems over open (i.e., not bounded a priori) time horizons for dynamical systems mode…