基本信息

薛白男硕导中国科学院软件研究所
电子邮件： xuebai@ios.ac.cn
通信地址： 北京市海淀区中关村南四街四号中科院软件所5号楼
邮政编码： 100190

个人主页：http://lcs.ios.ac.cn/~xuebai

部门/实验室：计算机科学国家重点实验室
研究领域




1. 混成系统安全性验证
2. AI验证

























招聘




目前需要聘请一名程序员（C/C++）合作者，学历不限，工作地点不限，3~6个月，视情况续延，每个月工资10000+， 具体面谈。
要求：
一、 能很好的理解以下五篇文章的研究内容及方法；
二、 优秀的工作态度。


1. Bai Xue, Zhikun She, Arvind Easwaran, Under-Approximating Backward ReachableSets by Polytopes, 28th International Conference on Computer Aided Verification , Toronto, ON, Canada, 2016.07.17-2016.07.23.
2. Bai Xue, ??Martin Fr?nzle??,Peter Nazier Mosaad, Just Scratching the Surface: Partial Exploration of Initial Values in Reach Set Computation, 2017 IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, 2017.12.12-2017.12.15.
3. BaiXue,PeterNazierMosaad, MartinFr?nzle, MingshuaiChen, YangjiaLi, NaijunZhan, Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations, 15th International Conference on Formal Modeling and Analysis of Timed Systems, Berlin, Germany,2017.09.05–2017.09.07.
4. BaiXue, Zhikun She, Arvind Easwaran, Under-Approximating Backward Reachable Sets by Semialgebraic Sets, IEEE Transactions on Automatic Control, 2017, 62(10):5185 ~ 5197.
5. Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fr?nzle, Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis, IEEE Transactions on Automatic Control,2017, 62(7): 3518 ~ 3523.








教育背景2010-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）Robust invariant sets generation for state-constrained perturbed polynomial systems,22nd ACM International Conference on Hybrid Systems: Computation and Control,2019,第1作者
（2）Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties,IEEE Transactions on Automatic Control,2019,第1作者
（3）Taming delays in dynamical systems: Unbounded verification of delay differential equations,31st International Conference on Computer Aided Verification,2019,第5作者
（4）Under-Approximating Reach Sets for Polynomial Continuous Systems,21th International Conference on Hybrid Systems: Computation and Control,2018,第1作者
（5）Just Scratching the Surface: Partial Exploration of Initial Values in Reach Set Computation,56th IEEE Annual Conference on Decision and Control,2017,第1作者
（6）Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations,15th International Conference on Formal Modeling and Analysis of Timed Systems,2017,第1作者
（7）Under-Approximating Backward Reachable Sets by Semialgebraic Sets,IEEE Transactions on Automatic Control,2017,第1作者
（8）Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis,IEEE Transactions on Automatic Control,2017,第1作者
（9）Under-Approximating Backward Reachable Sets by Polytopes,28th International Conference on Computer Aided Verification,2016,第1作者
（10）Discovering Multiple Lyapunov Functions for Switched Hybrid System,Siam Journal on Control & Optimization,2014,第2作者
（11）Algebraic analysis on asymptotic stability of continuous dynamical systems,36th international symposium on Symbolic and algebraic computation,2011,第2作者


科研活动
科研项目（ 1 ） 类人任务规划、推理及其验证系统的研究和应用(国家自然科学基金重点项目, 主持,国家级,2019-01--2023-12
（ 2 ） 时滞(混成)系统安全性验证(国家自然科学基金面上项目, 主持,国家级,2019-01--2022-12
（ 3 ） Safety Assurance for Mach ine Learning in CPS, 参与,研究所（学校）,2020-07--2023-06


指导学生现指导学生
李仞珏硕士研究生081202-计算机软件与理论
余如雷硕士研究生081203-计算机应用技术
王德运硕士研究生081203-计算机应用技术