dc.contributor.author | Li, L. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Sreenivas, R. S. | en |
dc.creator | Li, L. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Sreenivas, R. S. | en |
dc.date.accessioned | 2019-04-08T07:46:57Z | |
dc.date.available | 2019-04-08T07:46:57Z | |
dc.date.issued | 2004 | |
dc.identifier.isbn | 0-7803-8682-5 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44079 | |
dc.description.abstract | This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a redundant Petri net embedding that allows the detection and identification of place and transition faults. A place fault results in an incorrect token-load of a place, and a transition fault arises when the token-load of either the input or output place-set of a transition is not appropriately updated following the firing of a transition. The resulting Petri net controller implementations use redundant places, connections and tokens to impose invariant conditions that allow the detection and identification of faults via linear parity checks. The proposed methodology is attractive because the redundant Petri net controller makes efficient use of redundancy and allows for the systematic detection and identification of faults. More specifically, the use of d redundant places enables the detection and identification of up to d - 1 transition faults and up to [d/2] place faults. | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-14544307024&doi=10.1109%2fCDC.2004.1429641&partnerID=40&md5=a58bdb48ef516c03b819714434fdcddb | |
dc.subject | Mathematical models | en |
dc.subject | Matrix algebra | en |
dc.subject | Control theory | en |
dc.subject | Fault detection | en |
dc.subject | Identification (control systems) | en |
dc.subject | Petri nets | en |
dc.subject | Constraint theory | en |
dc.subject | Control equipment | en |
dc.subject | Redundancy | en |
dc.subject | Linear parity checks | en |
dc.subject | Petri net controllers | en |
dc.subject | Discrete event dynamic systems | en |
dc.title | Fault detection and identification in Petri net controllers | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/CDC.2004.1429641 | |
dc.description.volume | 5 | |
dc.description.startingpage | 5248 | |
dc.description.endingpage | 5253 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |