Scholarlink

<p>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 Lelystad and Maasbracht. Although developed for ship locks, the structure of the tool is adaptable to support other families of systems.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

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

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年4月22日

查看全文
  • Marzhan Baubekova,
  • Koen van Eldik,
  • Joanna van de Mortel-Fronczak,
  • Wan Fokkink,
  • Jacobus Rooda

摘要

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 Lelystad and Maasbracht. Although developed for ship locks, the structure of the tool is adaptable to support other families of systems.