A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

Xiang Yin, Stéphane Lafortune. A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Automat. Contr., 61(8):2140-2154, 2016. [doi]

Abstract

Abstract is missing.