{"id":"https://openalex.org/W4393227267","doi":"https://doi.org/10.1080/00207179.2024.2332518","title":"A new algorithm for supervisor reduction/localisation of discrete-event systems","display_name":"A new algorithm for supervisor reduction/localisation of discrete-event systems","publication_year":2024,"publication_date":"2024-03-27","ids":{"openalex":"https://openalex.org/W4393227267","doi":"https://doi.org/10.1080/00207179.2024.2332518"},"language":"en","primary_location":{"id":"doi:10.1080/00207179.2024.2332518","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2024.2332518","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-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/A5100323606","display_name":"Yingying Liu","orcid":"https://orcid.org/0009-0002-6833-9492"},"institutions":[{"id":"https://openalex.org/I4210132539","display_name":"Northwest Institute of Mechanical and Electrical Engineering","ror":"https://ror.org/03pz37k82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210132539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingying Liu","raw_affiliation_strings":["College of Information Engineering, Northwest A & F University","College of Information Engineering, Northwest A & F University, Xianyang, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Information Engineering, Northwest A & F University","institution_ids":[]},{"raw_affiliation_string":"College of Information Engineering, Northwest A & F University, Xianyang, People's Republic of China","institution_ids":["https://openalex.org/I4210132539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083719600","display_name":"Lihua Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I101479585","display_name":"South China Agricultural University","ror":"https://ror.org/05v9jqt67","country_code":"CN","type":"education","lineage":["https://openalex.org/I101479585"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lihua Wu","raw_affiliation_strings":["College of Mathematics and Informatics, South China Agricultural University","College of Mathematics and Informatics, South China Agricultural University, Guangzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Informatics, South China Agricultural University","institution_ids":["https://openalex.org/I101479585"]},{"raw_affiliation_string":"College of Mathematics and Informatics, South China Agricultural University, Guangzhou, People's Republic of China","institution_ids":["https://openalex.org/I101479585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101464174","display_name":"Renyuan Zhang","orcid":"https://orcid.org/0000-0002-4142-5166"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Renyuan Zhang","raw_affiliation_strings":["School of Automation, Northwestern Polytechnical University","School of Automation, Northwestern Polytechnical University, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Automation, Northwestern Polytechnical University","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"School of Automation, Northwestern Polytechnical University, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102595697","display_name":"Zhaojian Cai","orcid":null},"institutions":[{"id":"https://openalex.org/I4210092976","display_name":"Metropolitan University","ror":"https://ror.org/00ewfne71","country_code":"RS","type":"education","lineage":["https://openalex.org/I4210092976"]},{"id":"https://openalex.org/I4210142444","display_name":"Metropolitan University","ror":"https://ror.org/046np5693","country_code":"VE","type":"education","lineage":["https://openalex.org/I4210142444"]},{"id":"https://openalex.org/I4387152983","display_name":"Osaka Metropolitan University","ror":"https://ror.org/01hvx5h04","country_code":"JP","type":"education","lineage":["https://openalex.org/I4387152983"]},{"id":"https://openalex.org/I69740276","display_name":"Tokyo Metropolitan University","ror":"https://ror.org/00ws30h19","country_code":"JP","type":"education","lineage":["https://openalex.org/I69740276"]}],"countries":["JP","RS","VE"],"is_corresponding":false,"raw_author_name":"Zhaojian Cai","raw_affiliation_strings":["Department of Core Informatics, Osaka Metropolitan University","Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Core Informatics, Osaka Metropolitan University","institution_ids":["https://openalex.org/I4210142444","https://openalex.org/I4210092976"]},{"raw_affiliation_string":"Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan","institution_ids":["https://openalex.org/I69740276","https://openalex.org/I4387152983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036466435","display_name":"Kai Cai","orcid":"https://orcid.org/0000-0002-8784-0728"},"institutions":[{"id":"https://openalex.org/I4210092976","display_name":"Metropolitan University","ror":"https://ror.org/00ewfne71","country_code":"RS","type":"education","lineage":["https://openalex.org/I4210092976"]},{"id":"https://openalex.org/I4210142444","display_name":"Metropolitan University","ror":"https://ror.org/046np5693","country_code":"VE","type":"education","lineage":["https://openalex.org/I4210142444"]},{"id":"https://openalex.org/I4387152983","display_name":"Osaka Metropolitan University","ror":"https://ror.org/01hvx5h04","country_code":"JP","type":"education","lineage":["https://openalex.org/I4387152983"]},{"id":"https://openalex.org/I69740276","display_name":"Tokyo Metropolitan University","ror":"https://ror.org/00ws30h19","country_code":"JP","type":"education","lineage":["https://openalex.org/I69740276"]}],"countries":["JP","RS","VE"],"is_corresponding":true,"raw_author_name":"Kai Cai","raw_affiliation_strings":["Department of Core Informatics, Osaka Metropolitan University","Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Core Informatics, Osaka Metropolitan University","institution_ids":["https://openalex.org/I4210142444","https://openalex.org/I4210092976"]},{"raw_affiliation_string":"Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan","institution_ids":["https://openalex.org/I69740276","https://openalex.org/I4387152983"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5036466435"],"corresponding_institution_ids":["https://openalex.org/I4210092976","https://openalex.org/I4210142444","https://openalex.org/I4387152983","https://openalex.org/I69740276"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04885603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"98","issue":"2","first_page":"481","last_page":"491"},"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.9986000061035156,"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.9986000061035156,"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.993399977684021,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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.8507031202316284},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.727997362613678},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.664871871471405},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6577340364456177},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5058571696281433},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3665589690208435}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8507031202316284},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.727997362613678},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.664871871471405},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6577340364456177},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5058571696281433},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3665589690208435},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207179.2024.2332518","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2024.2332518","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G7575059360","display_name":"Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems","funder_award_id":"22KK0155","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1587663028","https://openalex.org/W1979349468","https://openalex.org/W1997577607","https://openalex.org/W2007737936","https://openalex.org/W2016380948","https://openalex.org/W2091149102","https://openalex.org/W2119106833","https://openalex.org/W2125503350","https://openalex.org/W2126295866","https://openalex.org/W2964292954","https://openalex.org/W3021960365","https://openalex.org/W3138285222","https://openalex.org/W3162737159","https://openalex.org/W3185504683","https://openalex.org/W4221151208","https://openalex.org/W4229031775","https://openalex.org/W4249866328","https://openalex.org/W4288853474","https://openalex.org/W4320164562"],"related_works":["https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2941808082","https://openalex.org/W2468425257","https://openalex.org/W4379086698","https://openalex.org/W2528721242","https://openalex.org/W4377009725","https://openalex.org/W4320164562","https://openalex.org/W2127190708","https://openalex.org/W2352590024"],"abstract_inverted_index":{"In":[0],"this":[1,106],"article,":[2],"we":[3],"propose":[4],"a":[5,39,43],"new":[6,36,93],"algorithm":[7,33,67,94,135],"for":[8],"supervisor":[9,26,113,139],"reduction/localisation":[10,16,114,140],"of":[11,22,24,91,103],"discrete-event":[12],"systems":[13],"(DES).":[14],"Supervisor":[15],"is":[17,95,99],"based":[18],"on":[19,112],"merging":[20],"pairs":[21,50],"states":[23],"the":[25,88,100,104,123,137],"that":[27,51,76,87],"are":[28],"control":[29,57,71],"consistent.":[30],"Our":[31],"proposed":[32,134],"employs":[34],"two":[35,64],"lists":[37],"\u2013":[38,46],"mergeable":[40],"list":[41,45],"and":[42,74,126,136],"non-mergeable":[44],"which":[47],"store":[48],"state":[49,78,101,129],"have":[52],"been":[53],"confirmed":[54],"to":[55,120],"be":[56,81],"consistent":[58],"or":[59],"inconsistent,":[60],"respectively.":[61],"With":[62],"these":[63],"lists,":[65],"our":[66,92,133],"eliminates":[68],"any":[69],"repeated":[70],"consistency":[72],"checks,":[73],"guarantees":[75],"every":[77],"pair":[79],"will":[80],"checked":[82],"exactly":[83],"once.":[84],"We":[85,116],"prove":[86],"time":[89,125],"complexity":[90],"O(n2),":[96],"where":[97],"n":[98],"number":[102,130],"supervisor;":[105],"improves":[107],"all":[108],"previously":[109],"known":[110],"results":[111],"algorithms.":[115,141],"employ":[117],"numerical":[118],"examples":[119],"empirically":[121],"compare":[122],"computation":[124],"local":[127],"controller's":[128],"obtained":[131],"by":[132],"original":[138]},"counts_by_year":[],"updated_date":"2026-06-14T06:11:07.267592","created_date":"2025-10-10T00:00:00"}