应我院邀请，10月25日下午，北京航空航天大学佘志坤教授在腾讯会议作了题为《基于可达集上下近似的混成系统安全性验证研究》的报告。相关师生聆听了此次报告，报告由李进金老师主持。

报告中，佘志坤教授在本次讲座中，首先介绍演化函数的概念，并借助李导数给出演化函数的泰勒级数展开，然后基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后与最近两种可达集上下近似方法的计算结果比较展示了其团队方法的优越性。报告结束后，在座的师生就相关研究问题进行了探讨和交流。

佘志坤，北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国大学生数学竞赛工作组组长。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。