学术报告（佘志坤 2024.12.2）

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