{"id":"https://openalex.org/W3128709541","doi":"https://doi.org/10.1109/tcyb.2021.3051260","title":"Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification","display_name":"Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification","publication_year":2021,"publication_date":"2021-02-13","ids":{"openalex":"https://openalex.org/W3128709541","doi":"https://doi.org/10.1109/tcyb.2021.3051260","mag":"3128709541","pmid":"https://pubmed.ncbi.nlm.nih.gov/33566788"},"language":"en","primary_location":{"id":"doi:10.1109/tcyb.2021.3051260","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2021.3051260","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"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 Cybernetics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5100558892","display_name":"Hui Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Liao","raw_affiliation_strings":["School of Computers, Guangdong University of Technology, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computers, Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049612324","display_name":"Fuchun Liu","orcid":"https://orcid.org/0000-0002-8941-4239"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuchun Liu","raw_affiliation_strings":["School of Computers, Guangdong University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-8941-4239","affiliations":[{"raw_affiliation_string":"School of Computers, Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101987527","display_name":"Rui Zhao","orcid":"https://orcid.org/0000-0003-0287-6156"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui Zhao","raw_affiliation_strings":["School of Computers, Guangdong University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-0287-6156","affiliations":[{"raw_affiliation_string":"School of Computers, Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9133,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77585122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"52","issue":"7","first_page":"6207","last_page":"6216"},"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.9998000264167786,"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.9998000264167786,"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.992900013923645,"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.9918000102043152,"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/unavailability","display_name":"Unavailability","score":0.9592400789260864},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5926824808120728},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5892633199691772},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5777221918106079},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4838091731071472},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.47649115324020386},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.4329034686088562},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3580474257469177},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34081465005874634},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29055821895599365},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09818679094314575}],"concepts":[{"id":"https://openalex.org/C2780505938","wikidata":"https://www.wikidata.org/wiki/Q17093282","display_name":"Unavailability","level":2,"score":0.9592400789260864},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5926824808120728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5892633199691772},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5777221918106079},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4838091731071472},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.47649115324020386},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4329034686088562},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3580474257469177},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34081465005874634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29055821895599365},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09818679094314575},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcyb.2021.3051260","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2021.3051260","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"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 Cybernetics","raw_type":"journal-article"},{"id":"pmid:33566788","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/33566788","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on cybernetics","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2022944359","display_name":null,"funder_award_id":"61673122","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5472960463","display_name":null,"funder_award_id":"2019A1515010548","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321921","display_name":"Natural Science Foundation of Guangdong Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1978596291","https://openalex.org/W1980548486","https://openalex.org/W1981008659","https://openalex.org/W1985787415","https://openalex.org/W1986386117","https://openalex.org/W2023854951","https://openalex.org/W2031845735","https://openalex.org/W2041545457","https://openalex.org/W2043125550","https://openalex.org/W2046127451","https://openalex.org/W2053696489","https://openalex.org/W2073417396","https://openalex.org/W2074559904","https://openalex.org/W2101961364","https://openalex.org/W2110388557","https://openalex.org/W2117023424","https://openalex.org/W2117558445","https://openalex.org/W2125493492","https://openalex.org/W2146566646","https://openalex.org/W2159110164","https://openalex.org/W2180972657","https://openalex.org/W2343204060","https://openalex.org/W2469228340","https://openalex.org/W2509841691","https://openalex.org/W2521231675","https://openalex.org/W2590387380","https://openalex.org/W2793026105","https://openalex.org/W2794861414","https://openalex.org/W2894781070","https://openalex.org/W2896736275","https://openalex.org/W2910541645","https://openalex.org/W2962828372","https://openalex.org/W3005842965","https://openalex.org/W4213269876"],"related_works":["https://openalex.org/W4232388855","https://openalex.org/W3049215996","https://openalex.org/W1565772392","https://openalex.org/W2046858995","https://openalex.org/W2396638032","https://openalex.org/W1526215707","https://openalex.org/W1488944085","https://openalex.org/W2952074839","https://openalex.org/W2811370865","https://openalex.org/W2396285312"],"abstract_inverted_index":{"Fault":[0],"prognosis":[1],"of":[2,11,42,57,83,125,150],"discrete-event":[3],"systems":[4],"(DESs)":[5],"aims":[6],"to":[7,121],"predict":[8,80],"the":[9,23,29,39,55,81,99,116,122,153],"occurrence":[10],"fault":[12,24],"beforehand":[13],"such":[14],"that":[15],"certain":[16],"protective":[17],"measures":[18],"may":[19],"be":[20],"adopted":[21],"before":[22],"occurs.":[25],"This":[26],"article":[27],"investigates":[28],"reliable":[30,96,117,131,134,154],"coprognosability":[31,60,114,129,149],"issue":[32],"for":[33,61,110,145],"decentralized":[34],"stochastic":[35,101],"DESs":[36],"(SDESs)":[37],"facing":[38],"possible":[40],"unavailability":[41],"some":[43],"local":[44,72,88],"agents.":[45],"The":[46],"main":[47],"contributions":[48],"are":[49,90],"as":[50],"follows.":[51],"First,":[52],"we":[53,93],"formalize":[54],"notion":[56],"r":[58,66,76,112,127,147],"-reliable":[59,113,128,148],"SDESs.":[62],"In":[63],"general,":[64],"an":[65,139],"-reliably":[67],"coprognosable":[68],"SDES":[69],"with":[70],"n":[71],"sites":[73],"(1":[74],"\u2264":[75,77],"n)":[78],"can":[79],"occurrences":[82],"faults":[84],"even":[85],"though":[86],"n-r":[87],"agents":[89],"invalid.":[91],"Second,":[92],"construct":[94],"a":[95,105,133],"coprognoser":[97],"from":[98],"given":[100],"system":[102],"and":[103,107,138,142],"present":[104],"necessary":[106,141],"sufficient":[108,143],"condition":[109,144],"testing":[111,126],"by":[115,130,152],"coprognoser.":[118],"Third,":[119],"due":[120],"exponential":[123],"complexity":[124],"coprognoser,":[132],"coverifier":[135,155],"is":[136,156,159],"constructed":[137],"alternate":[140],"verifying":[146],"SDESs":[151],"proposed,":[157],"which":[158],"polynomial":[160],"time.":[161]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}