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: | ||
Data di pubblicazione: | 2015 | |
Rivista: | ||
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:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Fault detection and recovery by hybrid Petri nets for automated drug preparation systems.pdf | pdf contributo pubblicato | Documento in Versione Editoriale | Digital Rights Management non definito | Administrator Richiedi una copia |