{"id":"https://openalex.org/W3204425709","doi":"https://doi.org/10.1109/case49439.2021.9551593","title":"Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis","display_name":"Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis","publication_year":2021,"publication_date":"2021-08-23","ids":{"openalex":"https://openalex.org/W3204425709","doi":"https://doi.org/10.1109/case49439.2021.9551593","mag":"3204425709"},"language":"en","primary_location":{"id":"doi:10.1109/case49439.2021.9551593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case49439.2021.9551593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Sander Thuijsman","raw_affiliation_strings":["Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, 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":"Michel Reniers","raw_affiliation_strings":["Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082322839","display_name":"Dennis Hendriks","orcid":"https://orcid.org/0000-0002-9886-7918"},"institutions":[{"id":"https://openalex.org/I4210156185","display_name":"Digital Heritage Netherlands","ror":"https://ror.org/055622428","country_code":"NL","type":"other","lineage":["https://openalex.org/I4210156185"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dennis Hendriks","raw_affiliation_strings":["Dennis Hendriks is with ESI (TNO),Eindhoven,The Netherlands","Dennis Hendriks is with ESI (TNO), Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Dennis Hendriks is with ESI (TNO),Eindhoven,The Netherlands","institution_ids":["https://openalex.org/I4210156185"]},{"raw_affiliation_string":"Dennis Hendriks is with ESI (TNO), Eindhoven, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049724842"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.4439,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68043005,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"777","last_page":"783"},"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.9997000098228455,"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.9997000098228455,"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.9994999766349792,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.936948299407959},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.7584202885627747},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6568796634674072},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6375543475151062},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5844988822937012},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4468056261539459},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4373611509799957},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43463119864463806},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.41153228282928467},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.29925036430358887},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2441614270210266},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22095265984535217},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1299205720424652}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.936948299407959},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.7584202885627747},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6568796634674072},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6375543475151062},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5844988822937012},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4468056261539459},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4373611509799957},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43463119864463806},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.41153228282928467},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.29925036430358887},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2441614270210266},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22095265984535217},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1299205720424652},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/case49439.2021.9551593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case49439.2021.9551593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/d0994b80-5a50-4f42-8218-b50d6ca8a29e","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Thuijsman, S B, Reniers, M A & Hendriks, D 2021, Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. in 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021., 9551593, Institute of Electrical and Electronics Engineers, pp. 777-783, 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, 23/08/21. https://doi.org/10.1109/CASE49439.2021.9551593","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/document/9551593","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":"Thuijsman, S B, Reniers, M A & Hendriks, D 2021, Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. in 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021., 9551593, Institute of Electrical and Electronics Engineers, pp. 777-783, 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, 23/08/21. https://doi.org/10.1109/CASE49439.2021.9551593","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021, 777 - 783","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/d0994b80-5a50-4f42-8218-b50d6ca8a29e","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/d0994b80-5a50-4f42-8218-b50d6ca8a29e","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Thuijsman, S B, Reniers, M A & Hendriks, D 2021, Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. in 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021., 9551593, Institute of Electrical and Electronics Engineers, pp. 777-783, 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, 23/08/21. https://doi.org/10.1109/CASE49439.2021.9551593","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.7799999713897705,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W272987332","https://openalex.org/W1683908335","https://openalex.org/W1973417083","https://openalex.org/W1979349468","https://openalex.org/W1994143452","https://openalex.org/W2030224590","https://openalex.org/W2099251677","https://openalex.org/W2110924437","https://openalex.org/W2112964545","https://openalex.org/W2122259599","https://openalex.org/W2136138373","https://openalex.org/W2138399311","https://openalex.org/W2141358253","https://openalex.org/W2146663969","https://openalex.org/W2150336837","https://openalex.org/W2153096776","https://openalex.org/W2165335491","https://openalex.org/W2509841691","https://openalex.org/W2751621071","https://openalex.org/W2797780621","https://openalex.org/W2972725030","https://openalex.org/W3014830869","https://openalex.org/W3097073028","https://openalex.org/W3150270915","https://openalex.org/W4214749219","https://openalex.org/W4248699123"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W46796605","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2112963513","https://openalex.org/W2070318121"],"abstract_inverted_index":{"Given":[0],"a":[1,8,11,70],"model":[2],"of":[3,41,52,97,105],"an":[4,106],"uncontrolled":[5],"system":[6,20],"and":[7,108],"requirement":[9],"specification,":[10],"supervisory":[12],"controller":[13],"can":[14,37],"be":[15,38,59],"synthesized":[16],"so":[17],"that":[18],"the":[19,25,53,93,98],"under":[21],"control":[22],"adheres":[23],"to":[24,72,91],"requirements.":[26,48],"There":[27],"are":[28,66,89],"several":[29],"ways":[30],"in":[31,77],"which":[32,42],"informal":[33],"behavioral":[34],"safety":[35],"requirements":[36,65,76],"formalized,":[39],"one":[40],"is":[43,101],"using":[44],"mutual":[45,62],"state":[46,63],"exclusion":[47,64],"In":[49],"current":[50],"implementations":[51],"supervisor":[54,78,83],"synthesis":[55,57],"algorithm,":[56],"may":[58],"inefficient":[60],"when":[61],"used.":[67],"We":[68,80],"propose":[69],"method":[71,100],"efficiently":[73],"enforce":[74],"these":[75],"synthesis.":[79],"consider":[81],"symbolic":[82],"synthesis,":[84],"where":[85],"Binary":[86],"Decision":[87],"Diagrams":[88],"used":[90],"represent":[92],"system.":[94],"The":[95],"efficiency":[96],"proposed":[99],"evaluated":[102],"by":[103],"means":[104],"industrial":[107],"academic":[109],"case":[110],"study.":[111]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}