报告题目：基于可达集上下近似的混成系统安全性验证研究
时 间：2024-01-18 (星期四) 10:00
地 点：科研楼18号楼1102
主 办：数学与统计学院, 分析数学及应用教育部重点实验室、福建省分析数学及应用重点实验室、福建省应用数学中心（福建师范大学）
参加对象：感兴趣的老师和研究生
报告摘要：信息-物理系统（CPS）是一类将计算与物理过程相结合的安全攸关系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开：首先，引入演化函数并借助李导数给出它的泰勒级数展开；接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后，与几种最新方法的计算结果比较展示了我们方法的优越性。
报告人简介：佘志坤，北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文90余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。