广州数学大讲坛第七期

第六十四讲——北京航空航天大学佘志坤教授学术报告

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

时间：2022年9月30日（周五）上午10：00-12：00

地点：腾讯会议（会议ID：395-917-759）

报告人：佘志坤教授

摘要：信息-物理系统(CPS)是一种将计算与物理过程相结合的系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常

有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开:首先，引入演化函数并借助李导数给出它的泰勒级数展开;接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现;最后，与最近两种可达集上下近似方法的计算结果比较展示了我们方法的优越性。

报告人简介：

佘志坤，教授，博士生导师。2005年获北京大学理学博士学位。从事混成系统自动验证、智能系统协同控制、微分方程和动力系统、符号一数值计算的研究工作，发表多篇学术论文。主持国家优秀青年科学基金等多项项目。