{"id":"https://openalex.org/W1978965279","doi":"https://doi.org/10.1109/coase.2012.6386477","title":"Polynomial test for Stochastic Diagnosability of discrete event systems","display_name":"Polynomial test for Stochastic Diagnosability of discrete event systems","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W1978965279","doi":"https://doi.org/10.1109/coase.2012.6386477","mag":"1978965279"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2012.6386477","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386477","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5063604106","display_name":"Jun Chen","orcid":"https://orcid.org/0000-0002-0934-8519"},"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":"Jun Chen","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Department of Electrical & Computer Engineering, Iowa State University, Ames, 50011 USA"],"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":"Department of Electrical & Computer Engineering, Iowa State University, Ames, 50011 USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","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":"Ratnesh Kumar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, USA","Department of Electrical & Computer Engineering, Iowa State University, Ames, 50011 USA"],"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":"Department of Electrical & Computer Engineering, Iowa State University, Ames, 50011 USA","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":1.7149,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8210683,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"521","last_page":"526"},"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.9980999827384949,"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.994700014591217,"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/ergodicity","display_name":"Ergodicity","score":0.6631874442100525},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6176662445068359},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5930691957473755},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5869415998458862},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.48923826217651367},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4519384801387787},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4499651789665222},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.4474756121635437},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.432253897190094},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3513258695602417},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2900407016277313},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.053863197565078735}],"concepts":[{"id":"https://openalex.org/C201779956","wikidata":"https://www.wikidata.org/wiki/Q5426803","display_name":"Ergodicity","level":2,"score":0.6631874442100525},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6176662445068359},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5930691957473755},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5869415998458862},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.48923826217651367},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4519384801387787},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4499651789665222},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4474756121635437},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.432253897190094},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3513258695602417},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2900407016277313},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.053863197565078735},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2012.6386477","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2012.6386477","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1564425416","https://openalex.org/W1985787415","https://openalex.org/W1986601502","https://openalex.org/W2007588592","https://openalex.org/W2027671360","https://openalex.org/W2043999397","https://openalex.org/W2052703101","https://openalex.org/W2066843060","https://openalex.org/W2097280118","https://openalex.org/W2097894506","https://openalex.org/W2101961364","https://openalex.org/W2112713509","https://openalex.org/W2114202040","https://openalex.org/W2114534755","https://openalex.org/W2117558445","https://openalex.org/W2125493492","https://openalex.org/W2131025344","https://openalex.org/W2131456244","https://openalex.org/W2133435578","https://openalex.org/W2142570643","https://openalex.org/W2145128692","https://openalex.org/W2146153813","https://openalex.org/W2147774669","https://openalex.org/W2149500945","https://openalex.org/W2155002724","https://openalex.org/W2157338290","https://openalex.org/W2161179144","https://openalex.org/W2166226514","https://openalex.org/W2170614893","https://openalex.org/W2170988414","https://openalex.org/W2310009095","https://openalex.org/W3145230526"],"related_works":["https://openalex.org/W2313545085","https://openalex.org/W2381286475","https://openalex.org/W2152685658","https://openalex.org/W3091331701","https://openalex.org/W2392918297","https://openalex.org/W2102951916","https://openalex.org/W3124353475","https://openalex.org/W4287660309","https://openalex.org/W2560380744","https://openalex.org/W2033545186"],"abstract_inverted_index":{"Two":[0],"types":[1],"of":[2,4,64,70,83,89,107],"diagnosability":[3],"stochastic":[5,109],"discrete-event":[6],"systems":[7],"(DESs)":[8],"were":[9,48],"introduced":[10],"by":[11],"Thorsley":[12],"et":[13],"al.":[14],"in":[15,30,42],"2005,":[16],"where":[17],"a":[18,33,87],"necessary":[19],"and":[20,32,62,76],"sufficient":[21,34],"condition":[22,35],"for":[23,36,58,73,86],"Strong":[24,65],"Stochastic":[25,37,66,71,84],"Diagnosability":[26,38,72,85],"(referred":[27,39],"as":[28,40,79,81,103,105],"A-diagnosability":[29],"[2]),":[31,43],"AA-diagnosability":[41],"both":[44],"with":[45],"exponential":[46],"complexity,":[47],"reported.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53],"present":[54],"polynomial":[55],"complexity":[56,106],"tests":[57],"checking":[59],"(i)":[60],"necessity":[61,78],"sufficiency":[63,69,82],"Diagnosability,":[67],"(ii)":[68],"arbitrary":[74],"DESs,":[75],"(iii)":[77],"well":[80,104],"class":[88],"DESs":[90],"that":[91],"have":[92],"certain":[93],"ergodicity":[94],"property.":[95],"Thus":[96],"the":[97,101],"work":[98],"presented":[99],"improves":[100],"accuracy":[102],"testing":[108],"diagnosability.":[110]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}