{"id":"https://openalex.org/W4415707021","doi":"https://doi.org/10.1109/lcsys.2025.3626794","title":"A General Framework for Detectability in Stochastic Discrete-Event Systems","display_name":"A General Framework for Detectability in Stochastic Discrete-Event Systems","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4415707021","doi":"https://doi.org/10.1109/lcsys.2025.3626794"},"language":null,"primary_location":{"id":"doi:10.1109/lcsys.2025.3626794","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3626794","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","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/A5063604106","display_name":"Jun Chen","orcid":"https://orcid.org/0000-0002-0934-8519"},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jun Chen","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Oakland University, Rochester, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009172382","display_name":"Feng Lin","orcid":"https://orcid.org/0000-0002-6831-4458"},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]},{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng Lin","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Oakland University, Rochester, MI, USA","Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI, USA","institution_ids":["https://openalex.org/I185443292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063604106"],"corresponding_institution_ids":["https://openalex.org/I177721651"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32575719,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":null,"first_page":"2465","last_page":"2470"},"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.927299976348877,"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.927299976348877,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.023800000548362732,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.010700000450015068,"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/ambiguity","display_name":"Ambiguity","score":0.6848999857902527},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6820999979972839},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6488999724388123},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5320000052452087},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5284000039100647},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.36010000109672546}],"concepts":[{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6848999857902527},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6820999979972839},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6488999724388123},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5809999704360962},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5320000052452087},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5284000039100647},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37279999256134033},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35109999775886536},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3483000099658966},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.34540000557899475},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3305000066757202},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3276999890804291},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.26899999380111694}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2025.3626794","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3626794","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1683879948","display_name":null,"funder_award_id":"2432098","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6560545295","display_name":null,"funder_award_id":"2432099","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1141352453","https://openalex.org/W1608968763","https://openalex.org/W1761337960","https://openalex.org/W1966651017","https://openalex.org/W1983934219","https://openalex.org/W1985787415","https://openalex.org/W2028587915","https://openalex.org/W2037802202","https://openalex.org/W2057595388","https://openalex.org/W2068354234","https://openalex.org/W2088445166","https://openalex.org/W2101961364","https://openalex.org/W2119581074","https://openalex.org/W2125493492","https://openalex.org/W2131456244","https://openalex.org/W2148114786","https://openalex.org/W2157338290","https://openalex.org/W2166226514","https://openalex.org/W2346258063","https://openalex.org/W2598332701","https://openalex.org/W2804520243","https://openalex.org/W4288853474","https://openalex.org/W4364322975","https://openalex.org/W4382365388","https://openalex.org/W4390968319"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,71,116],"new":[4,15],"framework":[5],"to":[6,49,78,84,89,102,111],"capture":[7],"detectability":[8],"property":[9],"in":[10],"stochastic":[11],"discrete-event":[12],"systems.":[13],"A":[14,106],"notion,":[16],"name":[17],"Partition-based":[18],"Detectability":[19],"or":[20],"P-Detectability,":[21,113],"is":[22,100],"proposed":[23,42,74,98],"based":[24],"on":[25,45],"partitions":[26],"of":[27],"the":[28,34,41,46,60,66,73,97],"system":[29,47],"state":[30,35,52,56,68],"space,":[31],"rather":[32],"than":[33],"space":[36],"itself.":[37],"In":[38],"other":[39,55],"words,":[40],"P-Detectability":[43,75],"focuses":[44],"capability":[48],"detect":[50],"certain":[51],"group":[53],"from":[54],"groups,":[57],"while":[58],"ignoring":[59],"ambiguity":[61],"between":[62],"individual":[63],"states":[64],"within":[65],"same":[67],"group.":[69],"As":[70],"consequence,":[72],"allows":[76],"users":[77],"define":[79],"customized":[80],"public":[81],"and":[82,95,108],"cover":[83],"ignore":[85],"irrelevant":[86],"ambiguity.":[87],"Compared":[88],"existing":[90],"notions":[91],"such":[92],"as":[93],"A-Detectability":[94],"A-Diagnosabiltiy,":[96],"notion":[99],"shown":[101],"be":[103],"more":[104],"general.":[105],"necessary":[107],"sufficient":[109],"condition":[110],"verify":[112],"together":[114],"with":[115],"testing":[117],"algorithm,":[118],"are":[119],"developed.":[120]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-30T00:00:00"}