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

Paoli, A., Lafortune, S.
"Safe diagnosability of discrete event systems"
 
Type Conference
Author(s) Paoli, A., Lafortune, S.
Title Safe diagnosability of discrete event systems
Editor Conference on Decision and Control (CDC 2003)
Keywords Discrete Event Systems, Fault Diagnosis, Safety, Supervision, Finite State Machine.
Abstract

The problem of safe failure diagnosis in discrete event systems is addressed. Starting from the standard definition of diagnosability of discrete event systems, which deals with the problem of detecting the occurrence of an unobservable event using the available observations on the system, the problem of performing the detection before the system executes a forbidden string is introduced. For example, this constraint could be required to prevent local faults from developing into failures that could cause safety hazards. This idea results in a new language property for discrete event systems called safe diagnosability. Necessary and sufficient conditions to test this language property are presented. Moreover, the problem of explicitly taking into account safe diagnosability as a requirement in system design is discussed.

Document 49ef.Document.pdf (123660 bytes)
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