arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv cs/0610165cs.AI
收藏

随机离散事件系统的分散故障诊断

Decentralized Failure Diagnosis of Stochastic Discrete Event Systems

Fuchun Liu, Daowen Qiu, Hongyan Xing, Zhujun Fan

摘要:

近年来,文献中研究了{ \it随机离散事件系统}(SDES)的可诊断性,所考虑的故障诊断是{ \it集中式}的。本文提出了一种SDES的{ \it分散式}故障诊断方法,其中随机系统使用多个局部诊断器来检测故障,每个局部诊断器都有自己的信息。在某种程度上,SDES的集中式故障诊断可以看作是本文提出的只有一个投影的分散式故障诊断的一个特例。本文的主要贡献如下:(1)形式化了随机自动机的可共诊断性概念,即故障在有限延迟内至少可以被一个局部随机诊断器检测到。(2)我们从一个给定的随机自动机与多个投影构造一个协同诊断,并与本地诊断相关的协同诊断被用来测试SDES的协同诊断条件。(3)我们处理一些基本性质的codiagnoser。特别是,一个必要和充分条件的SDES的codiagnostisability。(4)我们给出了一个详细的计算方法来检查是否违反了可诊断性。(5)通过实例说明了可诊断性及其计算方法的应用。

英文摘要:

Recently, the diagnosability of {\it stochastic discrete event systems} (SDESs) was investigated in the literature, and, the failure diagnosis considered was {\it centralized}. In this paper, we propose an approach to {\it decentralized} failure diagnosis of SDESs, where the stochastic system uses multiple local diagnosers to detect failures and each local diagnoser possesses its own information. In a way, the centralized failure diagnosis of SDESs can be viewed as a special case of the decentralized failure diagnosis presented in this paper with only one projection. The main contributions are as follows: (1) We formalize the notion of codiagnosability for stochastic automata, which means that a failure can be detected by at least one local stochastic diagnoser within a finite delay. (2) We construct a codiagnoser from a given stochastic automaton with multiple projections, and the codiagnoser associated with the local diagnosers is used to test codiagnosability condition of SDESs. (3) We deal with a number of basic properties of the codiagnoser. In particular, a necessary and sufficient condition for the codiagnosability of SDESs is presented. (4) We give a computing method in detail to check whether codiagnosability is violated. And (5) some examples are described to illustrate the applications of the codiagnosability and its computing method.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑