-
公开(公告)号:CN119335993A
公开(公告)日:2025-01-21
申请号:CN202411388708.9
申请日:2024-10-08
Applicant: 河北大学
IPC: G05B23/02
Abstract: 本发明属于离散事件系统故障诊断技术领域,具体涉及一种基于λ‑free Petri网的离散事件系统故障诊断研究方法,所述研究方法包括以下步骤:S1:针对离散事件系统构建标签λ‑free Petri网模型;S2:判断是否可以通过有限长度的观测序列检测到故障的发生,即系统是否具有可诊断性;S3:若系统是不可诊断的,则在原始Petri网的基础上构建一个验证网,利用在验证网中捕获的系统结构对其可达树展开并修剪,搜索需要重新标记的标签。本发明能够有助于提高故障诊断的效率和准确性,去除空变迁后的Petri网模型能够减少系统描述的复杂性,从而简化故障诊断过程。