IEEE Transactions on Automatic Control, Vol.62, No.2, 934-940, 2017
Local Modular Supervisory Control of Timed Discrete-Event Systems
This note presents a local approach for the modular supervisory control of timed discrete-event systems. Our modular supervisors are designed over local models, which are obtained by aggregating only the subsystems affected by each control specification. We establish necessary and sufficient conditions for nonblocking optimal global behavior. We also present a comparative analysis of the computational advantages and limitations of the proposed strategy.
Keywords:Composite systems;large-scale systems;modular control;supervisory control;timed discrete-event systems