{"id":"https://openalex.org/W2000873772","doi":"https://doi.org/10.1109/coase.2012.6386447","title":"Transition removal for compositional supervisor synthesis","display_name":"Transition removal for compositional supervisor synthesis","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2000873772","doi":"https://doi.org/10.1109/coase.2012.6386447","mag":"2000873772"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2012.6386447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 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://hdl.handle.net/10289/8092","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056156627","display_name":"Sahar Mohajerani","orcid":"https://orcid.org/0000-0002-9933-8946"},"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":"Sahar Mohajerani","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","[Dept. of Signals and systems, Chalmers University of Technology, Gothenburg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"[Dept. of Signals and systems, Chalmers University of Technology, Gothenburg, Sweden]","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"],"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":"last","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, Gothenburg, Sweden","[Dept. of Signals and systems, Chalmers University of Technology, Gothenburg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"[Dept. of Signals and systems, Chalmers University of Technology, Gothenburg, Sweden]","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056156627"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.08247832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"3299","issue":null,"first_page":"694","last_page":"699"},"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.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8104355335235596},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7902320027351379},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6934751868247986},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.6499800682067871},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6241579651832581},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6025801301002502},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.5643676519393921},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.5475574135780334},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5349164605140686},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.45416197180747986},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3973691761493683},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36537089943885803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33341777324676514},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19912374019622803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17099279165267944},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16614121198654175},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.10389697551727295},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08601561188697815},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.08094218373298645}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8104355335235596},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7902320027351379},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6934751868247986},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.6499800682067871},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6241579651832581},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6025801301002502},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.5643676519393921},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.5475574135780334},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5349164605140686},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.45416197180747986},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3973691761493683},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36537089943885803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33341777324676514},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19912374019622803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17099279165267944},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16614121198654175},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.10389697551727295},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08601561188697815},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.08094218373298645},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/coase.2012.6386447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/8092","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/8092","pdf_url":"https://hdl.handle.net/10289/8092","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":"Conference Contribution"},{"id":"pmh:oai:research.chalmers.se:165508","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/165508","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":""}],"best_oa_location":{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/8092","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/8092","pdf_url":"https://hdl.handle.net/10289/8092","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":"Conference Contribution"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2000873772.pdf","grobid_xml":"https://content.openalex.org/works/W2000873772.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1509482595","https://openalex.org/W1547703073","https://openalex.org/W1551752238","https://openalex.org/W2016140364","https://openalex.org/W2032229978","https://openalex.org/W2059057465","https://openalex.org/W2096469944","https://openalex.org/W2102651988","https://openalex.org/W2126086148","https://openalex.org/W2132862824","https://openalex.org/W2135254706","https://openalex.org/W2135348287","https://openalex.org/W2137467159","https://openalex.org/W2141112857","https://openalex.org/W2152522864","https://openalex.org/W2171773362","https://openalex.org/W2984582970","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W6630681799","https://openalex.org/W6632673298","https://openalex.org/W6632977905"],"related_works":["https://openalex.org/W4309684329","https://openalex.org/W3023544629","https://openalex.org/W2783183134","https://openalex.org/W2377713644","https://openalex.org/W2141327607","https://openalex.org/W1589881974","https://openalex.org/W2362494442","https://openalex.org/W2000873772","https://openalex.org/W1594627722","https://openalex.org/W3049105182"],"abstract_inverted_index":{"This":[0],"paper":[1],"investigates":[2],"under":[3],"which":[4,48],"conditions":[5],"transitions":[6],"can":[7],"be":[8],"removed":[9],"from":[10],"an":[11,74,103],"automaton":[12],"while":[13],"preserving":[14],"important":[15],"synthesis":[16,27,60],"properties.":[17],"The":[18,40],"work":[19],"is":[20,81],"part":[21],"of":[22,28,108],"a":[23,70],"framework":[24],"for":[25,35,42,111],"compositional":[26],"least":[29],"restrictive":[30],"controllable":[31,98],"and":[32,63,99,102],"nonblocking":[33],"supervisors":[34],"modular":[36],"discrete":[37],"event":[38],"systems.":[39],"method":[41,110],"transition":[43,57,80],"removal":[44,58],"complements":[45],"previous":[46],"results,":[47,91],"are":[49,61,66,94],"largely":[50],"focused":[51],"on":[52,89],"state":[53],"merging.":[54],"Issues":[55],"concerning":[56],"in":[59,85],"discussed,":[62],"redirection":[64],"maps":[65],"introduced":[67],"to":[68,72,96],"enable":[69],"supervisor":[71],"process":[73],"event,":[75],"even":[76],"though":[77],"the":[78,86,90,106,109],"corresponding":[79],"no":[82],"longer":[83],"present":[84],"model.":[87],"Based":[88],"different":[92],"techniques":[93],"proposed":[95],"remove":[97],"uncontrollable":[100],"transitions,":[101],"example":[104],"shows":[105],"potential":[107],"practical":[112],"problems.":[113]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}