On Event Reduction in Localization of DES Supervisory Control

TL;DR

This paper investigates event reduction in supervisor localization for discrete-event systems, demonstrating that local controllers can have fewer events than the reduced supervisor, which improves communication efficiency.

Contribution

It proves that local controllers can have fewer events than the supervisor, enabling event reduction as a criterion for localizability instead of state reduction.

Findings

Local controllers have fewer events than the reduced supervisor.

Event reduction can evaluate localizability more efficiently.

Event reduction decreases communication traffic between controllers.

Abstract

Supervisor localization procedure can be used to construct local controllers corresponding to each component agent in discrete-event systems. This procedure is based on state reduction of a monolithic supervisor with respect to each set of controllable events corresponding to each component agent. State reduction from the reduced supervisor to each local controller is an important criterion. In this paper, we deal with event reduction. It is proved that the number of events in each local controller is less than the event cardinality in the reduced supervisor, provided that each local controller has less number of states comparing to the reduced supervisor. It shows that each local controller needs less number of events to make consistent decisions. Having this property, we can evaluate the localizability of a supervisor by event reduction criteria instead of state reduction criteria. State reduction facilitates the implementation of local controllers on industrial systems. Whereas, event reduction reduces communication traffic between each pair of local controllers.