Local Modular Control with Distinguishers applied to a Manufacturing System

Local Modular Control (LMC) is a decentralized method to synthesize supervisors for Discrete Event Systems (DES) and distinguishers define a design-oriented concept that allows to simplify specifications modeling. When associated with approximations, distinguishers can also reduce synthesis effort. In this paper, we show how to combine advantages from LMC, distinguishers and approximations, to solve DES control problems. The approach preserves controllability, nonblocking and least restrictiveness of supervisors, while providing important computational gains. Our contributions are applied to the control of a manufacturing system with material feedback.