Abstract:
Supervisor Reduction and Supervisor Localization are important techniques in the field of Supervisory Control Theory (SCT) that allow the implementation of supervisors fo...Show MoreMetadata
Abstract:
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.
Published in: 2021 American Control Conference (ACC)
Date of Conference: 25-28 May 2021
Date Added to IEEE Xplore: 28 July 2021
ISBN Information: