On the existence of finite-state supervisors under partialobservations

摘要

We consider discrete-event systems under partial observations. We show the equivalence of the (M, Σc, L(G))-observability of a control specification and the (M, Σc, Σ*)-observability of its corresponding augmented language. We derive necessary and sufficient conditions for the existence of finite-state supervisors under partial observations