SBE configurator: A model generation tool for synthesis of ship lock supervisors

Marzhan M. Baubekova; Koen J. Van Eldik; Joanna M. Van De Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda

doi:10.1016/j.ifacol.2024.07.049

SBE configurator: A model generation tool for synthesis of ship lock supervisors

Marzhan M. Baubekova, Koen J. Van Eldik, Joanna M. Van De Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

A large number of ship locks in the Netherlands require renovation. This paper focuses on the application of the synthesis-based engineering (SBE) in the design of supervisory controllers for ship locks, to achieve correct-by-construction control software. A configurator for SBE models for supervisor synthesis is proposed, based on parameters describing the mechanical composition. The accompanying tool, which supports model simulation, demonstrates improvement in time, quality and human error avoidance, and is already being used in the design of ship lock supervisors in Lelystad and Maasbracht. The tool was designed for ship locks but the structure of the tool allows adaptation for other families of systems.

Original language	English
Pages (from-to)	288-293
Number of pages	6
Journal	IFAC-PapersOnLine
Volume	58
Issue number	1
Early online date	17 Jul 2024
DOIs	https://doi.org/10.1016/j.ifacol.2024.07.049
Publication status	Published - 2024
Event	17th IFAC Workshop on Discrete Event Systems, WODES 2024 - Rio de Janeiro, Brazil Duration: 29 Apr 2024 → 1 May 2024

Bibliographical note

Publisher Copyright:
Copyright © 2024 The Authors.

Keywords

discrete-event systems
finite automata
parametrization
simulation
supervisory control
template design

Access to Document

10.1016/j.ifacol.2024.07.049

Persistent URL (handle)

Copy link address

Cite this

@article{94dc17576e2141eb9e574b3e03983563,

title = "SBE configurator: A model generation tool for synthesis of ship lock supervisors",

abstract = "A large number of ship locks in the Netherlands require renovation. This paper focuses on the application of the synthesis-based engineering (SBE) in the design of supervisory controllers for ship locks, to achieve correct-by-construction control software. A configurator for SBE models for supervisor synthesis is proposed, based on parameters describing the mechanical composition. The accompanying tool, which supports model simulation, demonstrates improvement in time, quality and human error avoidance, and is already being used in the design of ship lock supervisors in Lelystad and Maasbracht. The tool was designed for ship locks but the structure of the tool allows adaptation for other families of systems.",

keywords = "discrete-event systems, finite automata, parametrization, simulation, supervisory control, template design",

author = "Baubekova, {Marzhan M.} and {Van Eldik}, {Koen J.} and {Van De Mortel-Fronczak}, {Joanna M.} and Fokkink, {Wan J.} and Rooda, {Jacobus E.}",

note = "Publisher Copyright: Copyright {\textcopyright} 2024 The Authors.; 17th IFAC Workshop on Discrete Event Systems, WODES 2024 ; Conference date: 29-04-2024 Through 01-05-2024",

year = "2024",

doi = "10.1016/j.ifacol.2024.07.049",

language = "English",

volume = "58",

pages = "288--293",

journal = "IFAC-PapersOnLine",

issn = "2405-8963",

publisher = "IFAC Secretariat",

number = "1",

}

TY - JOUR

T1 - SBE configurator

T2 - 17th IFAC Workshop on Discrete Event Systems, WODES 2024

AU - Baubekova, Marzhan M.

AU - Van Eldik, Koen J.

AU - Van De Mortel-Fronczak, Joanna M.

AU - Fokkink, Wan J.

AU - Rooda, Jacobus E.

PY - 2024

Y1 - 2024

N2 - A large number of ship locks in the Netherlands require renovation. This paper focuses on the application of the synthesis-based engineering (SBE) in the design of supervisory controllers for ship locks, to achieve correct-by-construction control software. A configurator for SBE models for supervisor synthesis is proposed, based on parameters describing the mechanical composition. The accompanying tool, which supports model simulation, demonstrates improvement in time, quality and human error avoidance, and is already being used in the design of ship lock supervisors in Lelystad and Maasbracht. The tool was designed for ship locks but the structure of the tool allows adaptation for other families of systems.

AB - A large number of ship locks in the Netherlands require renovation. This paper focuses on the application of the synthesis-based engineering (SBE) in the design of supervisory controllers for ship locks, to achieve correct-by-construction control software. A configurator for SBE models for supervisor synthesis is proposed, based on parameters describing the mechanical composition. The accompanying tool, which supports model simulation, demonstrates improvement in time, quality and human error avoidance, and is already being used in the design of ship lock supervisors in Lelystad and Maasbracht. The tool was designed for ship locks but the structure of the tool allows adaptation for other families of systems.

KW - discrete-event systems

KW - finite automata

KW - parametrization

KW - simulation

KW - supervisory control

KW - template design

UR - http://www.scopus.com/inward/record.url?scp=85199488767&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85199488767&partnerID=8YFLogxK

UR - https://www.sciencedirect.com/journal/ifac-papersonline/vol/58/issue/1

U2 - 10.1016/j.ifacol.2024.07.049

DO - 10.1016/j.ifacol.2024.07.049

M3 - Article

AN - SCOPUS:85199488767

SN - 2405-8963

VL - 58

SP - 288

EP - 293

JO - IFAC-PapersOnLine

JF - IFAC-PapersOnLine

IS - 1

Y2 - 29 April 2024 through 1 May 2024

ER -

SBE configurator: A model generation tool for synthesis of ship lock supervisors

Abstract

Bibliographical note

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this