Qiuye Wang

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 15

Top Topics

Convex Programming

Termination Analysis

Semidefinite Programming

Top Venues

Publications

Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR (2023)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. 289 (Part) (2022)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR (2022)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
Differential Games Based on Invariant Sets Generation. ACC (2022)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR (2021)
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations. IEEE Trans. Autom. Control. 66 (1) (2021)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) (2021)
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. SIAM J. Control. Optim. 59 (2) (2021)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle
Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC (2019)
Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
Synthesizing More Expressive Invariants by Semidefinite Programming. CoRR (2019)
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
Robust Non-termination Analysis of Numerical Software. SETTA (2018)
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. CoRR (2018)
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations. CoRR (2018)
Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. J. Syst. Sci. Complex. 30 (1) (2017)
Zhenyu Hu, Qiuye Wang, Congcong Ming, Lai Wang, Yuanqing Hu
Compressed Sensing MRI Reconstruction Algorithm Based on Contourlet Transform and Alternating Direction Method. J. Electr. Comput. Eng. 2015 (2015)