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

Paoli, A., Lafortune S.
"Safe diagnosability of discrete event systems"
 
Type Internal Report
Author(s) Paoli, A., Lafortune S.
Title Safe diagnosability of discrete event systems
Editor System Science and Engineering Division, Department of Electrical Engineering and Computer Science, The University of Michigan
Keywords Discrete event systems, Automata, Languages, Fault Diagnosis, Safety.
Abstract

In this paper the problem of a safe failure diagnosis in discrete event systems is addressed. Starting from the standard definition of diagnosability of discrete event systems, which deal with the problem of detect the occurrence of an unobservable event using the available observations on the system, the problem of perform the detection before the system executes a set of forbidden string has been introduced. For example this constraint could be required to avoid that local faults will develop into failures that can cause safety hazards. This idea results in a new definition of safe diagnosability for discrete event systems and in practical necessary and sufficient conditions to test this language property. Moreover the problem of explicitly taken into account the safe diagnosability requirement in the system design has been addressed and solved.

Technical Report No. CGR-03-02, System Science and Engineering Division, Department of Electrical Engineering and Computer Science, The University of Michigan, January 2003.

Year 2003


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