Qiuye Wang

Available identifiers

zbMath Open wang.qiuyeMaRDI QIDQ832191

List of research outcomes

Publication	Date of Publication	Type
Robust non-termination analysis of numerical software	2023-05-26	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming	2022-12-08	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming	2022-09-20	Paper
Synthesizing invariant barrier certificates via difference-of-convex programming	2022-03-25	Paper
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems	2021-04-09	Paper
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations	2021-03-12	Paper
Robust invariant sets generation for state-constrained perturbed polynomial systems	2019-10-22	Paper
Reach-Avoid Differential Games Based on Invariant Generation	2018-11-07	Paper
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems	2017-09-06	Paper

Research outcomes over time

This page was built for person: Qiuye Wang