Abstract | ||
---|---|---|
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 detecting an unobservable fault event using only high level observations of the behavior of an HFSM. Algorithms for testing L1-diagnosability are presented. In addition, new methodologies are presented for studying the diagnosability properties of HFSMs that are not L1-diagnosable. These methodologies avoid the complete expansion of an HFSM into its corresponding flat automaton by focusing the expansion on problematic indeterminate cycles only in the associated extended diagnoser. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/s10626-008-0044-5 | Discrete Event Dynamic Systems |
Keywords | Field | DocType |
Discrete event systems,Fault diagnosis,Statecharts,Hierarchical finite state machines,Diagnoser | Discrete mathematics,Fault detection and isolation,Discrete event dynamic system,Automaton,Finite-state machine,Dynamical systems theory,Indeterminate,Unobservable,Discrete system,Mathematics | Journal |
Volume | Issue | ISSN |
18 | 3 | 0924-6703 |
Citations | PageRank | References |
10 | 0.61 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrea Paoli | 1 | 212 | 16.73 |
StéPhane Lafortune | 2 | 1738 | 181.23 |