dc.contributor.author | Ru, Y. | en |
dc.contributor.author | Cabasino, M. P. | en |
dc.contributor.author | Giua, A. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Ru, Y. | en |
dc.creator | Cabasino, M. P. | en |
dc.creator | Giua, A. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:48:12Z | |
dc.date.available | 2019-04-08T07:48:12Z | |
dc.date.issued | 2008 | |
dc.identifier.isbn | 978-1-4244-3124-3 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44810 | |
dc.description.abstract | In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable transitions, we first use the reverse net to compute a set of weakly forbidden markings (i.e., a set of markings from which forbidden markings can be reached by firing uncontrollable transitions). We then use basis markings to represent the set of consistent markings for Petri nets with acyclic unobservable subnets (or unobservable subnets with certain cycles). We determine the control policy by checking if a possible subsequent basis marking belongs to the set of weakly forbidden markings; if so, we disable the corresponding (controllable) transition. The setting in this paper generalizes previous work by allowing partial observation, partial control, and a finite number of arbitrary forbidden states. © 2008 IEEE. | 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-62949230459&doi=10.1109%2fCDC.2008.4739115&partnerID=40&md5=8f34c6f93f68b2abf5fff143868d64f3 | |
dc.subject | Discrete event systems | en |
dc.subject | Petri nets | en |
dc.subject | Graph theory | en |
dc.subject | Marine biology | en |
dc.subject | Unobservable | en |
dc.subject | Finite numbers | en |
dc.subject | Forbidden markings | en |
dc.subject | Forbidden state | en |
dc.subject | Control policies | en |
dc.subject | Partial controls | en |
dc.subject | Partial observations | en |
dc.subject | Sub-nets | en |
dc.title | Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/CDC.2008.4739115 | |
dc.description.startingpage | 1048 | |
dc.description.endingpage | 1053 | |
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 | |