Dear Eclipse ESCET community members and Synthesis-Based Engineering (SBE) enthusiasts, We hereby invite you all to the 4th Eclipse ESCET community meeting, continuing our successful series (see also links to minutes of previous community meetings at the bottom of this invite). The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project provides a model-based approach and toolkit for the development of supervisory controllers. It supports Synthesis-Based Engineering (SBE), an engineering approach to design and implement supervisory controllers that combines model-based engineering with computer-aided design to produce correct-by-construction controllers. Participation in this community meeting is free and open to all. A lot has happened since the 3rd community meeting. In this 4th community meeting, there will be presentations from various members of the community, including multiple organizations that will present at the community meeting for the first time, showing our growing community. You'll also be updated on new tool features, applications by and experiences from our users, as well as innovative research. Meeting details === * **Hybrid meeting** : The meeting is primarily a physical event, with the additional option for our international community members to join online. * **Physical meeting**: Rijkswaterstaat, Utrecht, The Netherlands. More information is shared later with those who register (see below). * **Date/time**: The meeting is on Thursday, October 29, 2026 * The main program is 10:00-16:30 (UTC+1). * There is the possibility to join an 'Introduction to SBE/ESCET' session prior to the main meeting, from 9:00-10:00 (UTC+1). This introduction will only take place if there is enough registrations for that particular session. Registration === If you want to join the meeting, please send an email to 'dennis [dot] hendriks [at] tno [dot] nl'. Replace '[dot]' by '.' and '[at]' by '@'. In your email, please indicate: 1. Your name (first and last name). 2. Your affiliation (organization you work for). 3. Whether you'll join physically or online (we prefer you join physically if possible). 4. Whether or not you'll join the introduction session. 5. Whether or not you'll join the main program. 6. If you join physically: * a) Whether you want to join the free lunch. * b) If you do join the lunch, please also indicate if you have any food restrictions, like allergies, we need to be aware of. The registration deadline is October 19, 2026. If you register after this day, we can no longer guarantee physical participation, lunch, etc. Preliminary agenda === *Introduction session* * 8:45-9:00 – **Walk-in** \ To ensure we can start the introduction session at 9:00, there is the possibility to arrive earlier for those that join physically. There is also opportunity for some early networking. * 9:00-10:00 – **Introduction to SBE/ESCET** \ Speaker: Dennis Hendriks (Eclipse ESCET project lead, TNO-ESI, Radboud University) \ In this introduction session before the main meeting, we'll introduce Synthesis-Based Engineering (SBE) and Eclipse ESCET. This session is primarily meant for those not yet familiar with SBE or Eclipse ESCET. \ ***NOTE**: This introduction session is subject to having enough registrations. If there are insufficient registrations, we may skip the introduction session.* *Main program* * 10:00-10:10 – **Walk-in/break** \ For those joining the introduction session, there will be a short break before the main program. For those only joining the main program, this break also allows you to arrive a bit earlier if you join physically, so that we can start on time. --- * 10:10-10:40 – **Welcome and Eclipse ESCET project updates** \ Speaker: Dennis Hendriks (Eclipse ESCET project lead, TNO-ESI, Radboud University) \ We start the main program with a word of welcome and various updates from the Eclipse ESCET project, including general news since the previous community meeting, new releases, new features, and the status of our ecosystem. * 10:40-11:00 – **Synthesis performance improvements** \ Speaker: Wytse Oortwijn (Eclipse ESCET committer, TNO-ESI) \ As with previous community meetings, this time we again improved synthesis performance. We'll explain what improvements have been released in Eclipse ESCET since the previous community meeting, and what next steps we're working on. * 11:00-11:20 – **ESCET at KienIA: is it a fit?** \ Speaker: Bas de Roos (KienIA) \ Within KienIA, ESCET has been applied in a case focused on a combined heat and power plant, where its strengths in formalization, simulation, and revealing complex system interactions became evident. At the same time, these experiences also show some misalignments between the ESCET and KienIA ways of working. * 11:20-11:40 – **Explainable control conditions through logic minimization** \ Speaker: Calvin Terpstra (Radboud University) \ Control conditions can be long and complex, especially when they result from synthesis, making it difficult for engineers to interpret or validate them. We propose a method to derive simplified conditions that provides a reduction of two orders of magnitude on average, where the portion of conditions of a readable size in our test set increases from about 30% to 80%. * 11:40-12:00 – **Poka Yoke project: integration of SBE into industrial workflows** \ Speaker: Andrea Peruffo (TNO-ESI) \ ASML, VDL-ETG and TNO-ESI jointly work on applying Synthesis-Based Engineering (SBE) to tackle the complexity of designing controllers for production systems, like the wafer handler of ASML's TWINSCAN system. We'll explain the aim and approach of the project, including updates since the last community meeting, such as how we extended UML activity synthesis from synthesizing single activities to synthesizing hierarchical activities. As the project comes to a close, we'll also reflect on achievements and lessons learned. --- * 12:00-13:00 – **Lunch** \ For those that join physically, there is a free lunch. --- * 13:00-13:20 – **Initial steps towards a model-based supervisory control system for nuclear fusion** \ Speaker: Matthijs van Berkel (DIFFER) \ Magnetic confinement fusion reactors require supervisory control systems to safely manage complex plasma behavior, hardware constraints, operating state transitions, and potential failures. While continuous plasma control has advanced considerably, supervisory controllers are still largely implemented as manually coded, rule-based systems. Our plan is to replace the current control system with a model-based supervisory control-based system using Eclipse ESCET. For this, we are developing a requirement generation tool and exploring data-driven plant automata as a first step towards such a design. * 13:20-13:40 – **Using Eclipse ESCET for renewing legacy PLC systems: experiences and pitfalls** \ Speaker: Mark Bouwman (Rijkswaterstaat) \ In a Rijkswaterstaat research project, we used ESCET's CIF language to model a large part of the Maeslant barrier's Locomobile sub-system. As input mainly consisted of existing PLC code without high-level requirements, we had to reverse engineer the intended behavior of the current control software. With limited access to domain experts, this largely involved translating sequential PLC code into CIF models, a challenging and error-prone task. We will reflect on applying CIF to large-scale safety-critical systems, share key lessons learned, and discuss how best to approach similar projects. * 13:40-14:00 – **SBE at VDL-ETG: a case-study on a cyber-physical production system.** \ Speaker: Dennis Arets (VDL-ETG) \ This talk presents an anonymized version of a VDL-ETG case study on applying Synthesis-Based Engineering with Eclipse ESCET/CIF to a cyber-physical production system. We share how we synthesized a supervisor, integrated generated code, and extended the model with timing information. --- * 14:00-14:30 – **Break** --- * 14:30-14:50 – **AI assisted machine control design in Cordis SUITE using supervisor synthesis** \ Speaker: Sander Thuijsman (Cordis) \ This presentation shows how Cordis SUITE can combine AI assisted model development with supervisor synthesis to support the design of reliable machine control software. We will discuss the workflow from Cordis models to CIF/ESCET synthesis and back, using synthesis results as feedback for safer controller models. * 14:50-15:10 – **Exploring ways of extending synthesis in CIF with stronger liveness guarantees** \ Speaker: Tom van Dijk (University of Twente) \ CIF data-based synthesis computes supervisory controllers with certain guarantees, including safety and non-blockingness. However, only weak liveness guarantees are provided at the moment, namely guarantees that certain states are always reachable (non-blockingness). In this presentation, we will discuss new reachability requirements recently added to CIF. We will also explore stronger liveness properties, which guarantee that certain system behaviors will eventually happen. Possible language extensions, synthesis techniques, and considerations will be discussed for specifying such liveness properties and providing liveness guarantees. * 15:10-15:30 – **Update on the application of SBE at Rijkswaterstaat for locks and bridges** \ Speaker: Koen van Eldik (Rijkswaterstaat) \ At Rijkswaterstaat, Synthesis-based Engineering is used to improve the quality, modularity, and time-to-market for the renovation of Locks and Bridges. In this presentation we will present how Rijkswaterstaat uses SBE in its workflow, what has changed since last year and what our future plans are. * 15:30-16:30 – **Networking** \ For those joining the meeting physically, there is the opportunity to stay after the meeting for further discussions and networking. We hope to see many of you in October! Minutes of previous Eclipse ESCET community meetings === * [Minutes of the 1st Eclipse ESCET community meeting](https://www.eclipse.org/lists/escet-dev/msg00338.html) * [Minutes of the 2nd Eclipse ESCET community meeting](#668) * [Minutes of the 3rd Eclipse ESCET community meeting](#1195)