{"id":"https://openalex.org/W4205324887","doi":"https://doi.org/10.1109/smc52423.2021.9658649","title":"Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation","display_name":"Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation","publication_year":2021,"publication_date":"2021-10-17","ids":{"openalex":"https://openalex.org/W4205324887","doi":"https://doi.org/10.1109/smc52423.2021.9658649"},"language":"en","primary_location":{"id":"doi:10.1109/smc52423.2021.9658649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc52423.2021.9658649","pdf_url":null,"source":{"id":"https://openalex.org/S4363607761","display_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-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/A5100400107","display_name":"Xiaoting Zhang","orcid":"https://orcid.org/0000-0002-5336-1956"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoting Zhang","raw_affiliation_strings":["Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100770861","display_name":"Jiafeng Zhang","orcid":"https://orcid.org/0000-0001-8950-1968"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiafeng Zhang","raw_affiliation_strings":["Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031637079","display_name":"Zhong Zheng","orcid":"https://orcid.org/0000-0002-6278-2648"},"institutions":[{"id":"https://openalex.org/I194716290","display_name":"China Academy of Space Technology","ror":"https://ror.org/025397a59","country_code":"CN","type":"government","lineage":["https://openalex.org/I194716290","https://openalex.org/I2802615301"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhong Zheng","raw_affiliation_strings":["China Academy of Space Technology,Beijing,China,100194"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Academy of Space Technology,Beijing,China,100194","institution_ids":["https://openalex.org/I194716290"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048211126","display_name":"Hanyu Zheng","orcid":"https://orcid.org/0000-0002-5661-4699"},"institutions":[{"id":"https://openalex.org/I194716290","display_name":"China Academy of Space Technology","ror":"https://ror.org/025397a59","country_code":"CN","type":"government","lineage":["https://openalex.org/I194716290","https://openalex.org/I2802615301"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hanyu Zheng","raw_affiliation_strings":["China Academy of Space Technology,Beijing,China,100194"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Academy of Space Technology,Beijing,China,100194","institution_ids":["https://openalex.org/I194716290"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076502914","display_name":"Minglong Pu","orcid":null},"institutions":[{"id":"https://openalex.org/I194716290","display_name":"China Academy of Space Technology","ror":"https://ror.org/025397a59","country_code":"CN","type":"government","lineage":["https://openalex.org/I194716290","https://openalex.org/I2802615301"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minglong Pu","raw_affiliation_strings":["China Academy of Space Technology,Beijing,China,100194"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Academy of Space Technology,Beijing,China,100194","institution_ids":["https://openalex.org/I194716290"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I204512498","display_name":"University of Macau","ror":"https://ror.org/01r4q9n85","country_code":"MO","type":"education","lineage":["https://openalex.org/I204512498"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Macau University of Science and Technology,Institute of Systems Engineering,Taipa,Macao","School of Electro Mechanical Engineering, Xidian University, Xi'an, China","Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology,Institute of Systems Engineering,Taipa,Macao","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao","institution_ids":["https://openalex.org/I204512498"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22029988,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2531","last_page":"2535"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.9986000061035156,"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"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9074103832244873},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.902739405632019},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8796869516372681},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5749117732048035},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.5697474479675293},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5581456422805786},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5461628437042236},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5300390720367432},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5168409943580627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5162382125854492},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4801480174064636},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4435025155544281},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4408630132675171},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.4390811324119568},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4189494848251343},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4188568592071533},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39976245164871216},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32688871026039124},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.31135794520378113},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2622063457965851},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09878644347190857},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.08823859691619873}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9074103832244873},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.902739405632019},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8796869516372681},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5749117732048035},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.5697474479675293},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5581456422805786},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5461628437042236},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5300390720367432},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5168409943580627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5162382125854492},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4801480174064636},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4435025155544281},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4408630132675171},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.4390811324119568},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4189494848251343},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4188568592071533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39976245164871216},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32688871026039124},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31135794520378113},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2622063457965851},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09878644347190857},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.08823859691619873},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc52423.2021.9658649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc52423.2021.9658649","pdf_url":null,"source":{"id":"https://openalex.org/S4363607761","display_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W580132488","https://openalex.org/W1972158470","https://openalex.org/W1972523481","https://openalex.org/W1985787415","https://openalex.org/W1994234600","https://openalex.org/W1996109622","https://openalex.org/W2003530067","https://openalex.org/W2062132646","https://openalex.org/W2098222787","https://openalex.org/W2101629635","https://openalex.org/W2139117911","https://openalex.org/W2153387272","https://openalex.org/W2461900131","https://openalex.org/W2484577372","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2765269840","https://openalex.org/W2799338570"],"related_works":["https://openalex.org/W2149686805","https://openalex.org/W2791750487","https://openalex.org/W4294689033","https://openalex.org/W1606997444","https://openalex.org/W4226462367","https://openalex.org/W1978158123","https://openalex.org/W2138317614","https://openalex.org/W2967463586","https://openalex.org/W2153544183","https://openalex.org/W1884874476"],"abstract_inverted_index":{"This":[0],"work":[1],"addresses":[2],"the":[3,37,49,92,103,107,118],"problem":[4],"of":[5,7,28,31,69,106,117,121],"diagnosability":[6,83],"discrete":[8,123],"event":[9,124],"systems":[10],"using":[11],"labeled":[12],"Petri":[13,33],"nets.":[14],"The":[15,98],"possible":[16],"faults":[17],"in":[18,91],"a":[19,32,59,65,70,77,114,122],"system":[20,72],"are":[21,40],"modeled":[22],"as":[23],"faulty":[24,74],"transitions":[25,39,46],"(a":[26],"subset":[27],"unobservable":[29],"transitions)":[30],"net":[34,71],"system.":[35,125],"Moreover,":[36],"observable":[38],"indistinguishable":[41],"(i.e.,":[42],"two":[43,55,93],"or":[44],"more":[45],"may":[47],"share":[48],"same":[50],"label).":[51],"We":[52],"first":[53],"construct":[54],"compact":[56,115],"diagnosers,":[57],"called":[58],"redundant":[60],"basis":[61,66],"reachability":[62,67,108],"diagnoser":[63],"and":[64,79],"diagnoser,":[68],"involving":[73],"transitions.":[75],"Then,":[76],"necessary":[78],"sufficient":[80],"condition":[81],"for":[82],"is":[84,100,110],"provided":[85],"by":[86],"checking":[87],"whether":[88],"each":[89],"cycle":[90],"diagnosers":[94],"satisfies":[95],"particular":[96],"conditions.":[97],"approach":[99],"efficient":[101],"since":[102],"exhaustive":[104],"enumeration":[105],"space":[109,120],"avoided":[111],"thanks":[112],"to":[113],"representation":[116],"state":[119]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}