当前位置: X-MOL 学术Discrete Event Dyn. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Discrete Event Dynamic Systems ( IF 2 ) Pub Date : 2020-09-07 , DOI: 10.1007/s10626-020-00324-y
Abderraouf Boussif , Mohamed Ghazel , João Carlos Basilio

Real life experience has shown that intermittent faults are among the most challenging kinds of faults to detect and isolate, being present in the majority of production systems. Such a concern has made intermittent fault an active area of research in both discrete event and continuous-variable dynamic systems. In this paper, we present a review of the state-of-the art of intermittent fault diagnosability of discrete event systems modeled by finite state automata. To this end, we revisit the main definitions of diagnosability of intermittent faults, and present comparisons between them, consider verification and analysis techniques, and discuss available complexity results. Examples are used throughout the paper to illustrate the reviewed concepts and verification algorithms. We also look ahead, by suggesting some perspectives for future research.

中文翻译:

离散事件系统的间歇性故障诊断:基于自动机的方法概述

现实生活经验表明,间歇性故障是检测和隔离最具挑战性的故障类型之一,存在于大多数生产系统中。这种关注使得间歇性故障成为离散事件和连续变量动态系统中的一个活跃研究领域。在本文中,我们回顾了由有限状态自动机建模的离散事件系统的间歇性故障可诊断性的最新技术。为此,我们重新审视了间歇性故障可诊断性的主要定义,并进行了比较,考虑了验证和分析技术,并讨论了可用的复杂性结果。整篇论文都使用示例来说明审查的概念和验证算法。我们还展望未来,为未来的研究提出一些观点。
更新日期:2020-09-07
down
wechat
bug