Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions
Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions
复制标题
使用无条件和条件决策的离散事件系统的分散诊断
DOI：
10.1109/cdc.2005.1583171
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
S. Lafortune
中科院分区：
文献类型：
--
作者：
Yin Wang;T. Yoo;S. Lafortune
在过去的十年中，已经见证了一个理论的发展，与相关的应用，动态系统的故障诊断，可以在一个离散事件系统的框架建模。本文首先讨论了集中式和分散式设置中的故障诊断的双重问题。然后，本文开发了新的定义，分散诊断的一般分散的架构，允许使用“条件决定”的本地诊断的上下文中。这些新的分散诊断定义的属性，并与现有的工作讨论它们的关系。还描述了相应的验证算法。
The past decade has witnessed the development of a body of theory, with associated applications, for fault diagnosis of dynamic systems that can be modeled in a discrete event systems framework. This paper first discusses the dual problem of diagnosing the absence of faults in centralized and decentralized settings. The paper then develops new definitions of decentralized diagnosis in the context of a general decentralized architecture that allows for the use of "conditional decisions" by local diagnosers. The properties of these new definitions of decentralized diagnosability are presented and their relationship with existing work discussed. Corresponding verification algorithms are also described.