State Observer Synthesis for a Class of Condition Systems

Research output: Chapter in Book/Report/Conference proceedingChapter


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.
Original languageUndefined/Unknown
Title of host publicationDiscrete Event Systems: Analysis and Control
EditorsR. Boel, G. Stremersch
Place of PublicationBoston, MA
Number of pages10
StatePublished - 2000

Publication series

NameThe Springer International Series in Engineering and Computer Science book series (SECS)
PublisherKluwer Academic Publishers (Springer)


Dive into the research topics of 'State Observer Synthesis for a Class of Condition Systems'. Together they form a unique fingerprint.

Cite this