基于赋时事件图的故障诊断(英文)

Fault diagnosis of timed event graph

中文关键词  离散事件系统  故障诊断  Petri网  赋时事件图  极大代数

英文关键词  discrete event systems  fault diagnosis  Petri net  timed event graph  max-plus algebra

中文摘要

      赋时事件图(TEG)是一类用于描述同步特性的重要的Petri网.本文提出并研究了基于赋时事件图的故障诊断问题.文中定义了两类系统故障类型:变迁失效(Invalidation)故障和变迁时间延迟(Time-lag)故障.基于事件图关联矩阵,通过研究变迁失效故障的可观测传播特性,引入了故障特征向量的概念.基于此,给出了失效故障的可诊断性的充分必要条件.对于时延故障,提出了一种基于变迁触发时间估计进行故障诊断的简单算法.并基于此算法,研究了时延故障的可诊断条件.

英文摘要

      Timed event graphs (TEG) are an important subclass of Petri nets that are well adapted to model synchroniza-tions .The problemoffault diagnosis for timed event graphis studiedinthis paper .Two different systemfaults are defined,transitioninvalidationfault andtransitiontime-lagfault .The observable propagating path ofinvalidationfault is studied based onthe relevancematrix of event graph,and fault character vector is firstly introduced to mark the propagating character of transition invalidationfault .Based onthat ,a sufficient and necessary condition of diagnosabilityfor invalidationfault is given.For the time-lagfault ,a sim-ple fault diagnosis algorithmbased ontransitionfiring time estimationis given.Finally,the diagnosable conditionis studied.