news!
people
activities
equipments
publications
collaborations
past_activities
links
search
  
 > Home > Publications >

Paoli, A., Lafortune, S.
"New techniques for studying the diagnosability of a class of hierarchical finite state machines"
 
Type Internal Report
Author(s) Paoli, A., Lafortune, S.
Title New techniques for studying the diagnosability of a class of hierarchical finite state machines
Editor System Science and Engineering Division, Department of Electrical Engineering and Computer Science, The University of Michigan
Keywords Fault diagnosis, hierarchical finite state machines, diagnoser, discrete event systems
Abstract
This paper address the problem of Fault Detection and Isolation (FDI) for a particular class of discrete event dynamic systems (DES) named Hierarchical Finite State Machines (HFSM). We introduce a new diagnosability definition called L1-diagnosability. This notion describe the possibility of detecting a fault using just observation from level 1. We also give some guidelines to test diagnosability for not L1-diagnosable limiting the amount of information needed.
Notes
Technical report no. CGR 05-04
Year 2005


pick and add to your personal selectionexplain the meaning of the fieldsHOMELOGIN (you are guest)   Web Oriented Database Home
Copyright 2000, DEIS - University of Bologna. All rights reserved.
Send an e-mail to the WebMaster