Localization of DES Supervisory Control with Event Reduction

TL;DR

This paper introduces a supervisor localization method for discrete-event systems that ensures event reduction in local controllers, thereby simplifying implementation and reducing communication overhead.

Contribution

It proposes a novel localization approach that guarantees event reduction in local controllers relative to the reduced supervisor, improving efficiency.

Findings

Ensures event reduction in local controllers compared to the reduced supervisor.

Facilitates industrial system implementation through state reduction.

Reduces communication traffic between local controllers.

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.