Eintrag weiter verarbeiten
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism
Gespeichert in:
Zeitschriftentitel: | Transactions of the Institute of Measurement and Control |
---|---|
Personen und Körperschaften: | , , |
In: | Transactions of the Institute of Measurement and Control, 33, 2011, 1, S. 149-167 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
SAGE Publications
|
Schlagwörter: |
author_facet |
Dotoli, M. Fanti, M.P. Mangini, A.M. Dotoli, M. Fanti, M.P. Mangini, A.M. |
---|---|
author |
Dotoli, M. Fanti, M.P. Mangini, A.M. |
spellingShingle |
Dotoli, M. Fanti, M.P. Mangini, A.M. Transactions of the Institute of Measurement and Control A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism Instrumentation |
author_sort |
dotoli, m. |
spelling |
Dotoli, M. Fanti, M.P. Mangini, A.M. 0142-3312 1477-0369 SAGE Publications Instrumentation http://dx.doi.org/10.1177/0142331208095677 <jats:p> Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based online monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first-order hybrid Petri nets, ie, 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. Several examples and an application to an automated manufacturing system proposed in the related literature enlighten the simplicity and modularity of the technique. </jats:p> A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism Transactions of the Institute of Measurement and Control |
doi_str_mv |
10.1177/0142331208095677 |
facet_avail |
Online |
finc_class_facet |
Allgemeines Technik |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE3Ny8wMTQyMzMxMjA4MDk1Njc3 |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE3Ny8wMTQyMzMxMjA4MDk1Njc3 |
institution |
DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-D161 |
imprint |
SAGE Publications, 2011 |
imprint_str_mv |
SAGE Publications, 2011 |
issn |
1477-0369 0142-3312 |
issn_str_mv |
1477-0369 0142-3312 |
language |
English |
mega_collection |
SAGE Publications (CrossRef) |
match_str |
dotoli2011afaultmonitorforautomatedmanufacturingsystemsusingahybridpetrinetsformalism |
publishDateSort |
2011 |
publisher |
SAGE Publications |
recordtype |
ai |
record_format |
ai |
series |
Transactions of the Institute of Measurement and Control |
source_id |
49 |
title |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_unstemmed |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_full |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_fullStr |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_full_unstemmed |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_short |
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_sort |
a fault monitor for automated manufacturing systems using a hybrid petri nets formalism |
topic |
Instrumentation |
url |
http://dx.doi.org/10.1177/0142331208095677 |
publishDate |
2011 |
physical |
149-167 |
description |
<jats:p> Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based online monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first-order hybrid Petri nets, ie, 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. Several examples and an application to an automated manufacturing system proposed in the related literature enlighten the simplicity and modularity of the technique. </jats:p> |
container_issue |
1 |
container_start_page |
149 |
container_title |
Transactions of the Institute of Measurement and Control |
container_volume |
33 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792327241348153354 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T12:33:00.355Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=A+fault+monitor+for+automated+manufacturing+systems+using+a+hybrid+Petri+nets+formalism&rft.date=2011-02-01&genre=article&issn=1477-0369&volume=33&issue=1&spage=149&epage=167&pages=149-167&jtitle=Transactions+of+the+Institute+of+Measurement+and+Control&atitle=A+fault+monitor+for+automated+manufacturing+systems+using+a+hybrid+Petri+nets+formalism&aulast=Mangini&aufirst=A.M.&rft_id=info%3Adoi%2F10.1177%2F0142331208095677&rft.language%5B0%5D=eng |
SOLR | |
_version_ | 1792327241348153354 |
author | Dotoli, M., Fanti, M.P., Mangini, A.M. |
author_facet | Dotoli, M., Fanti, M.P., Mangini, A.M., Dotoli, M., Fanti, M.P., Mangini, A.M. |
author_sort | dotoli, m. |
container_issue | 1 |
container_start_page | 149 |
container_title | Transactions of the Institute of Measurement and Control |
container_volume | 33 |
description | <jats:p> Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based online monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first-order hybrid Petri nets, ie, 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. Several examples and an application to an automated manufacturing system proposed in the related literature enlighten the simplicity and modularity of the technique. </jats:p> |
doi_str_mv | 10.1177/0142331208095677 |
facet_avail | Online |
finc_class_facet | Allgemeines, Technik |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE3Ny8wMTQyMzMxMjA4MDk1Njc3 |
imprint | SAGE Publications, 2011 |
imprint_str_mv | SAGE Publications, 2011 |
institution | DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-D161 |
issn | 1477-0369, 0142-3312 |
issn_str_mv | 1477-0369, 0142-3312 |
language | English |
last_indexed | 2024-03-01T12:33:00.355Z |
match_str | dotoli2011afaultmonitorforautomatedmanufacturingsystemsusingahybridpetrinetsformalism |
mega_collection | SAGE Publications (CrossRef) |
physical | 149-167 |
publishDate | 2011 |
publishDateSort | 2011 |
publisher | SAGE Publications |
record_format | ai |
recordtype | ai |
series | Transactions of the Institute of Measurement and Control |
source_id | 49 |
spelling | Dotoli, M. Fanti, M.P. Mangini, A.M. 0142-3312 1477-0369 SAGE Publications Instrumentation http://dx.doi.org/10.1177/0142331208095677 <jats:p> Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based online monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first-order hybrid Petri nets, ie, 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. Several examples and an application to an automated manufacturing system proposed in the related literature enlighten the simplicity and modularity of the technique. </jats:p> A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism Transactions of the Institute of Measurement and Control |
spellingShingle | Dotoli, M., Fanti, M.P., Mangini, A.M., Transactions of the Institute of Measurement and Control, A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism, Instrumentation |
title | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_full | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_fullStr | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_full_unstemmed | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_short | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
title_sort | a fault monitor for automated manufacturing systems using a hybrid petri nets formalism |
title_unstemmed | A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism |
topic | Instrumentation |
url | http://dx.doi.org/10.1177/0142331208095677 |