Effective control synthesis for DES under partial observations

A procedure is given for the effective solution of an infinite-string supervisory control problem under partial observations, for the case where the plant and specification languages are represented by finite /spl omega/-automata (automata on infinite strings), and the observation mask by a finite Moore automaton. This solves an /spl omega/-language version of the standard centralized supervisory control problem under partial observations. It is shown that a natural extension to decentralized control is undecidable, even if the plant, the specification languages and the masks are represented by finite automata. This undecidability result carries over to the finite-string case.