On the existence of finite-state supervisors under partial observations. (English) Zbl 0891.93006

The author investigates discrete-event systems under partial observations and control specifications given by regular or nonregular languages. He shows the equivalence of observability of a control specification and the observability of its corresponding augmented language. Farther, he describes some properties of augmented languages of the given languages and gives necessary and sufficient conditions for the existence of a finite-state supervisor.
Reviewer: B.F.Šmarda (Brno)


93A13 Hierarchical systems
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93B07 Observability
Full Text: DOI