  Supervisor localization procedure can be employed to construct local
controllers corresponding to component agents in discrete-event systems. The
proposed method in [11] is based on state reduction of a monolithic supervisor
with respect to each set of controllable events corresponding to each component
agent. A supervisor is localizable if state cardinality can be reduced from the
reduced supervisor to each local controller. Although event reduction is an
important property, the original supervisor localization procedure did not
guarantee event reduction in each local controller comparing to the reduced
supervisor. In this paper, we propose a method to localize a supervisor with
event reduction in each local controller comparing to the reduced supervisor.
State reduction facilitates the implementation of local controllers on
industrial systems, whereas event reduction reduces communication traffic
between each pair of local controllers.
