Seminari - Dipartimento Informatica validi dal 30.06.2025 al 30.06.2026. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=6670 Relatore: Michel Reniers; Provenienza: Eindhoven University of Technology (TU/e), Computer Engineering; Data inizio: 2025-07-03; Ora inizio: 16.30; Note orario: Sala Verde (presenza ed on line); Referente interno: Davide Quaglia; Riassunto: 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 (ESCETtrade;) is an open-sourceproject where users, researchers, and tool vendors collaborate to support SBE, primarily through theCIF modeling language and tools. In this presentation, CIFrsquo;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 CIFrsquo;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 . Thu, 3 Jul 2025 16:30:00 +0200 https://www.di.univr.it/?ent=seminario&rss=0&id=6670