2025年3月1日，北京航空航天大学佘志坤教授受邀为我院作题为《基于可达集上下近似的混成系统安全性验证研究》学术报告。报告由院长贾文生教授主持。

   佘志坤，北京航空航天大学教授、博导，中国数学会理事兼全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、AAAI等国际会议上发表学术论文100余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15 位院士、20余ACM/IEEE会士在内的国内外学者的正面评价与引用。

在本次报告中，佘教授阐述了信息-物理系统（CPS）安全性验证的核心议题。混成系统被视为研究信息-物理系统的一个极为有效的数学模型。鉴于混成系统安全性验证属于一个不可判定问题，佘教授介绍了其研究团队为解决这一难题所提出的方案：首先，通过引入演化函数并利用李导数，对其进行了泰勒级数展开；随后，基于部分和公式，提出了两种计算可达集上下近似的方法并实现了它们；最终，通过与近期几种可达集上下近似方法的计算结果进行比较，展示了他们方法的优越性。

报告结束后，佘志坤教授还与现场师生进行了互动交流，耐心解答了大家提出的问题。此次报告不仅深化了学院师生对CPS安全验证理论的理解，更展现了数学工具在交叉学科中的强大生命力，加深了对数学的理解，更激发了学习数学的兴趣和热情。

图文：佘乾海

一审：肖宜祯

二审：相燕

三审：于松