Abstract
We discuss the problem of estimating the marking of a place/transition net based on event observation. We assume that the net structure is known while the initial marking is totally or partially unknown. We give two algorithms to compute a marking estimate that is a lower bound of the actual marking. The error between actual marking and estimate is a monotonically nonincreasing function of the observed word length. The special structure of Petri nets allows us to use a simple linear algebraic formalism for estimate and error computation. In particular, the set of markings consistent with an observed word, i.e., the set of marking in which the system may actually be given the observed word, can be easily characterized. Finally, we show how the estimate generated by the observer may be used to design a state feedback controller.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
