个人简介
教育背景
2008-09--2014-01 北京航空航天大学 博士
2004-09--2008-07 天津工程师范学院 学士
工作经历
1. 2017/11-， 中国科学院软件研究所，计算机科学国家重点实验室，副研究员
2. 2015/11-2017/10，德国奥登堡大学(Carl von Ossietzky Universität Oldenburg)，博士后
3. 2014/05-2015/09，新加坡南洋理工大学(Nanyang Technological University, Singapore)，博士后
科研项目
（ 1） 中国科学院率先行动****, 主持, 2018-01--2023-12
（ 2 ） 时滞(混成)系统安全性验证 (国家自然科学基金面上项目), 主持, 2019-01--2022-12
（ 3） 面向机器人任务驱动的混成系统形式验证 (2021年度CCF-华为创新研究计划：形式化方法), 主持, 2021-05--2022-05
（ 4） 类人任务规划、推理及其验证系统的研究和应用 (国家自然科学基金重点项目), 课题负责人, 2019-01--2023-12
（ 5 ） Safety Assurance for Machine Learning in CPS, 课题负责人, 2020-07--2023-06
（ 6 ） 安全攸关智能控制系统形式设计验证及应用, 参与, 2019-06--2022-05
（ 7 ） Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments, 参与, 2021-04--2025-05
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan and Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming, to appear in Proceedings of the 33rd International Conference on Computer-Aided Verification(CAV 2021), 2021, 第 3 作者
（2） Bai Xue and Naijun Zhan. Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems, to appear in IEEE Transactions on Automatic Control (IEEE TAC), 2021, 通讯作者
（3） Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue and Lijun Zhang. Improving Neural Network Verification through Spurious Region Guided Refinement, to appear in Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems(TACAS 2021), 2021, 第 7 作者
（4） Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue and Naijun Zhan. Switching Controller Synthesis for Delay Hybrid Systems under Perturbations, to appear in Proceedings of the 24th ACM International Conference on Hybrid Systems: Computation and Control(HSCC 2021), 2021, 第 5 作者
（5） Bai Xue, Renjue Li, Naijun Zhan and Martin Fränzle. Reach-avoid Analysis for Stochastic Discrete-time Systems, to appear in Proceedings of of the 2021 American Control Conference (ACC 2021), 2021, 通讯作者
（6） Bai Xue, Qiuye Wang, Shenghua Feng and Naijun Zhan. Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations, IEEE Transactions on Automatic Control (IEEE TAC), 2021, 通讯作者
（7） Shuyuan Zhang, Lei Wang, Haihui Wang and Bai Xue. Consensus Control for Heterogeneous Multi-vehicle Systems: An Iterative Learning Approach, to appear in [Special Issue: Adaptive Learning and Control for Autonomous Vehicles] in the IEEE Transactions on Neural Networks and Learning Systems, 2021, 第 4 作者
（8） Bai Xue and Martin Fränzle and Naijun Zhan. Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties, IEEE Transactions on Automatic Control (IEEE TAC), 2020, 通讯作者
（9） Bai Xue, Naijun Zhan and Yangjia Li. Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems, in Proceedings of the 21st IFAC World Congress(IFAC 2020), 2020, 通讯作者
（10） Bai Xue, Naijun Zhan and Yangjia Li. A Characterization of Robust Regions of Attraction for Discrete-Time Systems Based on Bellman Equations, in Proceedings of the 21st IFAC World Congress(IFAC 2020), 2020, 通讯作者
（11） Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang and Zhikun She. Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems, to appear in SIAM Journal on Control and Optimization(SICON), 2020, 通讯作者
（12） Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov and Bican Xia. Safety Verification for Random Ordinary Differential Equations, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(IEEE TCAD), 2020, 通讯作者
（13） Bai Xue, Miaomiao Zhang, Arvind Easwaran and Qin Li. PAC Model Checking of Black-Box Continuous-Time Dynamical Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(IEEE TCAD), 2020, 通讯作者
（14） Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan and Naijun Zhan. Unbounded-Time Safety Verification of Stochastic Differential Dynamics, in Proceedings of the 32nd International Conference on Computer Aided Verification(CAV 2020), 2020, 通讯作者
（15） Ting Gan, Bican Xia, Bai Xue, Naijun Zhan and Liyun Dai. Nonlinear Craig Interpolant Generation, in Proceedings of the 32nd International Conference on Computer Aided Verification(CAV 2020), 2020, 第 3 作者
（16） Renjue Li, Jianlin Li, Cheng Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue and Holger Hermanns. PRODEEP: a platform for robustness verification of deep neural networks, in Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE 2020), 2020, 第 7 作者
（17） Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue and Naijun Zhan. PAC Learning of Deterministic One-Clock Timed Automata, in Proceedings of the 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 2020, 第 5 作者
（18） Bai Xue and Yang Liu and Lei Ma and Xiyue Zhang and Meng Sun and Xiaofei Xie. Safe Inputs Approximation for Black-Box Systems, in Proceedings of the 24th International Conference on Engineering of Complex Computer Systems(ICECCS 2019), 2019, 通讯作者
（19） Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan and Arvind Easwaran. Probably Approximate Safety Verification of Hybrid Dynamical Systems, in Proceedings of the 21st International Conference on Formal Engineering Methods(ICFEM 2019), 2019, 通讯作者
（20） Bai Xue and Qiuye Wang and Naijun Zhan and Martin Fränzle. Robust invariant sets generation for state-constrained perturbed polynomial systems, in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control(HSCC 2019), 2019, 通讯作者
（21） Shenghua Feng and Mingshuai Chen and Naijun Zhan and Martin Fränzle and Bai Xue. Taming delays in dynamical systems: Unbounded verification of delay differential equations, in Proceedings of the 31st International Conference on Computer Aided Verification(CAV 2019), 2019, 第 5 作者
（22） Bai Xue and Martin Fränzle and Naijun Zhan. Under-Approximating Reach Sets for Polynomial Continuous Systems, in Proceedings of the 21th International Conference on Hybrid Systems: Computation and Control(HSCC 2018), 2018, 通讯作者
（23） Bai Xue and Martin Fränzle and Peter Nazier Mosaad. Just Scratching the Surface: Partial Exploration of Initial Values in Reach Set Computation, in Proceedings of the 56th IEEE Annual Conference on Decision and Control(CDC 2017), 2017, 通讯作者
（24） Bai Xue and Peter Nazier Mosaad and Martin Fränzle and Mingshuai Chen and Yangjia Li and Naijun Zhan. Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations, in Proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems(FORMATS 2017), 2017, 通讯作者
（25） Bai Xue and Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Semialgebraic Sets, IEEE Transactions on Automatic Control (IEEE TAC), 2017, 通讯作者
（26） Bai Xue and Arvind Easwaran and Nam-Joon Cho and Martin Fränzle. Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis, IEEE Transactions on Automatic Control (IEEE TAC), 2017, 通讯作者
（27） Bai Xue and Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Polytopes, in Proceedings of the 28th International Conference on Computer Aided Verification(CAV 2016), 2016, 通讯作者
（28） Junjie Lu, Zhikun She and Bai Xue. Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability, in Proceedings of 2015 54th IEEE Conference on Decision and Control (CDC 2015), 2015, 第 3 作者
（29） Zhikun She and Bai Xue. Discovering Multiple Lyapunov Functions for Switched Hybrid System, SIAM Journal on Control & Optimization(SICON), 2014, 第 2 作者
（30） Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia. Discovering polynomial Lyapunov functions for continuous dynamical systems, Journal of Symbolic Computation (JSC), 2013, 第 3 作者
（31） Zhikun She and Bai Xue. Algebraic Analysis on Asymptotic Stability of Switched Hybrid Systems, in Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2012), 2012, 第 2 作者
（32） Zhikun She and Bai Xue and Zhiming Zheng. Algebraic analysis on asymptotic stability of continuous dynamical systems, in Proceedings of the 36th international symposium on Symbolic and algebraic computation(ISSAC 2011), 2011, 第 2 作者
（33） Zhikun She, Bai Xue and Zhiming Zheng. Algebraic Analysis on Asymptotic Stability of Continuous Dynamical Systems, in Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 2 作者
京公网安备 11010802027423号