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

On-line Fault Detection of Discrete Event Systems by Petri Nets and Integer Linear Programming / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello; Ukovich, W.. - In: AUTOMATICA. - ISSN 0005-1098. - 45:11(2009), pp. 2665-2672. [10.1016/j.automatica.2009.07.021]

On-line Fault Detection of Discrete Event Systems by Petri Nets and Integer Linear Programming

DOTOLI, Mariagrazia;FANTI, Maria Pia;MANGINI, Agostino Marcello;
2009-01-01

Abstract

The paper addresses the fault detection problem for discrete event systems in a Petri Net (PN) framework. Assuming that the structure of the PN model and the initial marking are known, faults are modelled by unobservable transitions. Moreover, we assume that there may be additional unobservable transitions associated with the system legal behaviour and that the marking reached after the firing of any transition is unknown. The proposed diagnoser works on-line: it waits for the firing of an observable transition and employs an algorithm based on the definition and solution of some integer linear programming problems to decide whether the system behaviour is normal or exhibits some possible faults. The results characterize the properties that the PN modelling the system fault behaviour has to fulfill in order to reduce the on-line computational effort.
2009
On-line Fault Detection of Discrete Event Systems by Petri Nets and Integer Linear Programming / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello; Ukovich, W.. - In: AUTOMATICA. - ISSN 0005-1098. - 45:11(2009), pp. 2665-2672. [10.1016/j.automatica.2009.07.021]
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: https://hdl.handle.net/11589/2091
Citazioni
  • Scopus 143
  • ???jsp.display-item.citation.isi??? 105
social impact