2 citations · 6 across the 9 of their papers we have counts for
9 papers
Parf: Adaptive Parameter Refining for Abstract Interpretation
Zhongyi Wang, Linyu Yang, Mingshuai Chen +6
The core challenge in applying abstract interpretation lies in the configuration of abstraction and analysis strategies encoded by a large number of external parameters of static a…
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
Hao Wu, Qiuye Wang, Bai Xue +3
Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of charact…
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…
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…
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…
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…
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…
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…
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…