Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems

We solve a maximally permissive modular similarity control problem in this letter. The composite system under consideration consists of multiple local subsystems, each of which is assigned a nondeterministic subspecification. For each subsystem, we synthesize a local supervisor using an existing method, so that the entire specification is modularly achieved in the sense that the supervised system is simulated by the specification. We provide a condition under which the same permissiveness as a maximally permissive monolithic supervisor can be achieved by these local supervisors.