{"id":"https://openalex.org/W4366453084","doi":"https://doi.org/10.1007/978-3-031-30820-8_6","title":"Eclipse ESCET\u2122: The Eclipse Supervisory Control Engineering Toolkit","display_name":"Eclipse ESCET\u2122: The Eclipse Supervisory Control Engineering Toolkit","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366453084","doi":"https://doi.org/10.1007/978-3-031-30820-8_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30820-8_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"W. J. Fokkink","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056947155","display_name":"Martijn A. Goorden","orcid":"https://orcid.org/0000-0002-0641-7240"},"institutions":[{"id":"https://openalex.org/I1299319934","display_name":"Rijksmuseum","ror":"https://ror.org/006wjwp03","country_code":"NL","type":"archive","lineage":["https://openalex.org/I1299319934"]},{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK","NL"],"is_corresponding":false,"raw_author_name":"M. A. Goorden","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark","Rijkswaterstaat, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Rijkswaterstaat, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I1299319934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082322839","display_name":"Dennis Hendriks","orcid":"https://orcid.org/0000-0002-9886-7918"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"D. Hendriks","raw_affiliation_strings":["Radboud University, Nijmegen, The Netherlands","TNO-ESI, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"TNO-ESI, Eindhoven, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017870274","display_name":"D.A. van Beek","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"D. A. van Beek","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013220391","display_name":"A.T. Hofkamp","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A. T. Hofkamp","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040185932","display_name":"F.F.H. Reijnen","orcid":"https://orcid.org/0000-0002-3965-8948"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F. F. H. Reijnen","raw_affiliation_strings":["Vanderlande Industries, Veghel, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderlande Industries, Veghel, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109643567","display_name":"L.F.P. Etman","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"L. F. P. Etman","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080864078","display_name":"L. Moormann","orcid":"https://orcid.org/0000-0002-1417-7988"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"L. Moormann","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006425812","display_name":"J.M. van de Mortel\u2010Fronczak","orcid":"https://orcid.org/0000-0002-1381-5132"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. M. van de Mortel-Fronczak","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"M. A. Reniers","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110217683","display_name":"J.E. Rooda","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. E. Rooda","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016241065","display_name":"L. J. van der Sanden","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. J. van der Sanden","raw_affiliation_strings":["TNO-ESI, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TNO-ESI, Eindhoven, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108655540","display_name":"R.R.H. Schiffelers","orcid":"https://orcid.org/0000-0002-3297-2969"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I927257375","display_name":"ASML (Netherlands)","ror":"https://ror.org/01vxknj13","country_code":"NL","type":"company","lineage":["https://openalex.org/I4210092504","https://openalex.org/I927257375"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"R. R. H. Schiffelers","raw_affiliation_strings":["ASML, Veldhoven, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ASML, Veldhoven, The Netherlands","institution_ids":["https://openalex.org/I927257375"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049724842","display_name":"Sander Thuijsman","orcid":"https://orcid.org/0000-0002-1628-8622"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"S. B. Thuijsman","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018624649","display_name":"J.J. Verbakel","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. J. Verbakel","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070545870","display_name":"J. A. Vogel","orcid":"https://orcid.org/0009-0002-9699-0952"},"institutions":[{"id":"https://openalex.org/I1299319934","display_name":"Rijksmuseum","ror":"https://ror.org/006wjwp03","country_code":"NL","type":"archive","lineage":["https://openalex.org/I1299319934"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. A. Vogel","raw_affiliation_strings":["Rijkswaterstaat, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rijkswaterstaat, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I1299319934"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":16,"corresponding_author_ids":["https://openalex.org/A5078610814"],"corresponding_institution_ids":["https://openalex.org/I83019370","https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.7308,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.96981481,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"44","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.911800742149353},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7902225255966187},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4230385422706604},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4059138894081116},{"id":"https://openalex.org/keywords/astronomy","display_name":"Astronomy","score":0.08160194754600525},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.04193809628486633}],"concepts":[{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.911800742149353},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7902225255966187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4230385422706604},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4059138894081116},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.08160194754600525},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.04193809628486633}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-031-30820-8_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/1dd0f4fd-94ff-4cb0-bc17-b8560fc9508d","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/1dd0f4fd-94ff-4cb0-bc17-b8560fc9508d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"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\u2122: 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\u201327, 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, TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 2023, 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","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1","pdf_url":"https://vbn.aau.dk/ws/files/513036289/2023TACAS.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fokkink, W, Goorden, M, Hendriks, D, van Beek, B, Hofkamp, A, Reijnen, F, Etman, P, Moormann, L, van de Mortel-Fronczak, J, Reniers, M A, Rooda, J, van der Sanden, B, Schiffelers, R, Thuijsman, S, Verbakel, J & Vogel, H 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\u201327, 2023, Proceedings, Part II. Springer, Lecture Notes in Computer Science, vol. LNCS 13994, pp. 44-52, 29th International Conference, TACAS 2023, , Paris, France, 22/04/2023. https://doi.org/10.1007/978-3-031-30820-8_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire/bd078015-7ed5-4216-a044-10927e862141","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/bd078015-7ed5-4216-a044-10927e862141","pdf_url":"https://pure.tue.nl/ws/files/298921556/978_3_031_30820_8_6_3_.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fokkink, W J, Goorden, M A, Hendriks, D, Beek, D A V, Hofkamp, A T, Reijnen, F F H, Etman, L F P, Moormann, L, Mortel-Fronczak, J M V D, Reniers, M A, Rooda, J E, Sanden, L J V D, Schiffelers, R R H, Thuijsman, S B, Verbakel, J J & Vogel, J A 2023, Eclipse ESCET\u2122 : 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 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, Springer, pp. 44-52, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30820-8_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/292384","is_oa":true,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/292384","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/292384/292384.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sankaranarayanan, S. (ed.), 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 2022, Paris, France, April 22\u201327, 2023, Proceedings, Part II, pp. 44-52","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:oai:research.vu.nl:publications/1dd0f4fd-94ff-4cb0-bc17-b8560fc9508d","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/1dd0f4fd-94ff-4cb0-bc17-b8560fc9508d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"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\u2122: 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\u201327, 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, TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 2023, 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","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/bd078015-7ed5-4216-a044-10927e862141","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/bd078015-7ed5-4216-a044-10927e862141","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"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 2022, Proceedings, 44 - 52","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30820-8_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366453084.pdf"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W1979349468","https://openalex.org/W2104927240","https://openalex.org/W2110924437","https://openalex.org/W2114556411","https://openalex.org/W2133419547","https://openalex.org/W2150336837","https://openalex.org/W2153113788","https://openalex.org/W2159433799","https://openalex.org/W2162150860","https://openalex.org/W2178572363","https://openalex.org/W2419824661","https://openalex.org/W2751621071","https://openalex.org/W2751906255","https://openalex.org/W2797780621","https://openalex.org/W2884934167","https://openalex.org/W2931334490","https://openalex.org/W2957467569","https://openalex.org/W2972725030","https://openalex.org/W3014830869","https://openalex.org/W3041295648","https://openalex.org/W3096681988","https://openalex.org/W3097073028","https://openalex.org/W3142959234","https://openalex.org/W3163006001","https://openalex.org/W3186894809","https://openalex.org/W3204056909","https://openalex.org/W3204558111","https://openalex.org/W4249751391","https://openalex.org/W4297325278","https://openalex.org/W4300021588","https://openalex.org/W6912948819"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W137217271","https://openalex.org/W91167106","https://openalex.org/W4407264785","https://openalex.org/W1492637474","https://openalex.org/W1809480526","https://openalex.org/W2952911668","https://openalex.org/W4250943967"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"Eclipse":[2],"Supervisory":[3],"Control":[4],"Engineering":[5],"Toolkit":[6],"(ESCET\u2122)":[7],"is":[8,52,84],"an":[9,98],"open-source":[10],"project":[11],"to":[12,44,94,126],"provide":[13],"a":[14,56],"model-based":[15,39],"approach":[16],"and":[17,71,82,92,118],"toolkit":[18,109],"for":[19,35,59,75],"developing":[20],"supervisory":[21,33,53,64],"controllers,":[22],"targeting":[23],"their":[24],"entire":[25],"engineering":[26,31,40],"process.":[27],"It":[28],"supports":[29],"synthesis-based":[30],"of":[32,63,79,107,113,131],"controllers":[34,65],"discrete-event":[36],"systems,":[37],"combining":[38],"with":[41,116,128],"computer-aided":[42],"design":[43],"automatically":[45],"generate":[46],"correct-by-construction":[47],"controllers.":[48],"At":[49],"its":[50,124,137],"heart":[51],"controller":[54],"synthesis,":[55],"formal":[57],"technique":[58],"the":[60,67,76,85,108,111,129],"automatic":[61],"derivation":[62],"from":[66],"unrestricted":[68],"system":[69,72],"behavior":[70],"requirements.":[73],"Vital":[74],"future":[77],"development":[78],"these":[80],"techniques":[81],"tools":[83],"ESCET":[86],"project\u2019s":[87],"open":[88],"environment,":[89],"allowing":[90],"industry":[91],"academia":[93],"collaborate":[95],"on":[96,103],"creating":[97],"industrial-strength":[99],"toolkit.":[100],"We":[101],"report":[102],"some":[104],"crucial":[105],"developments":[106],"in":[110],"context":[112],"research":[114],"projects":[115],"Rijkswaterstaat":[117],"ASML":[119],"that":[120],"have":[121],"considerably":[122],"improved":[123],"capability":[125],"deal":[127],"complexity":[130],"real-life":[132],"systems":[133],"as":[134,136],"well":[135],"usability.":[138]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2023-04-22T00:00:00"}