珠海数学杰出学者讲座第21讲佘志坤教授——基于可达集上下近似的混成系统安全性验证研究

讲座题目Title：基于可达集上下近似的混成系统安全性验证研究

讲座时间 Datetime: 2023年11月3日 10：10-12：10

地点 Venue: 中大珠海校区海琴二号A457

报告人 Speaker: 佘志坤 教授

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

主持人Host：刘长剑 教授

报告摘要 Abstract:

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

报告人简介：

佘志坤，北京航空航天大学教授、博导，毕业于北京大学数学科学学院，先后获理学学士学位和博士学位，2004年1月到2006年12月，工作于德国马普计算机科学研究所；2006年12月

迄今，工作于北京航空航天大学数学与系统科学学院。

曾获得2013年教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者；2013年度教育部自然科学奖一等奖及2018年度北京航空航天大学优秀教学成果奖一等奖。

现为中国数学会理事（兼中国数学会数学竞赛委员会副主任及全国大学生数学竞赛工作组组长）、北京数学会副理事长。在混成系统自动验证、智能系统协同控制、微分方程和动力

系统、符号－数值计算等方向有深入研究，在国际顶级会议上发表学术论文80余篇。