Distributed Supervisor Control for a Large‐Scale Waterway Lock System

In the present paper, a cyber-physical system, namely the WaterWay Lock (Lock III) in Tilburg, the Netherlands, will be studied. The discrete event model of the system, in the Ramadge Wonham framework, will be presented. The subsystems of the waterway lock system are the sensors and the actuators of the outgoing traffic lights, the incoming traffic lights, the gate paddles, the culverts, and the gates. The total number of the subsystems is fifty-two. The desired behavior of the systems will be expressed in the form of five rules and is formulated as one hundred and twelve supervisors derived by a general two-state supervisor form. This way, the implementation of the distributed control architecture is greatly facilitated.