State Observer Synthesis for a Class of Condition Systems

This paper considers the problem of synthesizing an observer to estimate the state of a plant modeled as a condition system, a form of Petri net with signal inputs and outputs. We present requirements for the existence of an observer, and then present a procedure that analyzes the plant model and automatically synthesizes an observer for it. At last, we give an example to illustrate the method.

[1]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[2]  Lawrence E. Holloway,et al.  Assembling taskblocks for control of discrete event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[3]  Alessandro Giua.  Petri net state estimators based on event observation , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[4]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[5]  D. Koenig,et al.  An original Petri net state estimation by a reduced Luenberger observer , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).