Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

W. J. Fokkink; M. A. Goorden; D. Hendriks; D. A. van Beek; A. T. Hofkamp; F. F.H. Reijnen; L. F.P. Etman; L. Moormann; J. M. van de Mortel-Fronczak; M. A. Reniers; J. E. Rooda; L. J. van der Sanden; R. R.H. Schiffelers; S. B. Thuijsman; J. J. Verbakel; J. A. Vogel

doi:10.1007/978-3-031-30820-8_6

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

W. J. Fokkink^*, M. A. Goorden, D. Hendriks, D. A. van Beek, A. T. Hofkamp, F. F.H. Reijnen, L. F.P. Etman, L. Moormann, J. M. van de Mortel-Fronczak, M. A. Reniers, J. E. Rooda, L. J. van der Sanden, R. R.H. Schiffelers, S. B. Thuijsman, J. J. Verbakel, J. A. Vogel

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
Editors	Sriram Sankaranarayanan, Natasha Sharygina
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	44-52
Number of pages	9
Volume	2
ISBN (Electronic)	9783031308208
ISBN (Print)	9783031308192
DOIs	https://doi.org/10.1007/978-3-031-30820-8_6
Publication status	Published - 2023
Event	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13994 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23

Bibliographical note

Publisher Copyright:
© 2023, The Author(s).

Access to Document

10.1007/978-3-031-30820-8_6

Persistent URL (handle)

Copy link address

Cite this

Fokkink, W. J., Goorden, M. A., Hendriks, D., van Beek, D. A., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., van de Mortel-Fronczak, J. M., Reniers, M. A., Rooda, J. E., van der Sanden, L. J., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J., & Vogel, J. A. (2023). Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. In S. Sankaranarayanan, & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (Vol. 2, pp. 44-52). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-30820-8_6

Fokkink, W. J. ; Goorden, M. A. ; Hendriks, D. et al. / Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. editor / Sriram Sankaranarayanan ; Natasha Sharygina. Vol. 2 Springer Science and Business Media Deutschland GmbH, 2023. pp. 44-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1dd0f4fd94ff4cb0bc17b8560fc9508d,

title = "Eclipse ESCET{\texttrademark}: 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 = "Fokkink, {W. J.} and Goorden, {M. A.} and D. Hendriks and {van Beek}, {D. A.} and Hofkamp, {A. T.} and Reijnen, {F. F.H.} and Etman, {L. F.P.} and L. Moormann and {van de Mortel-Fronczak}, {J. M.} and Reniers, {M. A.} and Rooda, {J. E.} and {van der Sanden}, {L. J.} and Schiffelers, {R. R.H.} and Thuijsman, {S. B.} and Verbakel, {J. J.} and Vogel, {J. A.}",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).; 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

doi = "10.1007/978-3-031-30820-8_6",

language = "English",

isbn = "9783031308192",

volume = "2",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "44--52",

editor = "Sriram Sankaranarayanan and Natasha Sharygina",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

}

Fokkink, WJ, Goorden, MA, Hendriks, D, van Beek, DA, Hofkamp, AT, Reijnen, FFH, Etman, LFP, Moormann, L, van de Mortel-Fronczak, JM, Reniers, MA, Rooda, JE, van der Sanden, LJ, Schiffelers, RRH, Thuijsman, SB, Verbakel, JJ & Vogel, JA 2023, Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 44-52, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30820-8_6

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. / Fokkink, W. J.; Goorden, M. A.; Hendriks, D. et al.
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. ed. / Sriram Sankaranarayanan; Natasha Sharygina. Vol. 2 Springer Science and Business Media Deutschland GmbH, 2023. p. 44-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

AU - Fokkink, W. J.

AU - Goorden, M. A.

AU - Hendriks, D.

AU - van Beek, D. A.

AU - Hofkamp, A. T.

AU - Reijnen, F. F.H.

AU - Etman, L. F.P.

AU - Moormann, L.

AU - van de Mortel-Fronczak, J. M.

AU - Reniers, M. A.

AU - Rooda, J. E.

AU - van der Sanden, L. J.

AU - Schiffelers, R. R.H.

AU - Thuijsman, S. B.

AU - Verbakel, J. J.

AU - Vogel, J. A.

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85161450016&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85161450016&partnerID=8YFLogxK

UR - https://link.springer.com/book/10.1007/978-3-031-30820-8

U2 - 10.1007/978-3-031-30820-8_6

DO - 10.1007/978-3-031-30820-8_6

M3 - Conference contribution

AN - SCOPUS:85161450016

SN - 9783031308192

VL - 2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 44

EP - 52

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Sankaranarayanan, Sriram

A2 - Sharygina, Natasha

PB - Springer Science and Business Media Deutschland GmbH

T2 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Fokkink WJ, Goorden MA, Hendriks D, van Beek DA, Hofkamp AT, Reijnen FFH et al. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. In Sankaranarayanan S, Sharygina N, editors, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Vol. 2. Springer Science and Business Media Deutschland GmbH. 2023. p. 44-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2023 Apr 20. doi: 10.1007/978-3-031-30820-8_6

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this