伟德体育

近日，伟德体育 李呈宗老师团队在控制领域国际顶尖期刊《IEEE Transactions on Automation Science and Engineering》上发表题为“Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement”的学术论文。该项研究是以青年教师李呈宗为论文第一作者，青海大学为论文第一单位。这是我校首次在该期刊发表论文。

 

离散事件系统是由异步、突发的事件驱动状态演化的动态系统，如信息物理系统，智能制造系统，交通系统等。本文聚焦于离散事件系统中的主动故障诊断问题，提出了一种基于监督控制的可诊断性增强的方法。文章首先基于标记Petri网理论，构建了一种诊断监督器，通过引入事件监控器和数据隔离弧，将系统的可诊断性作为控制规范来加以实现。利用诊断监督器的可达图，进而设计出整数线性规划模型，确保系统在观测到事件时能够避免进入任何不确定环，从而提升系统故障检测的准确性和实时性。该项工作首次提出了一种基于Petri网机构的监督控制器，拓展了基于标号Petri网的监督控制理论研究。为离散事件系统故障诊断提供了一种全新的主动式解决方案，对信息物理系统、智能制造系统、交通系统等领域具有重要的理论意义和实践指导价值。

全文链接：//ieeexplore.ieee.org/document/10938260

新闻小贴士：

IEEE Transactions on Automation Science and Engineering是自动化研究领域顶级期刊之一，位列JCR中Q1区（自动化与控制领域），最新影响因子为5.999，该期刊的录用率通常低于18%。