Local modular Supervisory Control of DES with distinguishers

Among the several extensions of Supervisory Control Theory, local modular control (LMC) is shown to be a computationally efficient approach for the synthesis of supervisors in composite Discrete Event Systems (DES) with multiple specifications. In the same way, the use of distinguishers is an approach that refines each event into a set representing specific instances of its occurrences. This new alphabet is chosen to make feasible the modeling of complex specifications. This paper shows that LMC and distinguishers can be combined in such a way that each modular supervisor can be computed locally either using the distinguishers or not whenever appropriate. Our main result shows that this combination leads to the same global behavior as the solution of the LMC with equivalent complex specifications in the non-refined alphabet. The contributions are illustrated in the context of a manufacturing line.