Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
Dennis Hendriks, Michel Reniers, Wan Fokkink, Wytse Oortwijn

TL;DR
This paper reviews the Eclipse ESCET v4.0 toolkit for supervisory controller synthesis, detailing its algorithms, benchmark models, recent performance improvements, and exploring multi-level synthesis to enhance handling complex models.
Contribution
It provides a comprehensive description of CIF's synthesis algorithm, introduces benchmark models, evaluates recent performance improvements, and explores multi-level synthesis approaches.
Findings
CIF's synthesis algorithm includes practical features like runtime error prevention.
Benchmark models cover a wide range of industrial and academic cases.
Recent ESCET improvements significantly enhance synthesis performance.
Abstract
Supervisory controllers control cyber-physical systems to ensure their correct and safe operation. Synthesis-based engineering (SBE) is an approach to largely automate their design and implementation. SBE combines model-based engineering with computer-aided design, allowing engineers to focus on 'what' the system should do (the requirements) rather than 'how' it should do it (design and implementation). In the Eclipse Supervisory Control Engineering Toolkit (ESCET) open-source project, a community of users, researchers, and tool vendors jointly develop a toolkit to support the entire SBE process, particularly through the CIF modeling language and tools. In this paper, we first provide a description of CIF's symbolic supervisory controller synthesis algorithm, and thereby include aspects that are often omitted in the literature, but are of great practical relevance, such as the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Security and Verification in Computing · Real-Time Systems Scheduling
