5月15日，应信息与控制工程学院邀请，IEEE Fellow，澳门科技大学李志武教授莅临我校，在信息与控制工程学院B202报告厅作了题为《离散事件系统的故障诊断：Petri网方法》学术报告。本次报告吸引了学院80余名师生踊跃参与，报告会由信息与控制工程学院院长柳强主持。

学术报告聚焦离散事件系统的故障诊断方法，系统阐述了基于标签Petri网的离散事件系统故障诊断与可诊断性验证问题。首先介绍离散事件系统故障诊断的基本概念及标签Petri网的形式定义。提出利用整数线性规划实现在线故障诊断，通过求解基于观测标签的优化模型来判断故障是否发生。为解决状态爆炸问题，引入基可达图作为系统行为的紧凑表示，能在显著降低计算复杂度的同时保留诊断所需的全部信息。对于不可诊断的系统，进一步讨论了两种增强可诊断性的方法。最后，通过基准测试验证了基可达图方法的高效性，并展望了外部攻击下诊断及系统动态重构等未来研究方向。互动交流环节，李教授针对师生提出的各类问题逐一细致答疑，以深入浅出的讲解剖析核心要点，引发在场师生热烈探讨。柳院长对李教授的精彩分享致以诚挚谢意，并希望今后能经常来我校指导工作，持续深化双方学术交流，拓宽合作领域。

（撰稿人：黄越洋 校对人：施惠元 审稿人：柳强/施惠元 摄）