Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis
Citations
7 citations
Cites background from "Intermittent Fault Diagnosis as Dis..."
...In [5], the same authors propose to detect deadlock scenarios between a system and its diagnoser by an iterative model-checking approach but this approach is difficult to implement and no associated experimentations are provided....
[...]
5 citations
2 citations
Cites background or methods from "Intermittent Fault Diagnosis as Dis..."
...We use SAT model enumeration [10] to produce all the observation sequences consistent with the behavioural model of a fixed length k and we apply preferences with an existing estimator implementation based on MAX-SAT [13]....
[...]
...In [13] and [2], the authors define an estimation framework composed of two parts: (1) a behavorial model (represented by logical constraints) that constrains the possible explanations for a given observed scenario, and (2) a fault management strategy (represented by a conditional preference model) that specifies which estimation is to be preferred, and under which conditions....
[...]
References
2,871 citations
1,599 citations
"Intermittent Fault Diagnosis as Dis..." refers background in this paper
...This notion is similar in intent to the concept of diagnosability introduced in [13], where a permanent fault is diagnosable when an observer can deduce its occurrence after a bounded delay....
[...]
1,377 citations
689 citations
"Intermittent Fault Diagnosis as Dis..." refers background in this paper
...While our approach will ultimately find deadlocks if they exist, proving an estimation model is deadlock free can only be done on finite horizons with bounded model-checking [15], unless the model-checker handles the estimator’s transition function, which is unlikely on realistic examples....
[...]
689 citations
Additional excerpts
...While the scalability problems of BDDs are well known, in the case of QBF, the difficulty resides mainly in normalizing of the formulas into QCNF....
[...]
...Experiments with BDDs [10], or QBF [11] failed to scale up to moderately complex examples....
[...]