{"id":"https://openalex.org/W3082192975","doi":"https://doi.org/10.1109/tase.2020.3041207","title":"Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory","display_name":"Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory","publication_year":2020,"publication_date":"2020-12-11","ids":{"openalex":"https://openalex.org/W3082192975","doi":"https://doi.org/10.1109/tase.2020.3041207","mag":"3082192975"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2020.3041207","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3041207","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2008.13062","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014817241","display_name":"Lucas V. R. Alves","orcid":"https://orcid.org/0000-0001-5227-0473"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Lucas V. R. Alves","raw_affiliation_strings":["Technical College and Graduate Program in Electrical Engineering, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","FEDERAL UNIVERSITY OF MINAS GERAIS"],"affiliations":[{"raw_affiliation_string":"Technical College and Graduate Program in Electrical Engineering, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"FEDERAL UNIVERSITY OF MINAS GERAIS","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028968326","display_name":"Patr\u00edcia N. Pena","orcid":"https://orcid.org/0000-0002-7595-7814"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Patricia N. Pena","raw_affiliation_strings":["Department of Electronics Engineering, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","FEDERAL UNIVERSITY OF MINAS GERAIS"],"affiliations":[{"raw_affiliation_string":"Department of Electronics Engineering, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"FEDERAL UNIVERSITY OF MINAS GERAIS","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014817241"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":null,"apc_paid":null,"fwci":0.1444,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53919343,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"19","issue":"1","first_page":"486","last_page":"496"},"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.9969000220298767,"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.9948999881744385,"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/synchronizing","display_name":"Synchronizing","score":0.9528337717056274},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9395465850830078},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8600996732711792},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.7633142471313477},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6469099521636963},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6084161400794983},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5495506525039673},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.514344334602356},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5077368021011353},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.49660640954971313},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.46684014797210693},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4648282527923584},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.45692774653434753},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4380568265914917},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4250301718711853},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.42493999004364014},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23800617456436157},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22173967957496643},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19284692406654358},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17709481716156006},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.1693286895751953},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13481959700584412}],"concepts":[{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.9528337717056274},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9395465850830078},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8600996732711792},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.7633142471313477},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6469099521636963},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6084161400794983},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5495506525039673},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.514344334602356},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5077368021011353},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.49660640954971313},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.46684014797210693},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4648282527923584},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.45692774653434753},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4380568265914917},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4250301718711853},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.42493999004364014},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23800617456436157},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22173967957496643},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19284692406654358},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17709481716156006},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.1693286895751953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13481959700584412},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tase.2020.3041207","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3041207","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2008.13062","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.13062","pdf_url":"https://arxiv.org/pdf/2008.13062","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"mag:3082192975","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2008.13062.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2008.13062","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2008.13062","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2008.13062","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.13062","pdf_url":"https://arxiv.org/pdf/2008.13062","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3082192975.pdf"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W358613696","https://openalex.org/W1503084978","https://openalex.org/W1781878795","https://openalex.org/W1977703234","https://openalex.org/W1991980356","https://openalex.org/W1997658725","https://openalex.org/W2007758648","https://openalex.org/W2033528871","https://openalex.org/W2039858940","https://openalex.org/W2044257043","https://openalex.org/W2048042296","https://openalex.org/W2059057465","https://openalex.org/W2059218897","https://openalex.org/W2060506423","https://openalex.org/W2063889173","https://openalex.org/W2071047462","https://openalex.org/W2093461240","https://openalex.org/W2098906570","https://openalex.org/W2102357064","https://openalex.org/W2108858172","https://openalex.org/W2113308301","https://openalex.org/W2162000948","https://openalex.org/W2169981901","https://openalex.org/W2280766426","https://openalex.org/W2345719640","https://openalex.org/W2554640547","https://openalex.org/W2765821543","https://openalex.org/W2804520243","https://openalex.org/W2884397601","https://openalex.org/W2964004428","https://openalex.org/W4292930798","https://openalex.org/W4301491366","https://openalex.org/W6612114210"],"related_works":["https://openalex.org/W3113273238","https://openalex.org/W2973671643","https://openalex.org/W2791523502","https://openalex.org/W3032915089","https://openalex.org/W2557087123","https://openalex.org/W2962778552","https://openalex.org/W2389312868","https://openalex.org/W2164808981","https://openalex.org/W2796405426","https://openalex.org/W2162500174","https://openalex.org/W3162717390","https://openalex.org/W2165165000","https://openalex.org/W3131105751","https://openalex.org/W2909084912","https://openalex.org/W2563706398","https://openalex.org/W1699115902","https://openalex.org/W2614611284","https://openalex.org/W2118725223","https://openalex.org/W1984458862","https://openalex.org/W1607383539"],"abstract_inverted_index":{"Manufacturing":[0],"systems":[1,257],"may":[2,62,78],"be":[3,63,79],"subject":[4,286],"to":[5,14,104,115,134,146,163,193,224,234,275,287],"external":[6],"attacks":[7,202],"and":[8,67,101,131,169,187,200,277],"failures,":[9],"so":[10],"it":[11,176,272],"is":[12,83,144,177,230,273],"important":[13],"deal":[15],"with":[16,28,148,303],"the":[17,20,29,44,50,57,76,86,91,99,140,184,188,196,216,222,235,260,267,280,283,288,293,297,304,309],"recovery":[18,74,154,207,261,264,305],"of":[19,31,75,93,96,110,128,167,198,215,220,231,237,249,254,282,292,299],"system":[21,41,77,100,223,285,302],"after":[22],"these":[23],"situations.":[24],"This":[25],"article":[26,245],"deals":[27],"problem":[30,143],"recovering":[32,228],"a":[33,38,84,105,126,135,152,160,212,225],"manufacturing":[34],"system,":[35],"modeled":[36],"as":[37,65,171],"discrete":[39,255],"event":[40,256],"(DES)":[42],"using":[43],"supervisory":[45,250],"control":[46,51,185,251,284,301],"theory":[47,252],"(SCT),":[48],"when":[49,155],"structure,":[52],"called":[53],"supervisor,":[54],"desynchronizes":[55],"from":[56],"physical":[58],"plant.":[59,189,217],"The":[60,73,108,142,218,240,290],"desynchronization":[61],"seen":[64],"plant":[66],"supervisor":[68,102,137],"being":[69],"in":[70,204,243,266,308],"uncorresponding":[71],"states.":[72],"attained":[80],"if":[81],"there":[82],"word,":[85,88],"synchronizing":[87,111,129,136,172],"that":[89,175,271],"regardless":[90],"state":[92],"each":[94],"one":[95],"them,":[97],"brings":[98],"back":[103],"known":[106,226],"state.":[107],"concepts":[109,248],"automata":[112,173],"are":[113,209],"used":[114],"do":[116,180],"so.":[117],"In":[118],"this":[119,244],"article,":[120],"we":[121],"show":[122],"under":[123],"what":[124],"conditions":[125],"set":[127],"plants":[130],"specifications":[132],"leads":[133],"obtained":[138],"by":[139],"SCT.":[141],"extended":[145],"cope":[147],"multiple":[149],"supervisors,":[150],"proposing":[151],"local":[153],"possible.":[156],"We":[157],"also":[158],"present":[159],"simple":[161],"way":[162],"model":[164],"problems,":[165],"composed":[166],"machines":[168],"buffers,":[170],"such":[174,270,300],"always":[178],"possible":[179,274],"restore":[181],"synchronization":[182],"between":[183],"(supervisor)":[186],"<italic":[190],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[191],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[192],"Practitioners</i>":[194],"\u2014Given":[195],"unpredictability":[197],"faults":[199],"malicious":[201],"occurring":[203],"industrial":[205,238],"systems,":[206],"strategies":[208],"crucial":[210],"for":[211],"harmonic":[213],"operation":[214],"possibility":[219],"leading":[221],"state,":[227],"control,":[229],"extreme":[232],"importance":[233],"safety":[236],"processes.":[239],"method":[241],"proposed":[242,294],"uses":[246],"well-known":[247],"(SCT)":[253],"(DESs),":[258],"introducing":[259],"process":[262],"(using":[263],"events)":[265],"modeling":[268],"phase":[269],"isolate":[276],"fix":[278],"only":[279],"part":[281],"fault.":[289],"result":[291],"approach":[295],"allows":[296],"implementation":[298],"procedure":[306],"directly":[307],"programmable":[310],"logic":[311],"controllers":[312],"(PLCs).":[313]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}