Towards Synthesis-Based Engineering for Cyber-Physical Production Systems

Wytse Oortwijn, Yuri Blankenstein, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Dennis Hendriks, Pierre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang

2025

Abstract

Supervisory control is a key part of Cyber-Physical Production Systems (CPPSs), to orchestrate all system resources to work together in a safe, correct, and optimal way. Engineering reliable supervisors for industrial CPPSs is highly challenging due to their complex nature. Synthesis-Based Engineering (SBE) is an engineering approach centered around supervisory controller synthesis, a technique for automatically computing correct-by-construction supervisors out of formal system requirements and plant models that describe unrestricted system behavior. Even though SBE may lead to higher degrees of automation and faster feedback cycles, SBE may be difficult to integrate into existing ways of working since it is different from traditional engineering. This article contributes a three-step approach to gradually introduce SBE in industrial settings. We are instantiating this approach in a research case together with ASML and VDL-ETG, by developing a proof-of-principle workflow. In this workflow, control is specified as UML activities, for which we contribute a formal execution semantics since that is missing in current practice. Moreover, we discuss design assistance provided in the workflow as well as its evaluation with domain experts. The domain experts see the value of automated design assistance and are willing to take further steps towards the adoption of SBE.

Paper Citation

in Harvard Style

Oortwijn W., Blankenstein Y., Hegge J., Hendriks D., Laar P., van der Sanden B., Veen L. and Yang N. (2025). Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 158-168. DOI: 10.5220/0013103300003896

in Bibtex Style

@conference{modelsward25,
author={Wytse Oortwijn and Yuri Blankenstein and Jos Hegge and Dennis Hendriks and Pierre Laar and Bram van der Sanden and Laura Veen and Nan Yang},
title={Towards Synthesis-Based Engineering for Cyber-Physical Production Systems},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={158-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013103300003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Towards Synthesis-Based Engineering for Cyber-Physical Production Systems
SN - 978-989-758-729-0
AU - Oortwijn W.
AU - Blankenstein Y.
AU - Hegge J.
AU - Hendriks D.
AU - Laar P.
AU - van der Sanden B.
AU - Veen L.
AU - Yang N.
PY - 2025
SP - 158
EP - 168
DO - 10.5220/0013103300003896
PB - SciTePress