Marking observer of labeled petri nets with uncertainty in the initial marking
Ημερομηνία
2013ISBN
978-0-7695-5154-8Source
Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
Pages
2348-2353Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
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.