Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems | IEEE Journals & Magazine | IEEE Xplore