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.

Explanatory monitoring of discrete-event systems

Bertoglio N.;Lamperti G.
;
Zanella M.;
2020-01-01

Abstract

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.
2020
978-981-15-5925-9
File in questo prodotto:
File Dimensione Formato  
Bertoglio2020_Chapter_ExplanatoryMonitoringOfDiscret.pdf

gestori archivio

Tipologia: Full Text
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 585.53 kB
Formato Adobe PDF
585.53 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11379/532416
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact