{"id":"https://openalex.org/W3213304710","doi":"https://doi.org/10.1007/s10626-021-00350-4","title":"Supervisory controller synthesis and implementation for safety PLCs","display_name":"Supervisory controller synthesis and implementation for safety PLCs","publication_year":2021,"publication_date":"2021-11-06","ids":{"openalex":"https://openalex.org/W3213304710","doi":"https://doi.org/10.1007/s10626-021-00350-4","mag":"3213304710"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-021-00350-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00350-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00350-4.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00350-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040185932","display_name":"F.F.H. Reijnen","orcid":"https://orcid.org/0000-0002-3965-8948"},"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":true,"raw_author_name":"Ferdie F. H. Reijnen","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-3965-8948","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017719746","display_name":"Toby R. Erens","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Toby R. Erens","raw_affiliation_strings":["Central Information Technology, Rijkswaterstaat, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Central Information Technology, Rijkswaterstaat, Delft, The Netherlands","institution_ids":[]}]},{"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":"Joanna M. van de Mortel-Fronczak","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110277322","display_name":"Jacobus 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":"Jacobus E. Rooda","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040185932"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":1.3381,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83426311,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":"32","issue":"1","first_page":"115","last_page":"141"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9730218648910522},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.774143636226654},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7539962530136108},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.6860733032226562},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6092871427536011},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6077504754066467},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.5711785554885864},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5568116903305054},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5470137000083923},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4992640018463135},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.4527561366558075},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3891354501247406},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3684878349304199},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14031323790550232},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09311747550964355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08109724521636963}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9730218648910522},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.774143636226654},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7539962530136108},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.6860733032226562},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6092871427536011},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6077504754066467},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5711785554885864},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5568116903305054},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5470137000083923},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4992640018463135},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.4527561366558075},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3891354501247406},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3684878349304199},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14031323790550232},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09311747550964355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08109724521636963},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10626-021-00350-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00350-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00350-4.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/8e14bcfa-b40d-4a9f-a517-cd9090eac6a5","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/8e14bcfa-b40d-4a9f-a517-cd9090eac6a5","pdf_url":"https://pure.tue.nl/ws/files/193326747/Reijnen2021_Article_SupervisoryControllerSynthesis.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reijnen, F F H, Erens, T R, van de Mortel-Fronczak, J M & Rooda, J E 2022, 'Supervisory controller synthesis and implementation for safety PLCs', Discrete Event Dynamic Systems, vol. 32, pp. 115-141. https://doi.org/10.1007/s10626-021-00350-4","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.tue.nl:publications/8e14bcfa-b40d-4a9f-a517-cd9090eac6a5","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85118564091&partnerID=8YFLogxK","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reijnen, F F H, Erens, T R, van de Mortel-Fronczak, J M & Rooda, J E 2022, 'Supervisory controller synthesis and implementation for safety PLCs', Discrete Event Dynamic Systems, vol. 32, pp. 115-141. https://doi.org/10.1007/s10626-021-00350-4","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/8e14bcfa-b40d-4a9f-a517-cd9090eac6a5","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/8e14bcfa-b40d-4a9f-a517-cd9090eac6a5","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Discrete Event Dynamic Systems, 32, 115 - 141. Springer","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10626-021-00350-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00350-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00350-4.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.46000000834465027}],"awards":[],"funders":[{"id":"https://openalex.org/F4320336768","display_name":"Rijkswaterstaat","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3213304710.pdf","grobid_xml":"https://content.openalex.org/works/W3213304710.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W322937049","https://openalex.org/W1587663028","https://openalex.org/W1979349468","https://openalex.org/W1981464892","https://openalex.org/W1990807783","https://openalex.org/W1995862561","https://openalex.org/W2006114742","https://openalex.org/W2039571573","https://openalex.org/W2060461359","https://openalex.org/W2088579149","https://openalex.org/W2104927240","https://openalex.org/W2107308368","https://openalex.org/W2110924437","https://openalex.org/W2114254072","https://openalex.org/W2115425820","https://openalex.org/W2119106833","https://openalex.org/W2122259599","https://openalex.org/W2140197499","https://openalex.org/W2150336837","https://openalex.org/W2162379766","https://openalex.org/W2172083724","https://openalex.org/W2404661817","https://openalex.org/W2484989244","https://openalex.org/W2509841691","https://openalex.org/W2600920262","https://openalex.org/W2751621071","https://openalex.org/W2884031686","https://openalex.org/W2899378454","https://openalex.org/W2973471694","https://openalex.org/W2974275827","https://openalex.org/W3003315136","https://openalex.org/W3006377524","https://openalex.org/W3014830869","https://openalex.org/W3109682750","https://openalex.org/W3163145894","https://openalex.org/W4288853474"],"related_works":["https://openalex.org/W2172083724","https://openalex.org/W4309988904","https://openalex.org/W4309989429","https://openalex.org/W2796405426","https://openalex.org/W3187776473","https://openalex.org/W2159706408","https://openalex.org/W3030151959","https://openalex.org/W2016380948","https://openalex.org/W3032915089","https://openalex.org/W1964497242"],"abstract_inverted_index":{"Abstract":[0],"The":[1,121,179],"development":[2,184],"of":[3,29,36,132,189],"supervisory":[4],"controllers":[5],"for":[6,52,62,118,150],"cyber-physical":[7],"systems":[8,64],"is":[9,50,110,129,144,169],"a":[10,23,27,34,56,98,102,108,115,130,159,166],"laborious":[11],"and":[12,101,154],"error-prone":[13],"process.":[14],"Supervisor":[15],"synthesis":[16],"enables":[17],"control":[18,38,194],"designers":[19],"to":[20,70,73,75,94,112,140,157,175,193],"automatically":[21,113],"synthesize":[22],"correct-by-construction":[24],"supervisor":[25,42,92,116,192],"from":[26],"model":[28,35,117,128],"the":[30,37,41,53,91,125,138,152,155,177,187,190,195],"plant":[31,127,153],"combined":[32],"with":[33],"requirements.":[39],"From":[40],"model,":[43],"controller":[44,59],"code":[45],"can":[46],"be":[47,95],"generated":[48],"which":[49,171],"suitable":[51],"implementation":[54,188],"on":[55,165],"programmable":[57],"logic":[58],"(PLC).":[60],"Supervisors":[61],"industrial":[63],"that":[65,124],"operate":[66],"in":[67],"close":[68],"proximity":[69],"humans":[71],"have":[72],"adhere":[74],"strict":[76],"safety":[77,83,103],"standards.":[78],"To":[79],"achieve":[80,158],"these":[81],"standards,":[82],"PLCs":[84],"(SPLCs)":[85],"are":[86,148],"used.":[87],"For":[88],"SPLC":[89],"implementation,":[90],"has":[93,172],"split":[96,114],"into":[97],"regular":[99],"part":[100],"part.":[104],"In":[105,135],"previous":[106],"work,":[107],"method":[109,122],"proposed":[111],"this":[119,136],"purpose.":[120],"assumes":[123],"provided":[126,149],"collection":[131],"finite":[133,142],"automata.":[134],"paper,":[137],"extension":[139],"extended":[141],"automata":[143],"described.":[145],"Additionally,":[146],"guidelines":[147],"modeling":[151],"requirements":[156],"favorable":[160],"splitting.":[161],"A":[162],"case":[163,180],"study":[164,181],"rotating":[167],"bridge":[168],"elaborated":[170],"been":[173],"used":[174],"validate":[176],"method.":[178],"spans":[182],"all":[183],"steps,":[185],"including":[186],"resulting":[191],"real":[196],"bridge.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":8},{"year":2022,"cited_by_count":2}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}