Fault monitoring is an essential requirement for safety and reliability of dynamic systems. Motivated by the fact that a large class of dynamic systems can be viewed as Discrete Event Systems (DESs) at some level of abstraction, the paper presents a novel event-based approach for DES on-line monitoring, ensuring timely and accurate detection of system failures. The monitor model is based on first order hybrid Petri nets, i.e., Petri nets that make use of first order fluid approximation. The proposed fault analysis technique relies on a modular framework, so that elementary monitors can be connected with other monitors to check more complex systems while avoiding the state space explosion problem. In addition, the presented monitor detects system faults as soon as possible, before the maximum execution time assigned to each task. An application to a simple manufacturing system enlightens the simplicity and modularity of the technique.

Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello. - (2008). (Intervento presentato al convegno Workshop on Petri Nets and Agile Manufacturing, WPNM 2008 tenutosi a Xi’an, China nel June 23-27, 2008).

Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets

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

Abstract

Fault monitoring is an essential requirement for safety and reliability of dynamic systems. Motivated by the fact that a large class of dynamic systems can be viewed as Discrete Event Systems (DESs) at some level of abstraction, the paper presents a novel event-based approach for DES on-line monitoring, ensuring timely and accurate detection of system failures. The monitor model is based on first order hybrid Petri nets, i.e., Petri nets that make use of first order fluid approximation. The proposed fault analysis technique relies on a modular framework, so that elementary monitors can be connected with other monitors to check more complex systems while avoiding the state space explosion problem. In addition, the presented monitor detects system faults as soon as possible, before the maximum execution time assigned to each task. An application to a simple manufacturing system enlightens the simplicity and modularity of the technique.
2008
Workshop on Petri Nets and Agile Manufacturing, WPNM 2008
Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello. - (2008). (Intervento presentato al convegno Workshop on Petri Nets and Agile Manufacturing, WPNM 2008 tenutosi a Xi’an, China nel June 23-27, 2008).
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/14728
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact