The paper addresses the fault detection problem for discrete event systems on the basis of a Petri Net (PN) model. Assuming that the structure of the PN and the initial marking are known, faults are modelled by unobservable transitions. Moreover, we assume that there may be additional unobservable transitions that are associated with the system legal behaviour and that the marking reached after the firing of a transition is unknown. We propose a diagnoser that works on-line: it waits for the firing of an observable transition and employs an algorithm based on the definition of some integer linear programming problems to decide whether the system behaviour is normal or exhibits some possible faults. Copyright

Fault Detection of Discrete Event Systems Using Petri Nets and Integer Linear Programming

FANTI, Maria Pia;DOTOLI, Mariagrazia;MANGINI, Agostino Marcello
2008

Abstract

The paper addresses the fault detection problem for discrete event systems on the basis of a Petri Net (PN) model. Assuming that the structure of the PN and the initial marking are known, faults are modelled by unobservable transitions. Moreover, we assume that there may be additional unobservable transitions that are associated with the system legal behaviour and that the marking reached after the firing of a transition is unknown. We propose a diagnoser that works on-line: it waits for the firing of an observable transition and employs an algorithm based on the definition of some integer linear programming problems to decide whether the system behaviour is normal or exhibits some possible faults. Copyright
17th World Congress, International Federation of Automatic Control, IFAC
9783902661005
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11589/14729
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 16
  • ???jsp.display-item.citation.isi??? ND
social impact