Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

This paper discusses a method to distribute synthesized supervisor for implementation on multiple physical controllers. Dependency structure matrices are used determine distribution of system. The is then distributed accordingly, using an existing localization method. Communication delays between the components may affect its behavior, due changes in order events. Therefore, new delay-robustness check proposed and where needed mutex locks employed make delay robust. controller performance analyzed optimized through parameter study evaluation. In real-life case study, demonstrated by synthesizing, distributing, implementing, validating road tunnel. Note Practitioners —This article motivated desire bridge gap asynchronous, discrete-event, world supervisors synchronous, real-time, networked PLC main focus lies maintaining guarantees synthesis while taking into account all aspects real-time implementation, such as cycle-driven code execution communication delays.