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.