Local Modular Supervisory Control of Timed Discrete-Event Systems

This paper presents a local modular approach which reduces computational efforts in the synthesis of supervisors for timed discrete-event systems. We exploit the modularity commonly inherent to large scale systems, constructing local models that comprise only those parts of the system affected by the given specifications. Modular supervisors are then designed over these local models, and conditions are presented under which their concurrent action achieves nonblocking optimal global behavior.