×

使用OBDD对分布式离散事件系统进行故障诊断。 (英语) Zbl 1090.68075号

摘要:我们研究了分布式离散事件系统的故障诊断问题。该模型假设系统由分布式组件组成,这些组件在标记的Petri网中建模,并通过公共资源集(位置)相互交互。此外,组件自己对公共资源的访问是一个可观察的事件。基于Sampath等人提出的诊断方法,提出了一种具有通信功能的分布式故障诊断算法。分布式算法假设本地诊断过程可以在可观察事件发生时交换消息。我们证明了分布式诊断算法的正确性,即它恢复了与集中式诊断算法相同的诊断信息。然后,引入有序二进制决策图(OBDD)来管理系统状态估计中的状态爆炸问题。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
93元65角 离散事件控制/观测系统
PDF格式BibTeX公司 XML格式引用