2 citations · 6 across the 9 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2019
Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming
Qiuye Wang, Lihong Zhi, Naijun Zhan +2
In this paper, we present a novel approach to synthesize invariant clusters for polynomial programs. An invariant cluster is a set of program invariants that share a common structu…
eess.SY2018★ 2 cited
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations
Bai Xue, Qiuye Wang, Shenghua Feng +1
This note explores reach set computations for perturbed delay differential equations (DDEs). The perturbed DDEs of interest in this note is a class of DDEs whose dynamics are subje…
eess.SY2018
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems
Bai Xue, Qiuye Wang, Naijun Zhan +2
In this paper we propose a novel semi-definite programming based method to compute robust domains of attraction for state-constrained perturbed polynomial systems. A robust domain…