Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
复制标题
DOI：
10.1109/tac.2012.2185881
复制
发表时间：
2012-01
影响因子：
6.8
通讯作者：
S. Takai;T. Ushio
中科院分区：
文献类型：
--
作者：
S. Takai;T. Ushio
在用于部分观测离散事件系统故障诊断的传统框架中，假设对于每个事件，对应的输出符号是唯一确定的。然而，这一假设在离散事件系统如移动系统中不成立，在离散事件系统中，输出符号不仅取决于事件，而且取决于事件发生的状态。在这篇技术笔记中，我们用带有不确定输出函数的Mealy自动机来建模这样的离散事件系统，并考虑了一个分散的故障诊断问题，该问题要求至少一个局部诊断器在一致有界的步数内检测到任何故障的发生。我们引入协诊性的一个扩展版本作为分散诊断者存在的一个条件。然后，我们给出了一个算法来验证扩展的协同诊断条件。
In the conventional framework for failure diagnosis of partially observed discrete event systems, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in discrete event systems such as a mobile system, where an output symbol depends on not only an event but also a state at which the event occurs. In this technical note, we model such discrete event systems by Mealy automata with nondeterministic output functions, and consider a decentralized failure diagnosis problem that requires any occurrence of a failure should be detected by at least one local diagnoser within a uniformly bounded number of steps. We introduce an extended version of codiagnosability as a condition for the existence of a decentralized diagnoser. We then present an algorithm for verifying the extended codiagnosability condition.