Decentralized Diagnosis by Petri Nets and Integer Linear Programming
提出一种基于整数线性规划的分散式在线故障诊断方法，用于离散事件系统。通过本地站点与协调器通信，给出全局诊断结果，并设计了两种检测协议，证明了第二种协议成功诊断的充要条件。
This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.