This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamic systems named Hierarchical Finite State Machines (HFSMs). A new version of the property of diagnosability for discrete event systems tailored to HFSMs is introduced. This notion, called L1-diagnosability, captures the possibility of detecting an unobservable fault event using only high level observations of HFSMs. Algorithms for testing L1- diagnosability are presented. In addition, guidelines are presented for studying the diagnosability of HFSMs that are not L1-diagnosable.

On the diagnosability of a class of hierarchical state machines

PAOLI, ANDREA;
2006

Abstract

This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamic systems named Hierarchical Finite State Machines (HFSMs). A new version of the property of diagnosability for discrete event systems tailored to HFSMs is introduced. This notion, called L1-diagnosability, captures the possibility of detecting an unobservable fault event using only high level observations of HFSMs. Algorithms for testing L1- diagnosability are presented. In addition, guidelines are presented for studying the diagnosability of HFSMs that are not L1-diagnosable.
Fault Detection, Supervision and Safety of Technical Processes
1282
1287
A. Paoli; S. Lafortune
File in questo prodotto:
Eventuali allegati, non sono esposti

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: http://hdl.handle.net/11585/68681
 Attenzione

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

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