Intermittent Fault Detection Through Message Exchanges : A Coherence Based Approach

Soldani, Siegfried; Combacau, Michel; Thomas, Jérôme; Subias, Albert Corominas

doi:10.3182/20060829-4-cn-2909.00246

Cited by 7 publications

(3 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The fault is detected if the observed behavior of the system cannot be reproduced by its model. In a series of works, Soldani et al (2006Soldani et al ( , 2007a discuss the detection and isolation of intermittent faults in a fault-free DES modeling setting in both automata (Soldani et al, 2007a) and Petri net (Soldani et al, 2007b). In those works, failures may imply either the occurrence (insertion) of spurious events or the lack of foreseen events.…”

Section: Intermittent Fault Diagnosis Using Fault-free Modelsmentioning

confidence: 99%

“…System modeling (offline). A model that expresses the nominal behavior of the system to be diagnosed is firstly constructed based on the design data whereby only the observable actions are represented (Soldani et al, 2006). The built models can be either automata or Petri nets.…”

Section: Intermittent Fault Diagnosis Using Fault-free Modelsmentioning

confidence: 99%

“…The fault detection process consists of comparing the observable event sequences issued by the system with the expected event sequences from the model. A faulty behavior is detected if there exists some inconsistency between the received event and the expected one (Soldani et al, 2006). 3.…”

Section: Intermittent Fault Diagnosis Using Fault-free Modelsmentioning

confidence: 99%

See 2 more Smart Citations

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

Boussif

Ghazel²,

Basilio

2020

Discrete Event Dyn Syst

View full text Add to dashboard Cite

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 diagnosis 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.

show abstract