@inbook{b4c8da3e168340c7810a756df8376074,
title = "State Observer Synthesis for a Class of Condition Systems",
abstract = "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.",
author = "Yu Gong and Holloway, {Lawrence E.}",
year = "2000",
doi = "10.1007/978-1-4615-4493-7_34",
language = "Undefined/Unknown",
isbn = "978-1-4615-4493-7",
series = "The Springer International Series in Engineering and Computer Science book series (SECS)",
publisher = "Kluwer Academic Publishers (Springer)",
pages = "327--336",
editor = "R. Boel and G. Stremersch",
booktitle = "Discrete Event Systems: Analysis and Control",
}