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 | 2006 | |
dc.identifier.isbn | 1-4244-0171-2 | |
dc.identifier.isbn | 978-1-4244-0171-0 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44820 | |
dc.description.abstract | In this paper, we address the problem of state estimation in Discrete Event Systems (DES) modeled by labeled Petri nets that may have nondeterministic transitions (i.e., transitions that share the same label) or unobservable transitions (i.e., transitions that are associated with the null label). More specifically, given knowledge of the initial Petri net state (or set of states), we show that the number of consistent markings in a Petri net with nondeterministic transitions is at most polynomial in the length of the observation sequence (i.e., in the number of labels observed) even though the set of possible firing sequences can be exponential in the length of the observation sequence. The result applies to general Petri nets without any specific assumption on the structure of the Petri net or the nature of the labeling function. By restricting attention to bounded Petri nets with acyclic unobservable subnets, this polynomial dependency of the number of consistent markings on the length of the observation sequence also applies to Petri nets with unobservable transitions. © 2006 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-39649121679&partnerID=40&md5=88c5c1a34b669c91e3019b141ab66229 | |
dc.subject | Problem solving | en |
dc.subject | Mathematical models | en |
dc.subject | Discrete event simulation | en |
dc.subject | State estimation | en |
dc.subject | Polynomials | en |
dc.subject | Petri net state | en |
dc.subject | Unobservable transitions | en |
dc.title | State estimation in discrete event systems modeled by labeled Petri Nets | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.startingpage | 6022 | |
dc.description.endingpage | 6027 | |
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 | |