IMPORTANT NOTICE: We are putting the finishing touches to this new version of the repository; please bear with us! If you have any questions, please contact eprints.lincoln.ac.uk.

Diagnosability analysis of a class of hierarchical state machines

Paoli, Andrea and Lafortune, Stéphane (2008) Diagnosability analysis of a class of hierarchical state machines. Discrete Event Dynamic Systems: Theory and Applications, 18 (3). pp. 385-413. ISSN 0924-6703

Documents
15876.pdf

Request a copy
[img] PDF
15876.pdf - Whole Document
Restricted to Repository staff only

637kB
Item Type:Article
Item Status:Live Archive

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. © 2008 Springer Science+Business Media, LLC.

Keywords:Algorithms, Data acquisition, Discrete event simulation, Fault tolerance, Finite automata, Hierarchical systems, Diagnosability properties, Hierarchical finite state machines (HFSM), Statecharts, Program diagnostics
Subjects:H Engineering > H100 General Engineering
H Engineering > H650 Systems Engineering
Divisions:College of Science > School of Engineering
ID Code:15876
Deposited On:19 Aug 2015 10:14

Repository Staff Only: item control page