The Eclipse Supervisory Control Engineering Toolkit (ESCET™) 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’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.
CITATION STYLE
Fokkink, W. J., Goorden, M. A., Hendriks, D., van Beek, D. A., Hofkamp, A. T., Reijnen, F. F. H., … Vogel, J. A. (2023). Eclipse ESCETTM: The Eclipse Supervisory Control Engineering Toolkit. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13994 LNCS, pp. 44–52). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-30820-8_6
Mendeley helps you to discover research relevant for your work.