default search action
Bai Xue 0001
Person information
- affiliation: Chinese Academy of Sciences, Institute of Software, SKLCS, Beijing, China
- affiliation (2015 - 2017): Carl von Ossietzky University of Oldenburg, Department of Computer Science, Germany
- affiliation (2014 - 2015): Nanyang Technological University, Centre for High Performance Embedded Systems, Singapore
- affiliation (PhD 2014): Beihang University, School of Mathematics and Systems Science, China
Other persons with the same name
- Bai Xue — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang:
Credit assignment for trained neural networks based on Koopman operator theory. Frontiers Comput. Sci. 18(1): 181324 (2024) - [j21]Zhen Liang
, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236: 103121 (2024) - [j20]Bai Xue
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j19]Bai Xue
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Trans. Autom. Control. 69(3): 1882-1889 (2024) - [j18]Shuyuan Zhang
Consensus Criterion Verification for Heterogeneous Multiagent Systems via Sum-of-Squares Programming. IEEE Trans. Autom. Control. 69(10): 7004-7011 (2024) - [c38]Dejin Ren, Taoran Wu, Bai Xue:
An Iterative Method for Computing Controlled Reach-Avoid Sets. ACC 2024: 3590-3597 - [c37]Taoran Wu, Dejin Ren, Shuyuan Zhang
Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties. ACC 2024: 4005-4011 - [c36]Dejin Ren
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. CAV (3) 2024: 307-328 - [c35]Jianqiang Ding
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. FM (2) 2024: 140-157 - [i28]Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu:
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR abs/2401.12550 (2024) - [i27]Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue:
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems. CoRR abs/2402.17167 (2024) - [i26]Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue:
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR abs/2404.09007 (2024) - [i25]Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue:
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis. CoRR abs/2405.11155 (2024) - 2023
- [j17]Shuyuan Zhang
Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming. IEEE Control. Syst. Lett. 7: 559-564 (2023) - [j16]Shuyuan Zhang
Consensus verification for heterogeneous polynomial networked systems. J. Frankl. Inst. 360(17): 12878-12891 (2023) - [j15]Zhen Liang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24(10): 1375-1389 (2023) - [j14]Changyuan Zhao
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems. IEEE Trans. Autom. Control. 68(8): 4682-4694 (2023) - [c34]Ying Liu
Scenario Approach for Parametric Markov Models. ATVA (1) 2023: 158-180 - [c33]Yiqing Yu, Taoran Wu
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC 2023: 5804-5811 - [c32]Zhen Liang
A Geometrical Characterization on Feature Density of Image Datasets. ICME 2023: 1823-1828 - [c31]Dejin Ren
Model Predictive Control with Reach-avoid Analysis. IJCAI 2023: 5437-5445 - [c30]Zhen Liang
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE 2023: 248-267 - [d1]Ying Liu
Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models". Zenodo, 2023 - [i24]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. CoRR abs/2304.08330 (2023) - [i23]Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue:
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. CoRR abs/2304.11550 (2023) - [i22]Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang:
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR abs/2305.03365 (2023) - [i21]Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue:
Model Predictive Control with Reach-avoid Analysis. CoRR abs/2305.08712 (2023) - [i20]Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying Safety of Neural Networks from Topological Perspectives. CoRR abs/2306.15403 (2023) - [i19]Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan:
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. CoRR abs/2309.05906 (2023) - [i18]Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties. CoRR abs/2310.04961 (2023) - [i17]Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang:
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR abs/2310.11133 (2023) - 2022
- [j13]Qiuye Wang, Mingshuai Chen
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. 289(Part): 104965 (2022) - [j12]Bai Xue
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems. IEEE Trans. Autom. Control. 67(2): 1053-1060 (2022) - [c29]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng:
Differential Games Based on Invariant Sets Generation. ACC 2022: 1285-1292 - [c28]Changyuan Zhao, Chuchu Fan, Bai Xue:
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC 2022: 3839-3845 - [c27]Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang:
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. ICSE 2022: 2189-2201 - [i16]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i15]Bai Xue, Naijun Zhan, Martin Fränzle:
Reach-Avoid Analysis for Stochastic Differential Equations. CoRR abs/2208.10752 (2022) - [i14]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR abs/2209.09703 (2022) - [i13]Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue:
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR abs/2210.04175 (2022) - [i12]Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang:
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory. CoRR abs/2212.00998 (2022) - 2021
- [j11]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): 1083-1108 (2021) - [j10]Bai Xue
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations. IEEE Trans. Autom. Control. 66(1): 283-290 (2021) - [j9]Shuyuan Zhang
Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach. IEEE Trans. Neural Networks Learn. Syst. 32(12): 5356-5368 (2021) - [c26]Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC 2021: 4879-4885 - [c25]Qiuye Wang
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) 2021: 443-466 - [c24]Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao:
Reach-Avoid Analysis for Delay Differential Equations. CDC 2021: 1301-1307 - [c23]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching controller synthesis for delay hybrid systems under perturbations. HSCC 2021: 3:1-3:11 - [c22]Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan:
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS 2021: 457-460 - [c21]Pengfei Yang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) 2021: 389-408 - [i11]Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang:
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR abs/2101.10102 (2021) - [i10]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR abs/2103.11565 (2021) - [i9]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR abs/2105.14311 (2021) - [i8]Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang:
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. CoRR abs/2106.02867 (2021) - 2020
- [j8]Bai Xue
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. 65(4): 1468-1483 (2020) - [j7]Bai Xue
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3944-3955 (2020) - [j6]Bai Xue
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4090-4101 (2020) - [c20]Shenghua Feng
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) 2020: 327-348 - [c19]Ting Gan
Nonlinear Craig Interpolant Generation. CAV (1) 2020: 415-438 - [c18]Bai Xue, Naijun Zhan, Martin Fränzle
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC 2020: 867-873 - [c17]Wei Shen
PAC Learning of Deterministic One-Clock Timed Automata. ICFEM 2020: 129-146 - [c16]Bai Xue, Naijun Zhan:
Probably Approximately Correct Interpolants Generation. SETTA 2020: 143-159 - [c15]Renjue Li, Jianlin Li
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [i7]Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR abs/2007.10141 (2020) - [i6]Pengfei Yang, Renjue Li, Jianlin Li
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR abs/2010.07722 (2020)
2010 – 2019
- 2019
- [c14]Shenghua Feng
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) 2019: 650-669 - [c13]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle:
Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC 2019: 128-137 - [c12]Bai Xue, Martin Fränzle
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM 2019: 236-252 - [i5]Ting Gan, Bican Xia, Bai Xue, Naijun Zhan:
Nonlinear Craig Interpolant Generation. CoRR abs/1903.01297 (2019) - [i4]Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang:
Synthesizing More Expressive Invariants by Semidefinite Programming. CoRR abs/1903.04668 (2019) - 2018
- [c11]Meilun Li, Peter Nazier Mosaad, Martin Fränzle
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS 2018: 252-270 - [c10]Bai Xue, Martin Fränzle, Naijun Zhan:
Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC 2018: 51-60 - [c9]Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang:
Robust Non-termination Analysis of Numerical Software. SETTA 2018: 69-88 - [i3]Bai Xue, Naijun Zhan:
Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems. CoRR abs/1811.11454 (2018) - [i2]Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She:
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. CoRR abs/1812.10588 (2018) - [i1]Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan:
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations. CoRR abs/1812.11718 (2018) - 2017
- [j5]Peter Nazier Mosaad, Martin Fränzle, Bai Xue:
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. 27(1): 77-109 (2017) - [j4]Bai Xue, Arvind Easwaran
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. IEEE Trans. Autom. Control. 62(7): 3518-3523 (2017) - [j3]Bai Xue, Zhikun She
Underapproximating Backward Reachable Sets by Semialgebraic Sets. IEEE Trans. Autom. Control. 62(10): 5185-5197 (2017) - [c8]Bai Xue, Martin Fränzle, Peter Nazier Mosaad:
Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC 2017: 1769-1775 - [c7]Bai Xue, Peter Nazier Mosaad, Martin Fränzle
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS 2017: 281-299 - 2016
- [c6]Bai Xue, Zhikun She, Arvind Easwaran
Under-Approximating Backward Reachable Sets by Polytopes. CAV (1) 2016: 457-476 - [c5]Peter Nazier Mosaad, Martin Fränzle
Temporal Logic Verification for Delay Differential Equations. ICTAC 2016: 405-421 - 2015
- [c4]Junjie Lu, Zhikun She, Bai Xue:
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability. CDC 2015: 4252-4259 - 2014
- [j2]Zhikun She, Bai Xue:
Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM J. Control. Optim. 52(5): 3312-3340 (2014) - 2013
- [j1]Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia:
Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. 58: 41-63 (2013) - 2012
- [c3]Zhikun She, Bai Xue:
Algebraic analysis on asymptotic stability of switched hybrid systems. HSCC 2012: 187-196 - 2011
- [c2]Zhikun She, Bai Xue:
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. CASC 2011: 333-344 - [c1]Zhikun She, Bai Xue, Zhiming Zheng:
Algebraic analysis on asymptotic stability of continuous dynamical systems. ISSAC 2011: 313-320
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: