Modular control of discrete-event systems using similarity

We investigate modular supervisory control of discrete-event systems composed of several groups of components, where each group consists of similar modules. Because of the similar structures of the modules, such systems can be represented as a set of (group) templates. Supervisory control can then be performed on these templates, resulting in a set of template supervisors. We propose a modular approach to construct the template supervisors based on the local computation of supremal symmetric sublanguages and on the concept of conditional decomposability. The supremal symmetric sublanguage of a decomposable language turns out to be decomposable, and can thus be computed locally. It is proven that the local supervisors of the components of a group are similar and can thus be obtained by a symmetry map from the template supervisor of the group. ((C) 2022 Published by Elsevier Ltd.