Formal approach to fault diagnosis in distributed discrete event systems with OBDD
Formal approach to fault diagnosis in distributed discrete event systems with OBDD
复制标题
使用 OBDD 分布式离散事件系统故障诊断的形式化方法
DOI：
10.1007/s11334-007-0032-1
复制
发表时间：
2007
影响因子：
1.2
通讯作者：
Lu Yan
中科院分区：
文献类型：
--
作者：
Fei Xue;Lu Yan
本文研究了分布式离散事件系统的故障诊断问题。该模型假设系统由分布式组件组成，这些组件在标记的Petri网中建模，并通过公共资源（地点）集相互交互。此外，组件自己对公共资源的访问是一个可观察事件。在Sampath等人提出的诊断器方法的基础上，提出了一种带通信的分布式故障诊断算法。分布式算法假设本地诊断过程可以在可观察事件发生时交换消息。我们证明了分布式诊断算法是正确的，因为它恢复了与集中式诊断算法相同的诊断信息。此外，为了解决系统状态估计中的状态爆炸问题，我们引入了有序二元决策图（OBDD）。
In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components which are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component’s own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sampath et al., a distributed fault diagnosis algorithm with communication is presented. The distributed algorithm assumes that the local diagnosis process can exchange messages upon the occurrence of observable events. We prove the distributed diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm. Furthermore, we introduce the ordered binary decision diagrams (OBDD) in order to manage the state explosion problem in state estimation of the system.