{"id":"https://openalex.org/W1984918815","doi":"https://doi.org/10.1109/tac.2013.2283756","title":"Comments on \u201cPolynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems\u201d versus \u201cDecentralized Failure Diagnosis of Discrete Event Systems\u201d: Complexity Clarification","display_name":"Comments on \u201cPolynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems\u201d versus \u201cDecentralized Failure Diagnosis of Discrete Event Systems\u201d: Complexity Clarification","publication_year":2013,"publication_date":"2013-09-26","ids":{"openalex":"https://openalex.org/W1984918815","doi":"https://doi.org/10.1109/tac.2013.2283756","mag":"1984918815"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2013.2283756","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2283756","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/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":true,"raw_author_name":"Ratnesh Kumar","raw_affiliation_strings":["Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","Dept. of Elec. & Comp. Eng., Iowa State Univ., Ames,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Dept. of Elec. & Comp. Eng., Iowa State Univ., Ames,","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005789258","display_name":"Shigemasa Takai","orcid":"https://orcid.org/0000-0003-0165-4623"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shigemasa Takai","raw_affiliation_strings":["Division of Electrical, Electronic and Information Engineering, Osaka University, Suita, Osaka, Japan","Division of Electrical, Electronic and Information Engineering, Osaka University, Suita, Osaka"],"affiliations":[{"raw_affiliation_string":"Division of Electrical, Electronic and Information Engineering, Osaka University, Suita, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Division of Electrical, Electronic and Information Engineering, Osaka University, Suita, Osaka","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044031773"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":0.3625,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.61593868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"59","issue":"5","first_page":"1391","last_page":"1392"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.7614558935165405},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6251183748245239},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5225674510002136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5116189122200012},{"id":"https://openalex.org/keywords/contrast","display_name":"Contrast (vision)","score":0.49881768226623535},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47310662269592285},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4541934132575989},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4369199872016907},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.41251328587532043},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3730067014694214},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3590623140335083},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17443206906318665},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06614112854003906}],"concepts":[{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.7614558935165405},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6251183748245239},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5225674510002136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5116189122200012},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.49881768226623535},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47310662269592285},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4541934132575989},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4369199872016907},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.41251328587532043},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3730067014694214},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3590623140335083},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17443206906318665},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06614112854003906},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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":1,"locations":[{"id":"doi:10.1109/tac.2013.2283756","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2283756","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2083330693","https://openalex.org/W2110388557","https://openalex.org/W2125493492"],"related_works":["https://openalex.org/W2332411564","https://openalex.org/W3089684342","https://openalex.org/W2044818872","https://openalex.org/W1995337642","https://openalex.org/W1997330522","https://openalex.org/W2107287896","https://openalex.org/W2117076451","https://openalex.org/W1565772392","https://openalex.org/W1989776440","https://openalex.org/W33931451"],"abstract_inverted_index":{"An":[0],"article":[1],"on":[2],"codiagnosability":[3],"verification":[4],"of":[5,36,44,56,89,107],"discrete":[6],"event":[7],"systems":[8],"was":[9,74],"reported":[10],"by":[11,23],"Moreira":[12,37,45,108],"et":[13,38,46,109],"al,":[14],"claiming":[15],"an":[16,30],"improvement":[17],"in":[18,32,51,59,68,77],"complexity":[19,34,88,106],"over":[20],"a":[21,52],"paper":[22,48,93],"Qiu":[24,69,90],"and":[25,70,91,102],"Kumar.":[26],"This":[27],"note":[28],"clarifies":[29],"oversight":[31],"the":[33,42,62,78,82,87,98,104],"analysis":[35],"al's":[39,47,110],"paper.":[40,111],"Further":[41],"results":[43],"were":[49],"obtained":[50],"more":[53,63],"restricted":[54],"setting":[55],"\u201cprojection":[57],"masks\u201d,":[58],"contrast":[60],"to":[61,97],"general":[64],"\u201cnon-projection":[65],"masks\u201d":[66],"allowed":[67],"Kumar's":[71,92],"paper,":[72],"which":[73],"overlooked.":[75],"Finally":[76],"special":[79],"case":[80],"when":[81],"projection":[83],"masks":[84,100],"are":[85],"used,":[86],"is":[94],"lower":[95],"compared":[96],"non-projection":[99],"case,":[101],"equals":[103],"corrected":[105]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}