On the Reduction and Localization of Synchronizing Supervisors

Supervisor Reduction and Supervisor Localization are important techniques in the field of Supervisory Control Theory (SCT) that allow the implementation of supervisors for large scale systems. Synchronizing Automata have properties that allow fault recovery and state estimation of the system. In this paper we show under which circumstances a monolithic supervisor that is synchronizing w.r.t. the initial state and obtained by the Supervisory Control Theory produces reduced and localized supervisors that are also synchronizing w.r.t. the initial state.

I. Introduction

The Supervisory Control Theory (SCT) deals with the problem of finding a structure called supervisor that limits the system in such a way that only the safe behavior is allowed. This supervisor, usually represented by an automaton, can be large, which, on one hand limits the size of the systems in which the SCT can be applied and, on the other hand, limits the type of hardware that can implement the supervisor logic.