Decentralized Diagnosis of Stochastic Discrete Event Systems
Decentralized Diagnosis of Stochastic Discrete Event Systems
复制标题
DOI：
10.1109/tac.2007.915172
复制
发表时间：
2008-03
影响因子：
6.8
通讯作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
中科院分区：
文献类型：
--
作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
我们通过使用多个局部随机诊断器来研究随机离散事件系统（SDES）的分散诊断，每个诊断者都有自己的传感器来处理不同的信息。我们通过定义随机自动机的编号诊断概念来形式化SDES的分散诊断的概念，在这种诊断中，当地随机诊断者或任何协调员之间的任何通信不涉及。这些概念比经典DESS分散诊断的相应概念弱。随机系统是可诊断的，这意味着在有限延迟内至少一个局部随机诊断器可以检测到故障。我们从给定的随机系统中构建一个具有有限数量的投影的Codiagnoser，其每个诊断组件都使用系统的完整模型。我们还处理Codiagnoser的许多基本属性。特别是，提出了SDES的代码诊断性的必要条件，它概括了SDESS集中诊断的相应结果。另外，我们提供了一种计算方法，以检查SDESS的代码诊断性。作为我们结果的应用，描述了一些示例。
We investigate the decentralized diagnosis of stochastic discrete event systems (SDESs) by using multiple local stochastic diagnosers, each possessing its own sensors to deal with different information. We formalize the notions of decentralized diagnosis for SDESs by defining the concept of codiagnosability for stochastic automata, in which any communication among the local stochastic diagnosers or to any coordinators is not involved. These notions are weaker than the corresponding notions of decentralized diagnosis of classical DESs. A stochastic system being codiagnosable means that a fault can be detected by at least one local stochastic diagnoser within a finite delay. We construct a codiagnoser from a given stochastic system with a finite number of projections whose each diagnosis component uses the complete model of the system. We also deal with a number of basic properties of the codiagnoser. In particular, a necessary and sufficient condition of the codiagnosability for SDESs is presented, which generalizes the corresponding results of centralized diagnosis for SDESs. Also, we give a computing method in detail to check the codiagnosability of SDESs. As an application of our results, some examples are described.