{"id":"https://openalex.org/W2077297005","doi":"https://doi.org/10.1080/00207729808929587","title":"Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty","display_name":"Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty","publication_year":1998,"publication_date":"1998-09-01","ids":{"openalex":"https://openalex.org/W2077297005","doi":"https://doi.org/10.1080/00207729808929587","mag":"2077297005"},"language":"en","primary_location":{"id":"doi:10.1080/00207729808929587","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207729808929587","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/A5111826284","display_name":"S.-J. PARK","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"S.-J. PARK","raw_affiliation_strings":["Department of Electrical Engineering , Korea Advanced Institute of Science and Technology , Taejon, 305-701, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering , Korea Advanced Institute of Science and Technology , Taejon, 305-701, Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110182022","display_name":"J.-T. LIM","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"J.-T. LIM","raw_affiliation_strings":["Department of Electrical Engineering , Korea Advanced Institute of Science and Technology , Taejon, 305-701, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering , Korea Advanced Institute of Science and Technology , Taejon, 305-701, Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157485424"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.20917738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"9","first_page":"953","last_page":"957"},"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.9973999857902527,"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.9925000071525574,"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/observability","display_name":"Observability","score":0.9438121914863586},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.9367108345031738},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9005374312400818},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7485513687133789},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6859582662582397},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.619612455368042},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5147736072540283},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5039014220237732},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4950258135795593},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.48351576924324036},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43163707852363586},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.42372116446495056},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4102494716644287},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4016816318035126},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32400476932525635},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2991008162498474},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2804916501045227},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2765529751777649},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1195325255393982}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.9438121914863586},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.9367108345031738},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9005374312400818},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7485513687133789},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6859582662582397},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.619612455368042},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5147736072540283},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5039014220237732},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4950258135795593},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.48351576924324036},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43163707852363586},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.42372116446495056},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4102494716644287},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4016816318035126},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32400476932525635},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2991008162498474},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2804916501045227},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2765529751777649},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1195325255393982},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207729808929587","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207729808929587","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"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W405394249","https://openalex.org/W1493914388","https://openalex.org/W1910546823","https://openalex.org/W1979349468","https://openalex.org/W2068354234","https://openalex.org/W2155934015","https://openalex.org/W4298249473"],"related_works":["https://openalex.org/W2332386680","https://openalex.org/W1983142522","https://openalex.org/W1986570998","https://openalex.org/W2782529250","https://openalex.org/W2037921533","https://openalex.org/W2508171592","https://openalex.org/W2801563517","https://openalex.org/W2130864543","https://openalex.org/W2068126039","https://openalex.org/W2041749520"],"abstract_inverted_index":{"This":[0],"paper":[1,73],"proposes":[2],"the":[3,33,81,93,103],"notions":[4,28],"of":[5,35,44,68,83,95,105],"faults":[6],"and":[7,22,52,64,77,86,97],"failures":[8],"in":[9,102],"discrete":[10],"event":[11,38],"systems":[12,45],"(DESs)":[13],"with":[14,20,107],"partial":[15,108],"observation.":[16],"They":[17],"are":[18,29,100],"associated":[19],"controllability":[21,96],"an":[23],"observability":[24,98],"property.":[25],"The":[26,89],"proposed":[27],"used":[30],"to":[31,61],"address":[32],"notion":[34],"tolerable":[36],"fault":[37],"sequences":[39],"which":[40,58,99],"represents":[41],"fault-tolerant":[42,53,66,87],"behaviour":[43,67],"as":[46],"a":[47,56,69,84],"desired":[48],"specification.":[49],"A":[50],"robust":[51,60,85],"supervisor":[54],"is":[55,59],"controller":[57],"model":[62],"uncertainty":[63],"guarantees":[65],"system.":[70],"In":[71],"this":[72],"we":[74],"present":[75],"necessary":[76],"sufficient":[78],"conditions":[79,91],"for":[80],"existence":[82],"supervisor.":[88],"developed":[90],"capture":[92],"concepts":[94],"cores":[101],"control":[104],"DESs":[106],"observation":[109]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}