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.

Fault detection and recovery by hybrid Petri nets for automated drug preparation systems

FANTI, MARIA PIA;MANGINI, AGOSTINO MARCELLO;PEDRONCELLI, GIOVANNI;UKOVICH, WALTER
2015

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.
www.ifac-papersonline.net/browser?browse=c
File in questo prodotto:
File Dimensione Formato  
Fault detection and recovery by hybrid Petri nets for automated drug preparation systems.pdf

non disponibili

Descrizione: pdf contributo pubblicato
Tipologia: Documento in Versione Editoriale
Licenza: Digital Rights Management non definito
Dimensione 494.62 kB
Formato Adobe PDF
494.62 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11368/2869742
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact