화학공학소재연구정보센터
SIAM Journal on Control and Optimization, Vol.48, No.3, 1858-1887, 2009
EFFECTIVE CONTROL SYNTHESIS FOR PARTIALLY OBSERVED DISCRETE-EVENT SYSTEMS
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 omega-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.