Synthesis-Based engineering of Supervisory Controllers with Eclipse ESCET

Abstract:
Supervisory controllers ensure the correct and safe operation of cyber-physical systems. Synthesis-based engineering (SBE) automates their design by combining model-based engineering withcomputer-aided design, allowing engineers to focus on system requirements rather than implementation. The Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-sourceproject where users, researchers, and tool vendors collaborate to support SBE, primarily through theCIF modeling language and tools. In this presentation, CIF’s symbolic supervisory controller synthesis algorithm is described on a high abstraction level, highlighting practical aspects such as preventing runtime errors, handling various requirements, and supporting input variables. Based on CIF’s benchmark models, a collection of 23 industrial and academic models, recent synthesis performance improvements between ESCET
versions v0.8 (December 2022) and v4.0 (June 2024) are presented. Lastly, it evaluates multi-level synthesis as a non-monolithic approach that enhances synthesis performance but still requires further advancements for complex models.

https://univr.zoom.us/my/quaglia