Localization of DES Supervisory Control with Respect to Each Controllable Event

Abstract

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.