Diagnosability Analysis of a Class of Hierarchical State Machines


This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called 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… (More)
DOI: 10.1007/s10626-008-0044-5


20 Figures and Tables