Title :
On the existence of finite-state supervisors under partial observations
Author :
Ushio, Toshimitsu
Author_Institution :
Dept. of Syst. & Human Sci., Osaka Univ., Japan
fDate :
11/1/1997 12:00:00 AM
Abstract :
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
Keywords :
discrete event systems; finite automata; formal languages; observability; (M, Σc, Σ*)-observability; (M, Σc, L(G))-observability; augmented language; control specification; discrete-event systems; finite-state supervisors; necessary and sufficient conditions; partial observations; Automatic control; Control systems; Delay effects; Delay estimation; Delay systems; Discrete event systems; Observers; Steady-state; Sufficient conditions; Vectors;
Journal_Title :
Automatic Control, IEEE Transactions on
