Bai Xue

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 77

Top Topics

Semidefinite Program

Credit Assignment

Differential Equations

Top Venues

IEEE Trans. Autom. Control.

Publications

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. CAV (3) (2024)
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236 (2024)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69 (1) (2024)
Bai Xue, Naijun Zhan, Martin Fränzle
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Trans. Autom. Control. 69 (3) (2024)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis. CoRR (2024)
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) (2024)
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 (2024)
Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR (2024)
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 (2024)
Shuyuan Zhang, Shizhong Song, Lei Wang, Bai Xue
Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming. IEEE Control. Syst. Lett. 7 (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. ATVA (1) (2023)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. CoRR (2023)
Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC (2023)
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang
A Geometrical Characterization on Feature Density of Image Datasets. ICME (2023)
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR (2023)
Shuyuan Zhang, Lei Wang, Bai Xue, Chanying Li, Qing-Guo Wang
Consensus verification for heterogeneous polynomial networked systems. J. Frankl. Inst. 360 (17) (2023)
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 (2023)
Changyuan Zhao, Shuyuan Zhang, Lei Wang, Bai Xue
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems. IEEE Trans. Autom. Control. 68 (8) (2023)
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying Safety of Neural Networks from Topological Perspectives. CoRR (2023)
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR (2023)
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. CoRR (2023)
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24 (10) (2023)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. IJCAI (2023)
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties. CoRR (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR (2022)
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)
Bai Xue, Naijun Zhan
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems. IEEE Trans. Autom. Control. 67 (2) (2022)
Changyuan Zhao, Chuchu Fan, Bai Xue
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC (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)
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)
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory. CoRR (2022)
Bai Xue, Naijun Zhan, Martin Fränzle
Reach-Avoid Analysis for Stochastic Differential Equations. CoRR (2022)
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
Differential Games Based on Invariant Sets Generation. ACC (2022)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-avoid Verification Based on Convex Optimization. CoRR (2022)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR (2021)
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)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching controller synthesis for delay hybrid systems under perturbations. HSCC (2021)
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC (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)
Shuyuan Zhang, Lei Wang, Haihui Wang, Bai Xue
Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach. IEEE Trans. Neural Networks Learn. Syst. 32 (12) (2021)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR (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)
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 (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao
Reach-Avoid Analysis for Delay Differential Equations. CDC (2021)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) (2020)
Bai Xue, Martin Fränzle, Naijun Zhan
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. 65 (4) (2020)
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE (2020)
Bai Xue, Naijun Zhan, Martin Fränzle
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC (2020)
Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
Nonlinear Craig Interpolant Generation. CAV (1) (2020)
Bai Xue, Naijun Zhan
Probably Approximately Correct Interpolants Generation. SETTA (2020)
Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR (2020)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR (2020)
Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan
PAC Learning of Deterministic One-Clock Timed Automata. ICFEM (2020)
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan
Nonlinear Craig Interpolant Generation. CoRR (2019)
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, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM (2019)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) (2019)
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
Robust Non-termination Analysis of Numerical Software. SETTA (2018)
Bai Xue, Martin Fränzle, Naijun Zhan
Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC (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, Naijun Zhan
Robust Invariant Sets Computation for Switched Discrete-Time 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)
Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS (2018)
Bai Xue, Zhikun She, Arvind Easwaran
Underapproximating Backward Reachable Sets by Semialgebraic Sets. IEEE Trans. Autom. Control. 62 (10) (2017)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. 27 (1) (2017)
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS (2017)
Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. IEEE Trans. Autom. Control. 62 (7) (2017)
Bai Xue, Martin Fränzle, Peter Nazier Mosaad
Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC (2017)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Temporal Logic Verification for Delay Differential Equations. ICTAC (2016)
Bai Xue, Zhikun She, Arvind Easwaran
Under-Approximating Backward Reachable Sets by Polytopes. CAV (1) (2016)
Junjie Lu, Zhikun She, Bai Xue
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability. CDC (2015)
Zhikun She, Bai Xue
Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM J. Control. Optim. 52 (5) (2014)
Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia
Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. 58 (2013)
Zhikun She, Bai Xue
Algebraic analysis on asymptotic stability of switched hybrid systems. HSCC (2012)
Zhikun She, Bai Xue
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. CASC (2011)
Zhikun She, Bai Xue, Zhiming Zheng
Algebraic analysis on asymptotic stability of continuous dynamical systems. ISSAC (2011)