This paper presents an event-based monitor that ensures timely and accurate detection and recovery of system task faults. 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 detection 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. Moreover, a fault detection and recovery monitor is specified for a system devoted to the automated preparation of pharmaceutical drugs.
Fault detection and recovery by hybrid Petri nets for automated drug preparation systems / Fanti, Maria Pia; Mangini, Agostino Marcell; Pedroncelli, Giovanni; Roccotelli, Michele; Ukovich, Walter. - ELETTRONICO. - 48:7(2015), pp. 104-109. (Intervento presentato al convegno 5th IFAC International Workshop on Dependable Control of Discrete Systems, DCDS 2015 tenutosi a Cancun, Mexico nel May 27-29, 2015) [10.1016/j.ifacol.2015.06.480].
Fault detection and recovery by hybrid Petri nets for automated drug preparation systems
Fanti, Maria Pia;Mangini, Agostino Marcell;Roccotelli, Michele;
2015-01-01
Abstract
This paper presents an event-based monitor that ensures timely and accurate detection and recovery of system task faults. 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 detection 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. Moreover, a fault detection and recovery monitor is specified for a system devoted to the automated preparation of pharmaceutical drugs.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
