Why event observation: observability revisited part I: state observation

摘要

This paper is one of the theoretical foundation for mixed signal CAT and diagnosis. In this paper. we revisit observability defined in Lin and Wonham (1998a). We show that although the original definition is intended for event observation with projection, its significance goes beyond its original intent. Specifically we show that (1) supervisory control with state observation can be studied in terms of event observation; (2) supervisory control problems with event mask can be converted to problems with event projection; and (3) nondeterminism is closely related to unobservability.