Correction to: Transformational supervisor synthesis for evolving systems

Sander Thuijsman; Michel Reniers

doi:10.1007/s10626-023-00384-w

Correction to: Transformational supervisor synthesis for evolving systems

Sander Thuijsman (Corresponding author), Michel Reniers (Corresponding author)

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

16 Downloads (Pure)

Abstract

The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.

Original language	English
Pages (from-to)	509-513
Number of pages	5
Journal	Discrete Event Dynamic Systems
Volume	33
Issue number	4
DOIs	https://doi.org/10.1007/s10626-023-00384-w
Publication status	Published - Dec 2023

Funding

Funders	Funder number
Electronic Components and Systems for European Leadership	826452

Keywords

Delta modeling
Discrete event systems
Software evolution
Software product line engineering
Supervisor synthesis
Supervisory control theory

Access to Document

10.1007/s10626-023-00384-w

pdfFinal published version, 192 KB

Cite this

@article{89332e9d877f4c1989ef67780b1a40cb,

title = "Correction to: Transformational supervisor synthesis for evolving systems",

abstract = "The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.",

keywords = "Delta modeling, Discrete event systems, Software evolution, Software product line engineering, Supervisor synthesis, Supervisory control theory",

author = "Sander Thuijsman and Michel Reniers",

year = "2023",

month = dec,

doi = "10.1007/s10626-023-00384-w",

language = "English",

volume = "33",

pages = "509--513",

journal = "Discrete Event Dynamic Systems",

issn = "0924-6703",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Correction to

T2 - Transformational supervisor synthesis for evolving systems

AU - Thuijsman, Sander

AU - Reniers, Michel

PY - 2023/12

Y1 - 2023/12

N2 - The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.

AB - The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.

KW - Delta modeling

KW - Discrete event systems

KW - Software evolution

KW - Software product line engineering

KW - Supervisor synthesis

KW - Supervisory control theory

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

U2 - 10.1007/s10626-023-00384-w

DO - 10.1007/s10626-023-00384-w

M3 - Article

AN - SCOPUS:85173107139

SN - 0924-6703

VL - 33

SP - 509

EP - 513

JO - Discrete Event Dynamic Systems

JF - Discrete Event Dynamic Systems

IS - 4

ER -

Correction to: Transformational supervisor synthesis for evolving systems

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Transformational supervisor synthesis for evolving systems

Cite this