화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.61, No.8, 2140-2154, 2016
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems