10月22日11:00‑13:00，由william威廉中文官网、福建省电机控制与系统优化调度工程技术研究中心联合主办的专题学术报告在机电实验大楼B521线下会场。本次报告以《Modular Active Diagnosis of Discrete Event Systems（离散事件系统的模块化主动诊断）》为题，特邀西安电子科技大学胡少鹏博士作学术分享，学院众多师生参与本次交流活动。
胡少鹏博士为西安电子科技大学控制科学与工程专业博士，曾赴捷克科学院开展联合培养研究，并受邀赴意大利巴里理工大学担任访问研究员。其主要研究方向涵盖离散事件系统的建模、分析与监督控制，故障诊断与预测，自动机与Petri网，形式语言理论，以及算法设计与复杂度分析。截止目前，胡少鹏博士已累计发表SCI检索期刊论文24篇，其中以第一作者在中国科学院一区、二区Top期刊论文13篇，多项代表性研究成果发表于IEEE Transactions on Automatic Control、Automatica、IEEE Transactions on Automation Science and Engineering、IEEE Transactions on Systems, Man, and Cybernetics: Systems、IEEE/CAA Journal of Automatica Sinica等控制领域国际权威期刊，拥有扎实深厚的理论研究基础。
报告会上，胡少鹏博士从大规模复杂系统的建模痛点切入，介绍模块化离散事件系统框架。该框架可对大型复杂系统开展建模分析，无需显式构造完整全局状态空间；但受并行组合运算复杂度高、全局故障语言难以分解为局部子模块等因素制约，系统可诊断性验证、可诊断性监督控制器综合依旧存在诸多难题。
围绕上述问题，报告系统介绍面向离散事件系统的模块化主动诊断与可诊断性规约实现框架。首先建立并行组合运算下保持可诊断性、预正规性的充分条件，给出可诊断性规约的模块化表达形式，并以此为基础提出模块化监督控制方法，综合局部监督器以保障系统全局可诊断性。随后介绍一种基于安全性约束的规约实现方案，通过剔除可诊断性规约的最大可控正规子语言重新定义故障语言，为系统行为约束提供新的实现思路。最后结合制造系统实例，演示整套方法流程，验证模块化分析与综合方法能够有效降低计算复杂度，同时为全局可诊断性提供完备的理论保障。
报告结束后，现场及线上师生围绕离散事件系统模块化分解、可诊断性判定算法复杂度、实际工程落地等相关问题与报告人开展热烈探讨。本次学术报告聚焦离散事件系统故障诊断前沿理论，将基础理论研究与复杂工程系统需求相结合，帮助参会师生进一步理解模块化主动诊断理论的核心思路与计算优势，为学院相关方向的科研工作、学术交流以及后续产学研探索带来有益启发。
一审：郑惠洁
二审：苏 祺
三审：宋益国
