Control under partial observations is studied within the infinite-string supervisory control framework. It is shown that, provided that there are no pure liveness assumptions embodied in the plant model (technically, the ω-language generated by the plant is the limit of the finite-string language generated), the problem of synthesizing a centralized supervisor reduces to the case of complete observations; the result involves constructions similar to those used to “determinize” nondeterministic automata on infinite strings.
No takes yet. Share an insight, caveat, or question.
Thistle et al. (2009) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: