基于可达集上下近似的混成系统安全性验证研究

讲座时间Datetime: 2023年5月16日，星期二，8:30—11:00

地点Venue: 海琴2号A455课室

报告人Speaker: 佘志坤 教授

单位Affiliation: 北京航空航天大学

主持人Host：刘长剑 教授

报告摘要Abstract:

信息-物理系统（CPS）是一种将计算与物理过程相结合的系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开：首先，引入演化函数并借助李导数给出它的泰勒级数展开；接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后，与最近两种可达集上下近似方法的计算结果比较展示了我们方法的优越性。

报告人简介：

佘志坤，北京航空航天大学教授、博士生导师，2007年度北京市优秀人才，2007年度北京航空航天大学蓝天新秀，2008年度北京市科技新星，2013年度教育部新世纪优秀人才。1995年9月到2005年6月，就读于北京大学数学科学学院，获理学学士和博士学位（硕博连读）；2004年1月到2006年12月，工作于德国马普计算机科学研究所。2006年12月迄今，工作于北京航空航天大学数学与系统科学学院。在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、Journal of Symbolic Computation、Celestial Mechanics and Dynamical Astronomy等领域国际顶级刊物和CAV、ISSAC、HSCC等领域国际顶级会议上发表学术论文30余篇。