Wang, Qiuye
- Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations
2018/12/31 by Xue, Bai, Wang, Qiuye, Feng, Shenghua +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems
2018/12/27 by Xue, Bai, Wang, Qiuye, Zhan, Naijun +2 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Parf: Adaptive Parameter Refining for Abstract Interpretation
2024/09/09 by Wang, Zhongyi, Yang, Linyu, Chen, Mingshuai +6 · 3 citations
#D.2.4 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021/05/29 by Qiuye Wang, Wang, Qiuye, Mingshuai Chen +7 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Stability and Control of Uncertain Systems
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
2023/10/17 by Hao Wu, Wu, Hao, Qiuye Wang +9 · 1 citation
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #G.1.6 #Machine Learning and Algorithms #Programming Languages (cs.PL)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022/09/20 by Wang, Qiuye, Chen, Mingshuai, Xue, Bai +2 · 1 citation
#Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)