dc.contributor.author | Cabasino, M. P. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Seatzu, C. | en |
dc.creator | Cabasino, M. P. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Seatzu, C. | en |
dc.date.accessioned | 2019-04-08T07:44:56Z | |
dc.date.available | 2019-04-08T07:44:56Z | |
dc.date.issued | 2017 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42929 | |
dc.description.abstract | In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the empty word) and indistinguishable transitions (i.e., transitions sharing the same label with other transitions). First, we demonstrate that all sets of markings consistent with a given sequence of observations can be described in linear algebraic terms (as a union of convex sets); subsequently, this observation is used to construct (offline) a marking observer under appropriate boundedness assumptions. Using the marking observer we show how to derive, at design time, a state feedback control law under the assumption that all transitions sharing a label can be enabled or disabled simultaneously as a group; this way, the most burdensome part of the computations is performed offline. © 1963-2012 IEEE. | en |
dc.source | IEEE Transactions on Automatic Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85018467050&doi=10.1109%2fTAC.2016.2592952&partnerID=40&md5=80726d5501f3ed41c834970b9531189e | |
dc.subject | Set theory | en |
dc.subject | Discrete event simulation | en |
dc.subject | Discrete event systems | en |
dc.subject | Petri nets | en |
dc.subject | Boundedness | en |
dc.subject | Convex set | en |
dc.subject | Design time | en |
dc.subject | Initial marking | en |
dc.subject | Linear-algebraic | en |
dc.subject | Marking estimation | en |
dc.subject | State estimation | en |
dc.subject | State feedback | en |
dc.subject | State feedback control law | en |
dc.subject | Supervisory control | en |
dc.title | Marking observer in labeled petri nets with application to supervisory control | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TAC.2016.2592952 | |
dc.description.volume | 62 | |
dc.description.issue | 4 | |
dc.description.startingpage | 1813 | |
dc.description.endingpage | 1824 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | IEEE Trans Autom Control | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |