{"id":"https://openalex.org/W2125836568","doi":"https://doi.org/10.1109/acc.2007.4282671","title":"Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems","display_name":"Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2125836568","doi":"https://doi.org/10.1109/acc.2007.4282671","mag":"2125836568"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2007.4282671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282671","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","raw_type":"proceedings-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":null,"display_name":"Q. Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Q. Wen","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Iowa State University Ames,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University Ames,","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044031773","display_name":"Ratnesh Kumar","orcid":"https://orcid.org/0000-0003-3974-5790"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Kumar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Iowa State University Ames,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University Ames,","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100632702","display_name":"Jing Huang","orcid":"https://orcid.org/0000-0002-7558-2370"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Huang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Iowa State University Ames,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University Ames,","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100689490","display_name":"Hongfei Liu","orcid":"https://orcid.org/0000-0003-4637-9151"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"H. Liu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Iowa State University Ames,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University Ames,","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":3.104,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.9198036,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"5649","last_page":"5654"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965999722480774,"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/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"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/fault-tolerance","display_name":"Fault tolerance","score":0.746524453163147},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7137769460678101},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6716659665107727},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6444075703620911},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6048687696456909},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5620044469833374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5388509631156921},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.4949876666069031},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4560096859931946},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.443403422832489},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.43913984298706055},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.41530242562294006},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.27411508560180664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2507479190826416},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21723142266273499},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15270856022834778},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12219640612602234},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.07880523800849915},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.0680651068687439}],"concepts":[{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.746524453163147},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7137769460678101},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6716659665107727},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6444075703620911},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6048687696456909},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5620044469833374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5388509631156921},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.4949876666069031},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4560096859931946},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.443403422832489},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.43913984298706055},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.41530242562294006},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27411508560180664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2507479190826416},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21723142266273499},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15270856022834778},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12219640612602234},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.07880523800849915},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0680651068687439},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2007.4282671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282671","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7699999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W405394249","https://openalex.org/W1492925000","https://openalex.org/W1985787415","https://openalex.org/W2004180630","https://openalex.org/W2027785844","https://openalex.org/W2056175800","https://openalex.org/W2068354234","https://openalex.org/W2095259804","https://openalex.org/W2108760483","https://openalex.org/W2133128760","https://openalex.org/W2148878165","https://openalex.org/W2157559876","https://openalex.org/W2171262638","https://openalex.org/W4205556238","https://openalex.org/W6629375483","https://openalex.org/W6657193561"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W46796605","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W1964497242"],"abstract_inverted_index":{"A":[0],"framework":[1],"for":[2,29,46,56,173],"fault-tolerant":[3,37,179],"supervisory":[4,38],"control":[5,39],"of":[6,36,101,159,171,176,183,200],"discrete-event":[7],"systems":[8],"was":[9],"introduced":[10],"in":[11],"(Q.":[12],"Wen":[13],"et":[14],"al.,":[15],"2007).":[16],"Given":[17],"a":[18,27,43,72,86,98,114,130,163,177,184],"plant,":[19,59],"possessing":[20],"both":[21],"faulty":[22],"and":[23,26,50,60,161,165,196,203],"nonfaulty":[24,32,48,87,131,152],"behavior,":[25],"submodel":[28],"just":[30],"the":[31,34,47,57,65,78,80,108,119,135,137,147,169,174,191,198],"part,":[33],"goal":[35],"is":[40,83,110,187],"to":[41,62,85,112,189],"enforce":[42],"certain":[44,96],"specification":[45,55],"plant":[49,66],"another":[51],"(perhaps":[52],"more":[53],"liberal)":[54],"overall":[58],"further":[61],"ensure":[63],"that":[64,76,126,142],"recovers":[67],"from":[68,117,129,150],"any":[69,106],"fault":[70,92,107],"within":[71],"bounded":[73],"delay":[74],"so":[75],"following":[77,134],"recovery":[79],"system":[81,109,138,186],"state":[82,88,116],"equivalent":[84],"(as":[89],"if":[90],"no":[91],"ever":[93],"happened).":[94],"In":[95],"applications":[97],"weaker":[99,157],"notion":[100,158,170,199],"fault-tolerance":[102,160,202],"may":[103],"suffice:":[104],"Following":[105],"guaranteed":[111],"reach":[113],"\"recovery\"":[115],"where":[118],"subsequent":[120],"behaviors":[121,148],"are":[122,127,143],"subsumed":[123],"by":[124,146],"those":[125,140],"possible":[128],"state.":[132,153],"Thus":[133],"recovery,":[136],"satisfies":[139],"properties":[141],"also":[144,194],"satisfied":[145],"starting":[149],"some":[151],"We":[154,193],"formulate":[155],"this":[156],"present":[162],"necessary":[164],"sufficient":[166],"condition":[167],"(involving":[168],"language-stability)":[172],"existence":[175],"weakly":[178],"supervisor.":[180],"An":[181],"example":[182],"power":[185],"provided":[188],"illustrate":[190],"framework.":[192],"introduce":[195],"analyze":[197],"nonuniformly-bounded":[201],"its":[204],"weak":[205],"version.":[206]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}