Koen Van Eldik

SBE configurator: A family model generation tool for
supervisory control synthesis

Bio: Koen van Eldik has a Master’s degree in Mechanical Engineering and works as an Advisor in Industrial Automation at Rijkswaterstaat. His work focuses on research and innovation in the field of industrial automation, with a particular emphasis on the application of Synthesis-based Engineering. Through his work, he explores how model-based and formal engineering approaches can contribute to the design, operation, and maintenance of infrastructure systems within Rijkswaterstaat.

A large number of ship locks in the Netherlands require renovation as they reach their end of life-cycle or do not adhere to the changing environment. These renovations imply the redesign of their control software. This paper explores the use of synthesis-based engineering (SBE) to achieve correct-by-construction supervisory controllers for these systems. To address the complexity and scale of this task, a configurator for SBE models is proposed, enabling the automated generation of controllers and model simulation based on mechanical parameters. The accompanying tool improves efficiency, quality, and reduces human error and is already in use for ship lock supervisors in Den Oever and Maasbracht. Although developed for ship locks, the structure of the tool is adaptable to support other families of systems.