{"id":"https://openalex.org/W2102651988","doi":"https://doi.org/10.1007/s10626-007-0018-z","title":"Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence","display_name":"Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence","publication_year":2007,"publication_date":"2007-08-16","ids":{"openalex":"https://openalex.org/W2102651988","doi":"https://doi.org/10.1007/s10626-007-0018-z","mag":"2102651988"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-007-0018-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-007-0018-z","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://hdl.handle.net/10289/1992","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049855461","display_name":"Hugo Flordal","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Hugo Flordal","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009427975","display_name":"Robi Malik","orcid":"https://orcid.org/0000-0002-6118-8129"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Robi Malik","raw_affiliation_strings":["Department of Computer Science, University of Waikato, Hamilton, New Zealand","Department of Computer Science, University of Waikato, Hamilton, New zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Waikato, Hamilton, New Zealand","institution_ids":["https://openalex.org/I52179390"]},{"raw_affiliation_string":"Department of Computer Science, University of Waikato, Hamilton, New zealand","institution_ids":["https://openalex.org/I52179390"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017972835","display_name":"Martin Fabian","orcid":"https://orcid.org/0000-0003-1287-9748"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martin Fabian","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108805135","display_name":"Knut \u00c5kesson","orcid":"https://orcid.org/0000-0001-6105-2726"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Knut \u00c5kesson","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, 41296, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg, Sweden 41296#TAB#","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049855461"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":5.7797,"has_fulltext":true,"cited_by_count":82,"citation_normalized_percentile":{"value":0.96271736,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"17","issue":"4","first_page":"475","last_page":"504"},"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.9998000264167786,"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.9998000264167786,"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.9947999715805054,"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.989300012588501,"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.9065717458724976},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.8498483896255493},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6978363990783691},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6328899264335632},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5056109428405762},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45664024353027344},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4423123002052307},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41653960943222046},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33047014474868774},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32996559143066406},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3203408420085907},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23763880133628845},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1657654047012329},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.16291049122810364},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07740718126296997}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9065717458724976},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.8498483896255493},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6978363990783691},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6328899264335632},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5056109428405762},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45664024353027344},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4423123002052307},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41653960943222046},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33047014474868774},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32996559143066406},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3203408420085907},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23763880133628845},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1657654047012329},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.16291049122810364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07740718126296997},{"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10626-007-0018-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-007-0018-z","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/1992","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/1992","pdf_url":"https://hdl.handle.net/10289/1992","source":{"id":"https://openalex.org/S4306400944","display_name":"Research Commons (University of Waikato)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52179390","host_organization_name":"University of Waikato","host_organization_lineage":["https://openalex.org/I52179390"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.143.3755","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.3755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.waikato.ac.nz/~robi/papers/deds2007.pdf","raw_type":"text"},{"id":"pmh:oai:research.chalmers.se:67415","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/67415","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/1992","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/1992","pdf_url":"https://hdl.handle.net/10289/1992","source":{"id":"https://openalex.org/S4306400944","display_name":"Research Commons (University of Waikato)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52179390","host_organization_name":"University of Waikato","host_organization_lineage":["https://openalex.org/I52179390"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102651988.pdf","grobid_xml":"https://content.openalex.org/works/W2102651988.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W101029079","https://openalex.org/W334259169","https://openalex.org/W1503973138","https://openalex.org/W1554301460","https://openalex.org/W1587663028","https://openalex.org/W1796489698","https://openalex.org/W2016380948","https://openalex.org/W2035939251","https://openalex.org/W2059057465","https://openalex.org/W2062650147","https://openalex.org/W2096911030","https://openalex.org/W2098906570","https://openalex.org/W2112951648","https://openalex.org/W2130587077","https://openalex.org/W2132750992","https://openalex.org/W2132862824","https://openalex.org/W2133925698","https://openalex.org/W2157144873","https://openalex.org/W2912818154","https://openalex.org/W3022794709","https://openalex.org/W3144368627","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W46796605","https://openalex.org/W2333630979","https://openalex.org/W2325169597","https://openalex.org/W1502177156","https://openalex.org/W4309988904","https://openalex.org/W2070318121","https://openalex.org/W2331919730","https://openalex.org/W1964497242","https://openalex.org/W1966453684"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":9}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}