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.