报告题目：基于可达集上下近似的混成系统安全性验证研究
　　报告人：佘志坤（北京航空航天大学、教授）
　　报告时间：2019年11月7日（周四）16：00—17：00
　　报告地点：格中500室
　　报告摘要：信息-物理系统（CPS）是一种将计算与物理过程相结合的系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开：首先，引入演化函数并借助李导数给出它的泰勒级数展开；接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后，与最近两种可达集上下近似方法的计算结果比较展示了我们方法的优越性。
　　报告人简介：佘志坤，北京航空航天大学数学与系统科学学院副院长、教授、博士生导师。1995年9月到2005年6月，就读于北京大学数学科学学院，获理学学士和博士学位（硕博连读），获2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者。获2013年度教育部自然科学奖一等奖（第三完成人）。独立撰写国防报告3部，在ACM TECS、SIAM Journal on Control and Optimization、Journal of Symbolic Computation等领域国际顶级刊物和AAAI、CAV、ISSAC、HSCC等领域国际顶级会议上发表学术论文70余篇。特别地，由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。
　　欢迎广大师生参加！

理学院
2019年11月5日