4 citations · 22 across the 18 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
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…