Localization of DES Supervisory Control with Event Reduction
For researchers in discrete-event systems, this is an incremental improvement to existing supervisor localization methods by adding event reduction.
This paper proposes a method for supervisor localization in discrete-event systems that achieves event reduction in each local controller compared to the reduced supervisor, reducing communication traffic between controllers. The method builds on prior state reduction techniques.
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.