
handle: 11379/532416
Model-based diagnosis was first proposed for static systems, where the values of the input and output variables are given at a single time point and the root cause of an observed misbehavior is a set of faults. This set-oriented perspective of the diagnosis results was later adopted also for dynamical systems, although it fits neither the temporal nature of their observations, which are gathered over a time interval, nor the temporal evolution of their behavior. This conceptual mismatch is bound to make diagnosis of discrete-event systems (DESs) poor in explainability. Embedding the reciprocal temporal ordering of faults in diagnosis results may be essential for critical decision-making. To favor explainability, the notions of temporal fault, explanation, and explainer are introduced in diagnosis during monitoring of DESs. To achieve explanatory monitoring, a technique is described, which progressively refines the diagnosis results produced already.
Discrete-event systems; Explainer; Explanation; Finite automata; Model-based diagnosis; Monitoring; Temporal faults
Discrete-event systems; Explainer; Explanation; Finite automata; Model-based diagnosis; Monitoring; Temporal faults
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
