{"id":"https://openalex.org/W3049050118","doi":"https://doi.org/10.1080/00207721.2020.1803440","title":"Coordinated corrective control for model matching of asynchronous sequential machines","display_name":"Coordinated corrective control for model matching of asynchronous sequential machines","publication_year":2020,"publication_date":"2020-08-13","ids":{"openalex":"https://openalex.org/W3049050118","doi":"https://doi.org/10.1080/00207721.2020.1803440","mag":"3049050118"},"language":"en","primary_location":{"id":"doi:10.1080/00207721.2020.1803440","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207721.2020.1803440","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"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 Systems Science","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/A5007407612","display_name":"Jung\u2013Min Yang","orcid":"https://orcid.org/0000-0003-1743-1061"},"institutions":[{"id":"https://openalex.org/I31419693","display_name":"Kyungpook National University","ror":"https://ror.org/040c17130","country_code":"KR","type":"education","lineage":["https://openalex.org/I31419693"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jung-Min Yang","raw_affiliation_strings":["School of Electronics Engineering, Kyungpook National University, Daegu, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-1743-1061","affiliations":[{"raw_affiliation_string":"School of Electronics Engineering, Kyungpook National University, Daegu, Republic of Korea","institution_ids":["https://openalex.org/I31419693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100720909","display_name":"Dong\u2010Eun Lee","orcid":"https://orcid.org/0000-0001-9205-3836"},"institutions":[{"id":"https://openalex.org/I31419693","display_name":"Kyungpook National University","ror":"https://ror.org/040c17130","country_code":"KR","type":"education","lineage":["https://openalex.org/I31419693"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Dong-Eun Lee","raw_affiliation_strings":["School of Architecture and Civil Engineering, Kyungpook National University, Daegu, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0001-9205-3836","affiliations":[{"raw_affiliation_string":"School of Architecture and Civil Engineering, Kyungpook National University, Daegu, Republic of Korea","institution_ids":["https://openalex.org/I31419693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100746884","display_name":"Seong\u2010Jin Park","orcid":"https://orcid.org/0000-0001-6410-4675"},"institutions":[{"id":"https://openalex.org/I57664883","display_name":"Ajou University","ror":"https://ror.org/03tzb2h73","country_code":"KR","type":"education","lineage":["https://openalex.org/I57664883"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Seong-Jin Park","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Ajou University, Suwon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Ajou University, Suwon, Republic of Korea","institution_ids":["https://openalex.org/I57664883"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100746884"],"corresponding_institution_ids":["https://openalex.org/I57664883"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13353057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"15","first_page":"2899","last_page":"2908"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.849058985710144},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6928985118865967},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6653850674629211},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.6501451730728149},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6370349526405334},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6045193076133728},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5889595746994019},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.5501081943511963},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5041650533676147},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5000569820404053},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4355047941207886},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24703606963157654},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20438921451568604},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17378771305084229},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15081515908241272}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.849058985710144},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6928985118865967},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6653850674629211},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6501451730728149},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6370349526405334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6045193076133728},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5889595746994019},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5501081943511963},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5041650533676147},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5000569820404053},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4355047941207886},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24703606963157654},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20438921451568604},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17378771305084229},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15081515908241272},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/00207721.2020.1803440","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207721.2020.1803440","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"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 Systems Science","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:taf:tsysxx:v:51:y:2020:i:15:p:2899-2908","is_oa":false,"landing_page_url":"http://hdl.handle.net/10.1080/00207721.2020.1803440","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2865477419","display_name":null,"funder_award_id":"NRF-2019R1F1A1060024","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G504968131","display_name":null,"funder_award_id":"NRF-2018R1A5A1025137","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G8844455678","display_name":null,"funder_award_id":"NRF-2018R1D1A1A09082016","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320321408","display_name":"Ministry of Education","ror":"https://ror.org/01p262204"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1543281322","https://openalex.org/W1545603538","https://openalex.org/W1971318969","https://openalex.org/W1991940429","https://openalex.org/W1998083885","https://openalex.org/W2038331462","https://openalex.org/W2043589980","https://openalex.org/W2044768295","https://openalex.org/W2072382350","https://openalex.org/W2074559904","https://openalex.org/W2120894710","https://openalex.org/W2134588629","https://openalex.org/W2282392199","https://openalex.org/W2487142227","https://openalex.org/W2509841691","https://openalex.org/W2620076235","https://openalex.org/W2891146638","https://openalex.org/W2998303255","https://openalex.org/W4206318793"],"related_works":["https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W4321471459","https://openalex.org/W4221156924","https://openalex.org/W2380814829"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"coordinated":[3,71,99],"corrective":[4,100],"control":[5,72,101],"of":[6,14,35,51,57,65,70],"input/state":[7],"asynchronous":[8],"sequential":[9],"machines":[10],"(ASMs).":[11],"The":[12],"states":[13,44],"the":[15,48,52,68,75,86,97],"considered":[16],"ASM":[17],"are":[18],"physically":[19],"or":[20],"logically":[21],"separated":[22],"to":[23,42,46,55,95],"which":[24],"complete":[25],"observation":[26],"by":[27],"a":[28,58],"single":[29],"controller":[30],"is":[31,93],"impossible.":[32],"A":[33],"number":[34],"local":[36,43,82],"dynamic":[37],"controllers":[38,83],"that":[39,56,84],"have":[40],"access":[41],"cooperate":[45],"match":[47],"stable-state":[49],"behaviour":[50],"closed-loop":[53],"system":[54],"reference":[59],"model.":[60],"We":[61],"investigate":[62],"reachability":[63],"description":[64],"ASMs":[66],"in":[67],"configuration":[69],"and":[73,78],"present":[74],"existence":[76],"condition":[77],"design":[79],"procedure":[80],"for":[81],"solve":[85],"model":[87],"matching":[88],"problem.":[89],"An":[90],"illustrative":[91],"example":[92],"provided":[94],"validate":[96],"proposed":[98],"scheme.":[102]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}