报告题目： 控制系统可达集计算

报告人: 薛白

主持人： 王浙明

报告时间： 2023年11月21日  9:00-10:00

报告地点： 信息楼D533

报告摘要：

控制系统广泛应用于航空航天、高速铁路、医疗设备等安全攸关领域，通过研究其动力学行为来设计安全可靠、让人们放心使用的控制系统成为计算机科学及控制理论的重大挑战。可达集，即系统行为可达的集合，计算是确保这些安全攸关控制系统可靠的重要方法之一。由于可达集一般不可准确计算，从而依赖于计算可达集的上近似或下近似。上近似是可达集的超集，主要用于安全性验证；下近似是可达集的子集，常用于路径规划、系统错误发等。此报告主要跟大家分享我们在控制系统可达集上、下近似计算方面的工作。

报告人简介：

薛白，中科院软件所，研究员，博导，中国科学院“百人”，研究方向为控制系统和AI形式验证。2014年1月，毕业于北京航空航天大学数学与系统科学学院，获理学博士，随后于2014年5月-2015年9月和2015年11月-2017年10月分别在新加坡南洋理工大学和德国奥登堡大学从事博士后研究工作。在控制和计算机科学领域权威期刊如SICON、IEEE TAC、IEEE TCAD和会议如CDC、ACC、IFAC、CAV、HSCC、IJCAI等发表论文50余篇，提出了边界可达性分析方法和基于方程释放的（刻画可达集的）凸约束生成方法。详见个人主页：http://lcs.ios.ac.cn/~xuebai/index.html