基本信息
薛白  男    中国科学院软件研究所
电子邮件: xuebai@ios.ac.cn
通信地址: 北京市海淀区中关村南四街四号中科院软件所5号楼
邮政编码: 100190
部门/实验室:计算机科学国家重点实验室

研究领域

1. 混成系统安全性验证(数学、计算机科学以及控制理论的交叉学科)

2. 程序验证

招聘


目前需要聘请一名程序员(C/C++)合作者,学历不限,工作地点不限,3~6个月,视情况续延,每个月工资10000+, 具体面谈。

要求:

一、  能很好的理解以下五篇文章的研究内容及方法;

二、  优秀的工作态度。


1. Bai Xue, Zhikun She, Arvind Easwaran, Under-Approximating Backward Reachable Sets 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. 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, 15th International Conference on Formal Modeling and Analysis of Timed Systems, Berlin, Germany, 2017.09.05–2017.09.07.

4. Bai Xue, 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) Under-Approximating Reach Sets for Polynomial Continuous Systems, 21th International Conference on Hybrid Systems: Computation and Control, 2018, 第 1 作者
(2) Just Scratching the Surface: Partial Exploration of Initial Values in Reach Set Computation, 56th IEEE Annual Conference on Decision and Control, 2017, 第 1 作者
(3) 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 作者
(4) Under-Approximating Backward Reachable Sets by Semialgebraic Sets, IEEE Transactions on Automatic Control, 2017, 第 1 作者
(5) Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis, IEEE Transactions on Automatic Control, 2017, 第 1 作者
(6) Under-Approximating Backward Reachable Sets by Polytopes, 28th International Conference on Computer Aided Verification, 2016, 第 1 作者
(7) Discovering Multiple Lyapunov Functions for Switched Hybrid System, Siam Journal on Control & Optimization, 2014, 第 2 作者
(8) Algebraic analysis on asymptotic stability of continuous dynamical systems, 36th international symposium on Symbolic and algebraic computation, 2011, 第 2 作者

科研活动

   
科研项目
( 1 ) 中国科学院率先行动“百人计划“ C类, 主持, 部委级, 2017-11--2019-10