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. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.



Titolo: Fault detection and recovery by hybrid Petri nets for automated drug preparation systems
Autori: 
FANTI, MARIA PIA
MANGINI, AGOSTINO MARCELLO
PEDRONCELLI, GIOVANNI
UKOVICH, WALTER
mostra contributor esterni 
Data di pubblicazione: 2015
Rivista: 
IFAC PROCEEDINGS VOLUMES  
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. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
Handle: http://hdl.handle.net/11368/2869742
URL: www.ifac-papersonline.net/browser?browse=c
Appare nelle tipologie:4.1 Contributo in Atti Convegno (Proceeding)

File in questo prodotto:
FileDescrizioneTipologiaLicenza 
Fault detection and recovery by hybrid Petri nets for automated drug preparation systems.pdf pdf contributo pubblicatoPublisher-VersionDigital Rights Management non definitoAdministrator   Richiedi una copia
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11368/2869742
  • Citazioni
  • ND
  • ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
©2014 University of Trieste dove siamo Privacy
Piazzale Europa,1 34127 Trieste, Italia - Tel. +39 040.558.7111 - P.IVA 00211830328 - C.F. 80013890324 - P.E.C.: ateneo@pec.units.it
 Copyright © 2020