dc.contributor.author | Cabasino, M. P. | en |
dc.contributor.author | Seatzu, C. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Cabasino, M. P. | en |
dc.creator | Seatzu, C. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:44:57Z | |
dc.date.available | 2019-04-08T07:44:57Z | |
dc.date.issued | 2013 | |
dc.identifier.isbn | 978-0-7695-5154-8 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42934 | |
dc.description.abstract | In this paper we consider marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions labeled with the empty word) and indistinguishable transitions (i.e., transitions sharing the same label with other transitions). 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) and a marking observer may be constructed offline under appropriate boundedness assumptions. This reduces the problem of computing the set of markings consistent with a given observation sequence to the problem of moving along a path in a labeled directed graph. © 2013 IEEE. | en |
dc.source | Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 | en |
dc.source | Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84893623773&doi=10.1109%2fSMC.2013.401&partnerID=40&md5=1859ad1a510bc65b1a4aabd1571bbe3b | |
dc.subject | Set theory | en |
dc.subject | Offline | 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 | Initial marking | en |
dc.subject | Linear-algebraic | en |
dc.subject | Marking estimation | en |
dc.subject | Cybernetics | en |
dc.subject | State estimation | en |
dc.title | Marking observer of labeled petri nets with uncertainty in the initial marking | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/SMC.2013.401 | |
dc.description.startingpage | 2348 | |
dc.description.endingpage | 2353 | |
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 | |