{"id":"https://openalex.org/W3089738369","doi":"https://doi.org/10.1109/case48305.2020.9216953","title":"Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis","display_name":"Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis","publication_year":2020,"publication_date":"2020-08-01","ids":{"openalex":"https://openalex.org/W3089738369","doi":"https://doi.org/10.1109/case48305.2020.9216953","mag":"3089738369"},"language":"en","primary_location":{"id":"doi:10.1109/case48305.2020.9216953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case48305.2020.9216953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"L. Moormann","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, 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":["Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[{"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":false,"raw_author_name":"W.J. Fokkink","raw_affiliation_strings":["Department of Computer Sciences, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","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":["Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080864078"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62736806,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"659","last_page":"666"},"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.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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9937000274658203,"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/reduction","display_name":"Reduction (mathematics)","score":0.7851667404174805},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7388869524002075},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.7291271686553955},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6463442444801331},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5946484804153442},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5231215357780457},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.43211185932159424},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4267261028289795},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3885815739631653},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34228572249412537},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.30146145820617676},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19674423336982727},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11540734767913818}],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7851667404174805},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7388869524002075},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7291271686553955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6463442444801331},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5946484804153442},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5231215357780457},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.43211185932159424},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4267261028289795},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3885815739631653},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34228572249412537},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.30146145820617676},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19674423336982727},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11540734767913818},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/case48305.2020.9216953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case48305.2020.9216953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/3f1bab36-7288-490b-bfab-b9649154a455","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/3f1bab36-7288-490b-bfab-b9649154a455","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Moormann, L, van de Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2020, Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. in 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020., 9216953, Institute of Electrical and Electronics Engineers, pp. 659-666, 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, Hong Kong, 20/08/20. https://doi.org/10.1109/CASE48305.2020.9216953","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/3f1bab36-7288-490b-bfab-b9649154a455","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85094117260&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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Moormann, L, van de Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2020, Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. in 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020., 9216953, Institute of Electrical and Electronics Engineers, pp. 659-666, 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, Hong Kong, 20/08/20. https://doi.org/10.1109/CASE48305.2020.9216953","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/3f1bab36-7288-490b-bfab-b9649154a455","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/3f1bab36-7288-490b-bfab-b9649154a455","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020, 659 - 666","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:vu:oai:research.vu.nl:publications/0b42231b-dfc7-43ba-968e-2b1cbbc5e1aa","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/0b42231b-dfc7-43ba-968e-2b1cbbc5e1aa","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE): Proceedings, 659 - 666","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1554301460","https://openalex.org/W1587663028","https://openalex.org/W1972065960","https://openalex.org/W1979349468","https://openalex.org/W2030935018","https://openalex.org/W2059057465","https://openalex.org/W2077450865","https://openalex.org/W2101178868","https://openalex.org/W2106810189","https://openalex.org/W2110924437","https://openalex.org/W2136138373","https://openalex.org/W2150336837","https://openalex.org/W2162379766","https://openalex.org/W2479050047","https://openalex.org/W2761004518","https://openalex.org/W2804230136","https://openalex.org/W2971012351","https://openalex.org/W3041295648","https://openalex.org/W3162785869","https://openalex.org/W6683705326","https://openalex.org/W6767461289","https://openalex.org/W6795572852"],"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/W2070318121","https://openalex.org/W1964497242"],"abstract_inverted_index":{"Supervisor":[0],"synthesis":[1,23,53,71,161],"enables":[2],"the":[3,22,29,35,39,65,68,74,99,104,107,110,125,139,150],"design":[4,126],"of":[5,21,31,41,43,67,83,98,127,152,157],"supervisory":[6,129],"controllers":[7],"for":[8,15,63,86,131],"large":[9],"cyber-physical":[10,36],"systems,":[11],"with":[12,28],"high":[13],"guarantees":[14],"functionality":[16],"and":[17,38,78,109,145,160],"safety.":[18],"The":[19,80,115],"complexity":[20],"problem,":[24],"however,":[25],"increases":[26],"exponentially":[27],"number":[30,40],"system":[32,37,69,108],"components":[33,105],"in":[34,48,95,106,120,155],"models":[42],"this":[44,56,136],"system,":[45],"often":[46],"resulting":[47],"lengthy":[49],"or":[50],"even":[51],"unsolvable":[52],"procedures.":[54],"In":[55,135],"paper,":[57],"a":[58,121,128,132],"new":[59],"method":[60,81,117],"is":[61,118],"proposed":[62,116],"reducing":[64],"model":[66,87,140,153,158],"before":[70],"to":[72],"decrease":[73],"required":[75],"computational":[76],"time":[77],"effort.":[79],"consists":[82],"three":[84],"steps":[85,142],"reduction,":[88],"that":[89],"are":[90,143,147],"mainly":[91],"based":[92],"on":[93,124,149],"symmetry":[94],"dependency":[96],"graphs":[97,102],"system.":[100],"Dependency":[101],"visualize":[103],"relations":[111],"between":[112],"these":[113],"components.":[114],"applied":[119],"case":[122,137],"study":[123],"controller":[130],"road":[133],"tunnel.":[134],"study,":[138],"reduction":[141,154],"described,":[144],"results":[146],"shown":[148],"effectiveness":[151],"terms":[156],"size":[159],"time.":[162]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}