Supervisory control of roadside units

A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks and accidents. Therefore, it is essential to have guarantees on the correctness of the roadside unit controller. Using supervisory control theory, a correct-by-construction supervisor is obtained from a model of the system and its requirements. From the supervisor model, a controller implementation can be obtained automatically.