{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T02:32:32Z","timestamp":1776911552003,"version":"3.51.2"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031308192","type":"print"},{"value":"9783031308208","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T00:00:00Z","timestamp":1681948800000},"content-version":"vor","delay-in-days":109,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The Eclipse Supervisory Control Engineering Toolkit (ESCET\u2122) 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\u2019s 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.<\/jats:p>","DOI":"10.1007\/978-3-031-30820-8_6","type":"book-chapter","created":{"date-parts":[[2023,4,19]],"date-time":"2023-04-19T19:02:36Z","timestamp":1681930956000},"page":"44-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Eclipse ESCET\u2122: The Eclipse Supervisory Control Engineering Toolkit"],"prefix":"10.1007","author":[{"given":"W. J.","family":"Fokkink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Goorden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Hendriks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. A.","family":"van Beek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. T.","family":"Hofkamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. F. H.","family":"Reijnen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. F. P.","family":"Etman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Moormann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. E.","family":"Rooda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. J.","family":"van der Sanden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. R. H.","family":"Schiffelers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. B.","family":"Thuijsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. J.","family":"Verbakel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Vogel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,4,20]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"van Beek, D.A., Fokkink, W.J., Hendriks, D., Hofkamp, A.T., Markovski, J., van\u00a0de Mortel-Fronczak, J.M., Reniers, M.A.: CIF 3: Model-based engineering of supervisory controllers. In: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS, vol.\u00a08413, pp. 575\u2013580. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_48","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Proc. 3rd Conference on the Quantitative Evaluation of Systems (QEST). pp. 125\u2013126. IEEE (2006). https:\/\/doi.org\/10.1109\/QEST.2006.59","DOI":"10.1109\/QEST.2006.59"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Bunte, O., Groote, J.F., Keiren, J.J.A., Laveaux, M., Neele, T., de\u00a0Vink, E.P., Wesselink, W., Wijs, A., Willemse, T.A.C.: The mCRL2 toolset for analysing concurrent systems - Improvements in expressivity and usability. In: Proc. 25th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS, vol. 11428, pp. 21\u201339. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_2","DOI":"10.1007\/978-3-030-17465-1_2"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Eclipse Foundation: Eclipse ESCET v0.7 for Linux (2022). https:\/\/doi.org\/10.5281\/zenodo.7296616","DOI":"10.5281\/zenodo.7296616"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Eppinger, S.D., Browning, T.R.: Design Structure Matrix Methods and Applications. MIT Press (2012).","DOI":"10.7551\/mitpress\/8896.001.0001"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Feng, L., Wonham, W.M.: TCT: A computation tool for supervisory control synthesis. In: Proc. 8th Workshop on Discrete Event Systems (WODES). pp. 388\u2013389. IEEE (2006). https:\/\/doi.org\/10.1109\/WODES.2006.382399","DOI":"10.1109\/WODES.2006.382399"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Fokkink, W.J., Goorden, M.A., van\u00a0de Mortel-Fronczak, J.M., Reijnen, F.F.H., Rooda, J.E.: Supervisor synthesis: Bridging theory and practice. Computer 55(10), 48\u201354 (2022). https:\/\/doi.org\/10.1109\/MC.2021.3134934","DOI":"10.1109\/MC.2021.3134934"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., van\u00a0de Mortel-Fronczak, J.M., Reniers, M.A., Fokkink, W.J., Rooda, J.E.: Structuring multilevel discrete-event systems with dependence structure matrices. IEEE Transactions on Automatic Control 65(4), 1625\u20131639 (2020). https:\/\/doi.org\/10.1109\/TAC.2019.2928119","DOI":"10.1109\/TAC.2019.2928119"},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Fabian, M., Fokkink, W.J., Rooda, J.E.: Model properties for efficient synthesis of nonblocking modular supervisors. Control Engineering Practice 112, 104830 (2021). https:\/\/doi.org\/10.1016\/j.conengprac.2021.104830","DOI":"10.1016\/j.conengprac.2021.104830"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Komenda, J., Masopust, T., van Schuppen, J.H.: Control of an engineering-structured multilevel discrete-event system. In: Proc. 13th Workshop on Discrete Event Systems (WODES). pp. 103\u2013108. IEEE (2016). https:\/\/doi.org\/10.1109\/WODES.2016.7497833","DOI":"10.1109\/WODES.2016.7497833"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Lousberg, S., Thuijsman, S.B., Reniers, M.A.: DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis. IFAC-PapersOnLine 53(4), 429\u2013436 (2020). https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.058","DOI":"10.1016\/j.ifacol.2021.04.058"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Malik, R., \u00c5kesson, K., Flordal, H., Fabian, M.: Supremica\u2013An efficient tool for large-scale discrete event systems. IFAC-PapersOnLine 50(1), 5794\u20135799 (2017). https:\/\/doi.org\/10.1016\/j.ifacol.2017.08.427","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Markovski, J., van Beek, D., Theunissen, R., Jacobs, K., Rooda, J.: A state-based framework for supervisory control synthesis and verification. In: Proc. 49th IEEE Conference on Decision and Control (CDC). pp. 3481\u20133486 (2010). https:\/\/doi.org\/10.1109\/CDC.2010.5717095","DOI":"10.1109\/CDC.2010.5717095"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"McMillan, K.L.: Symbolic Model Checking. Springer (1993). https:\/\/doi.org\/10.1007\/978-1-4615-3190-6","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Miremadi, S., \u00c5kesson, K., Lennartson, B.: Extraction and representation of a supervisor using guards in extended finite automata. In: Proc. 9th Workshop on Discrete Event Systems (WODES). pp. 193\u2013199. IEEE (2008). https:\/\/doi.org\/10.1109\/WODES.2008.4605944","DOI":"10.1109\/WODES.2008.4605944"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Moor, T., Schmidt, K., Perk, S.: libFAUDES \u2014 An open source C++ library for discrete event systems. In: Proc. 9th Workshop on Discrete Event Systems (WODES). pp. 125\u2013130. IEEE (2008). https:\/\/doi.org\/10.1109\/WODES.2008.4605933","DOI":"10.1109\/WODES.2008.4605933"},{"key":"6_CR17","unstructured":"Moormann, L., van Hegelsom, J., Maessen, P., van\u00a0de Mortel-Fronczak, J.M., Fokkink, W.J., Rooda, J.E.: Advantages of using digital twins in the validation of road tunnel supervisory controllers. In: Proc. ITA\/AITES World Tunnel Congress (WTC). pp. 573\u2013578 (2022)"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Moormann, L., van de Mortel-Fronczak, J.M., Fokkink, W.J., Maessen, P., Rooda, J.E.: Supervisory control synthesis for large-scale systems with isomorphisms. Control Engineering Practice 115, 104902 (2021). https:\/\/doi.org\/10.1016\/j.conengprac.2021.104902","DOI":"10.1016\/j.conengprac.2021.104902"},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Ouedraogo, L., Kumar, R., Malik, R., \u00c5kesson, K.: Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Transactions on Automation Science and Engineering 8(3), 560\u2013569 (2011). https:\/\/doi.org\/10.1109\/TASE.2011.2124457","DOI":"10.1109\/TASE.2011.2124457"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"van Putten, B.J.C., van\u00a0der Sanden, L.J., Reniers, M.A., Voeten, J.P.M., Schiffelers, R.R.H.: Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discrete Event Dynamic Systems 31, 103\u2013135 (2021). https:\/\/doi.org\/10.1007\/s10626-020-00325-x","DOI":"10.1007\/s10626-020-00325-x"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25(1), 206\u2013230 (1987). https:\/\/doi.org\/10.1137\/0325013","DOI":"10.1137\/0325013"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Reijnen, F.F.H., Goorden, M.A., van\u00a0de Mortel-Fronczak, J.M., Rooda, J.E.: Modeling for supervisor synthesis - a lock-bridge combination case study. Discret. Event Dyn. Syst. 30(3), 499\u2013532 (2020). https:\/\/doi.org\/10.1007\/s10626-020-00314-0","DOI":"10.1007\/s10626-020-00314-0"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Reijnen, F.F.H., Leliveld, E.B., van de Mortel-Fronczak, J.M., van Dinther, J., Rooda, J.E., Fokkink, W.J.: Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Computers in Industry 130, 103473 (2021). https:\/\/doi.org\/10.1016\/j.compind.2021.103473","DOI":"10.1016\/j.compind.2021.103473"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Reniers, M.A., van\u00a0de Mortel-Fronczak, J.M.: An engineering perspective on model-based design of supervisors. IFAC-PapersOnLine 51(7), 257\u2013264 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.310","DOI":"10.1016\/j.ifacol.2018.06.310"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Ricker, L., Lafortune, S., Genc, S.: DESUMA: A tool integrating GIDDES and UMDES. In: Proc. 8th Workshop on Discrete Event Systems (WODES). pp. 392\u2013393. IEEE (2006). https:\/\/doi.org\/10.1109\/WODES.2006.382402","DOI":"10.1109\/WODES.2006.382402"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"van\u00a0der Sanden, L.J., Blankenstein, Y., Schiffelers, R.R.H., Voeten, J.P.M.: LSAT: Specification and analysis of product logistics in flexible manufacturing systems. In: Proc. 17th Conference on Automation Science and Engineering (CASE). pp.\u00a01\u20138. IEEE (2021). https:\/\/doi.org\/10.1109\/CASE49439.2021.9551412","DOI":"10.1109\/CASE49439.2021.9551412"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"van\u00a0der Sanden, L.J., Reniers, M.A., Geilen, M.C.W., Basten, T., Jacobs, J., Voeten, J.P.M., Schiffelers, R.R.H.: Modular model-based supervisory controller design for wafer logistics in lithography machines. In: Proc. 18th Conference on Model Driven Engineering Languages and Systems (MODELS). pp. 416\u2013425. IEEE (2015). https:\/\/doi.org\/10.1109\/MODELS.2015.7338273","DOI":"10.1109\/MODELS.2015.7338273"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Schiffelers, R.R.H., van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E.: A hybrid language for modeling, simulation and verification. IFAC Proceedings Volumes 36(6), 199\u2013204 (2003). https:\/\/doi.org\/10.1016\/S1474-6670(17)36431-5","DOI":"10.1016\/S1474-6670(17)36431-5"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Swartjes, L., van Beek, D.A., Fokkink, W.J., van Eekelen, J.A.W.M.: Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78, 28\u201350 (2017). https:\/\/doi.org\/10.1016\/j.simpat.2017.08.005","DOI":"10.1016\/j.simpat.2017.08.005"},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Thuijsman, S.B., Hendriks, D., Theunissen, R., Reniers, M.A., Schiffelers, R.R.H.: Computational effort of bdd-based supervisor synthesis of extended finite automata. In: Proc. 15th International Conference on Automation Science and Engineering (CASE). pp. 486\u2013493 (2019). https:\/\/doi.org\/10.1109\/COASE.2019.8843327","DOI":"10.1109\/COASE.2019.8843327"},{"key":"6_CR31","doi-asserted-by":"publisher","unstructured":"Verbakel, J.J., Vos\u00a0de Wael, M.E.W., van\u00a0de Mortel-Fronczak, J.M., Fokkink, W.J., Rooda, J.E.: A configurator for supervisory controllers of roadside systems. In: Proc. 17th Conference on Automation Science and Engineering (CASE). pp. 784\u2013791. IEEE (2021). https:\/\/doi.org\/10.1109\/CASE49439.2021.9551485","DOI":"10.1109\/CASE49439.2021.9551485"},{"key":"6_CR32","doi-asserted-by":"publisher","unstructured":"Wilschut, T., Etman, L.F.P., Rooda, J.E., Adan, I.J.B.F.: Multilevel flow-based Markov clustering for design structure matrices. Journal of Mechanical Design 139(12) (2017). https:\/\/doi.org\/10.1115\/1.4037626","DOI":"10.1115\/1.4037626"},{"key":"6_CR33","doi-asserted-by":"publisher","unstructured":"Wonham, W.M., Cai, K., Rudie, K.: Supervisory control of discrete-event systems: A brief history. Annual Reviews in Control 45, 250\u2013256 (2018). https:\/\/doi.org\/10.1016\/j.arcontrol.2018.03.002","DOI":"10.1016\/j.arcontrol.2018.03.002"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-30820-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T11:03:05Z","timestamp":1690974185000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-30820-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031308192","9783031308208"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-30820-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"20 April 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 April 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2023\/tacas","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"169","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}