A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems | IEEE Journals & Magazine | IEEE Xplore