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

报 告 人：佘志坤 教授 北京航空航天大学

照  片：

邀请人：吴事良

报告时间：2020年8月21日（周五） 15：00-16：00

腾讯会议ID： 942 141 199

报告人简介：佘志坤，男，北京航空航天大学数学学院教授、博士生导师。2014年度获国家优秀青年科学基金项目资助。主要从事非线性混成系统安全性验证与稳定性分析的研究。在SIAM Journal on Control and Optimization、ACM Transactions on Embedded Computing Systems、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。图灵奖获得者Edmund M. Clarke等编著的《Handbook of Model Checking》的第30章第七节“Verification Tools”介绍了其开发的验证工具HSolver。

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