화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.42, No.11, 1577-1581, 1997
On the Existence of Finite-State Supervisors Under Partial Observations
We consider discrete-event systems under partial observations. We show the equivalence of the (M, Sigma(c), L(G))-observability of a control specification and the (M, Sigma(c), Sigma*)-observability of its corresponding augmented language. We derive necessary and sufficient conditions for the existence of finite-state supervisors under partial observations.