dc.contributor.author | Ru, Y. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Ru, Y. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:48:13Z | |
dc.date.available | 2019-04-08T07:48:13Z | |
dc.date.issued | 2007 | |
dc.identifier.isbn | 1-4244-0988-8 | |
dc.identifier.isbn | 978-1-4244-0988-4 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44817 | |
dc.description.abstract | This paper considers bounded Petri nets with both controllable and uncontrollable transitions, and addresses the synthesis of a fault-tolerant supervisor in a setting where the control specifications are described via arbitrary forbidden markings. When determining the supervisor, we handle uncontrollable transitions by analyzing the reverse net and by obtaining a set of weakly forbidden markings, based on which we determine the maximally permissive control policy. We implement the supervisor by encoding the system state information into two monitor places in a way that allows us to both determine the online control policy efficiently and identify/correct single place faults (i.e., faults that corrupt the number of tokens in a single place of the Petri net, including the monitor places). The overall method need not perform reachability analysis, has low complexity requirements for online computation, and can be generalized to monitor-based control schemes that are tolerant to any number of faults. © 2007 IEEE. | en |
dc.source | Proceedings of the American Control Conference | en |
dc.source | Proceedings of the American Control Conference | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-46449095477&doi=10.1109%2fACC.2007.4282277&partnerID=40&md5=3ee9f28941ea08d7d3ba13f4a2f24f0d | |
dc.subject | Specifications | en |
dc.subject | Monitoring | en |
dc.subject | Petri nets | en |
dc.subject | Graph theory | en |
dc.subject | Marine biology | en |
dc.subject | Supervisory control | en |
dc.subject | Control systems | en |
dc.subject | Low-complexity | en |
dc.subject | (extended) petri nets | en |
dc.subject | Forbidden markings | en |
dc.subject | Reachability analysis | en |
dc.subject | Control policies | en |
dc.subject | Control schemes | en |
dc.subject | Control specifications | en |
dc.subject | Fault-tolerant | en |
dc.subject | Monitor (co) | en |
dc.subject | On line controls | en |
dc.subject | Online computations | en |
dc.subject | Supervisory personnel | en |
dc.subject | Synthesis (of chiral ionic liquids) | en |
dc.subject | System state information (ssi) | en |
dc.title | Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/ACC.2007.4282277 | |
dc.description.startingpage | 4945 | |
dc.description.endingpage | 4950 | |
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 | |