Local Modular Supervisory Control of Timed Discrete-Event Systems
Germano Schafaschek, Max Hering de Queiroz, José E.R. Cury · IEEE Transactions on Automatic Control · 2016
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.