Qiuye Wang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust non-termination analysis of numerical software Dependable Software Engineering. Theories, Tools, and Applications	2023-05-26	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming Information and Computation	2022-12-08	Paper
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (available as arXiv preprint)	2022-09-20	Paper
Synthesizing invariant barrier certificates via difference-of-convex programming (available as arXiv preprint)	2022-03-25	Paper
Synthesizing robust domains of attraction for state-constrained perturbed polynomial systems SIAM Journal on Control and Optimization	2021-04-09	Paper
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations IEEE Transactions on Automatic Control	2021-03-12	Paper
Robust invariant sets generation for state-constrained perturbed polynomial systems Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	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 Journal of Systems Science and Complexity	2017-09-06	Paper

Research outcomes over time

This page was built for person: Qiuye Wang