A configurator for supervisory controllers of roadside systems

Traffic management systems are used to efficiently use the available highway infrastructure and to improve traffic safety. For example, traffic on the Dutch highway is measured and controlled using around 6000 roadside units (RSUs). Despite the many similarities between these RSUs, variations exist in the number of components and configuration of an RSU. This results in a labor-intensive, error-prone design process of supervisory controllers for all possible configurations. In this paper, supervisory control theory is applied to RSUs. It allows designers to create a correct-by-construction supervisor, using models of the system and the control requirements. Due to the variations between RSUs, it is not feasible to make a model for each RSU individually. Therefore, a configurator is proposed which allows for generation of models for any given RSU configuration. The generated models are then used to create a supervisor that adheres to the specified requirements. The use of a configurator reduces the possibility of man-made errors and allows to easily create models for a large number of systems. As a proof of concept, a model for a representative RSU is generated.