Modular control of composed systems

Modular supervisory control of composed systems is investigated. The composed systems are discrete event systems represented by the composition of smaller subsystems. This paper refines the modular control by exploiting aspects of modularity of specifications and of plant, aiming to incorporate the least necessary number of sub-systems in each control module. Then, a more efficient approach to verify modularity and synthesize modular controllers for composed systems is formulated and illustrated by an example.