A polynomial algorithm for observer design with Interpreted Petri Nets

This paper addresses the observer design in Discrete Event System that are modeled with Interpreted Petri Nets. Based on this model, this paper presents a novel observer design methodology and since it exploits the output computable and BCML computable places information, the observed marking converges faster to the actual system marking than previous presented observers. Polynomial algorithms are used in order to compute the initial marking, the firing transition vector and to build the observed state.