@inproceedings{e49a6baa64684a2eb60cae470590d7a1,
title = "Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit",
abstract = "The Eclipse Supervisory Control Engineering Toolkit (ESCET{\texttrademark}) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project{\textquoteright}s open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijkswaterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.",
author = "Wan Fokkink and Martijn Goorden and Dennis Hendriks and {van Beek}, Bert and Albert Hofkamp and Ferdie Reijnen and Pascal Etman and Lars Moormann and {van de Mortel-Fronczak}, Joanna and M.A. Reniers and Jacobus Rooda and {van der Sanden}, Bram and Ramon Schiffelers and Sander Thuijsman and Jeroen Verbakel and Han Vogel",
year = "2023",
doi = "10.1007/978-3-031-30820-8_6",
language = "English",
isbn = "978-3-031-30819-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "44--52",
editor = "Sriram Sankaranarayanan and Natasha Sharygina",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
address = "Germany",
note = "29th International Conference, TACAS 2023, ; Conference date: 22-04-2023 Through 27-04-2023",
}