  In this paper we study multi-agent discrete-event systems where the agents
can be divided into several groups, and within each group the agents have
similar or identical state transition structures. We employ a relabeling map to
generate a "template structure" for each group, and synthesize a scalable
supervisor whose state size and computational process are independent of the
number of agents. This scalability allows the supervisor to remain invariant
(no recomputation or reconfiguration needed) if and when there are agents
removed due to failure or added for increasing productivity. The constant
computational effort for synthesizing the scalable supervisor also makes our
method promising for handling large-scale multi-agent systems. Moreover, based
on the scalable supervisor we design scalable local controllers, one for each
component agent, to establish a purely distributed control architecture. Three
examples are provided to illustrate our proposed scalable supervisory synthesis
and the resulting scalable supervisors as well as local controllers.
