Show simple item record

dc.contributor.authorRu, Y.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorRu, Y.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:48:13Z
dc.date.available2019-04-08T07:48:13Z
dc.date.issued2007
dc.identifier.isbn1-4244-0988-8
dc.identifier.isbn978-1-4244-0988-4
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/44817
dc.description.abstractThis 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.sourceProceedings of the American Control Conferenceen
dc.sourceProceedings of the American Control Conferenceen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-46449095477&doi=10.1109%2fACC.2007.4282277&partnerID=40&md5=3ee9f28941ea08d7d3ba13f4a2f24f0d
dc.subjectSpecificationsen
dc.subjectMonitoringen
dc.subjectPetri netsen
dc.subjectGraph theoryen
dc.subjectMarine biologyen
dc.subjectSupervisory controlen
dc.subjectControl systemsen
dc.subjectLow-complexityen
dc.subject(extended) petri netsen
dc.subjectForbidden markingsen
dc.subjectReachability analysisen
dc.subjectControl policiesen
dc.subjectControl schemesen
dc.subjectControl specificationsen
dc.subjectFault-toleranten
dc.subjectMonitor (co)en
dc.subjectOn line controlsen
dc.subjectOnline computationsen
dc.subjectSupervisory personnelen
dc.subjectSynthesis (of chiral ionic liquids)en
dc.subjectSystem state information (ssi)en
dc.titleFault-tolerant supervisory control of discrete event systems modeled by bounded Petri netsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.identifier.doi10.1109/ACC.2007.4282277
dc.description.startingpage4945
dc.description.endingpage4950
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record