{"id":"https://openalex.org/W7143542174","doi":"https://doi.org/10.1109/tase.2026.3679186","title":"Securing Networked Discrete Event Systems for Diagnosability Under Attacks","display_name":"Securing Networked Discrete Event Systems for Diagnosability Under Attacks","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7143542174","doi":"https://doi.org/10.1109/tase.2026.3679186"},"language":null,"primary_location":{"id":"doi:10.1109/tase.2026.3679186","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2026.3679186","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tase.2026.3679186","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003450028","display_name":"Ruotian Liu","orcid":"https://orcid.org/0009-0000-1823-1542"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ruotian Liu","raw_affiliation_strings":["Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy"],"raw_orcid":"https://orcid.org/0009-0000-1823-1542","affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024322768","display_name":"T. Li","orcid":"https://orcid.org/0009-0003-4627-0567"},"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":"Tengbo Li","raw_affiliation_strings":["School of Mechano-Electronic Engineering, Xidian University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0009-0003-4627-0567","affiliations":[{"raw_affiliation_string":"School of Mechano-Electronic Engineering, Xidian University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003810820","display_name":"Shaopeng Hu","orcid":"https://orcid.org/0000-0003-3833-1633"},"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":"Shaopeng Hu","raw_affiliation_strings":["School of Mechano-Electronic Engineering, Xidian University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0000-0003-3833-1633","affiliations":[{"raw_affiliation_string":"School of Mechano-Electronic Engineering, Xidian University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075649674","display_name":"Agostino Marcello Mangini","orcid":"https://orcid.org/0000-0001-6850-6153"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Agostino Marcello Mangini","raw_affiliation_strings":["Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6850-6153","affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071850448","display_name":"Maria Pia Fanti","orcid":"https://orcid.org/0000-0002-8612-1852"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Pia Fanti","raw_affiliation_strings":["Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8612-1852","affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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.40815505,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":null,"first_page":"7409","last_page":"7423"},"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.15530000627040863,"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.15530000627040863,"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/T12127","display_name":"Software System Performance and Reliability","score":0.1459999978542328,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.07519999891519547,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/event","display_name":"Event (particle physics)","score":0.5267000198364258},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3206000030040741},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.30410000681877136},{"id":"https://openalex.org/keywords/algorithm-design","display_name":"Algorithm design","score":0.2809999883174896},{"id":"https://openalex.org/keywords/electronic-mail","display_name":"Electronic mail","score":0.2669999897480011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.578000009059906},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5267000198364258},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.33180001378059387},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.31040000915527344},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3052999973297119},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.304500013589859},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2937999963760376},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C3020028006","wikidata":"https://www.wikidata.org/wiki/Q9158","display_name":"Electronic mail","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2026.3679186","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2026.3679186","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tase.2026.3679186","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2026.3679186","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,34,37,41,49,58,65,86,106,112,123,156,159,165],"diagnosability":[4],"analysis":[5],"problem":[6,131],"under":[7],"malicious":[8],"attacks":[9],"of":[10,36,67,71,91,134,147,158],"a":[11,18,92,95],"networked":[12],"discrete":[13],"event":[14],"system":[15,151],"modeled":[16],"by":[17,46,104,140],"labeled":[19],"Petri":[20],"net.":[21],"A":[22],"<italic":[23,87],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[24,88],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">stealthy":[25],"replacement":[26],"attack</i>":[27],"is":[28,102,138,152],"considered":[29],"to":[30,79,109,115,154],"alter":[31],"or":[32,48],"corrupt":[33],"observation":[35],"system,":[38],"in":[39,64,132],"which":[40],"transition":[42],"labels":[43],"are":[44],"replaced":[45],"others":[47],"empty":[50],"string,":[51],"and":[52],"its":[53],"attack":[54,83,100,107,113,129,161],"stealthiness":[55],"requires":[56],"that":[57,121],"corrupted":[59],"observations":[60],"should":[61],"be":[62,116],"contained":[63],"behavior":[66,108],"system.":[68,93],"The":[69],"objective":[70],"this":[72],"work":[73],"is,":[74],"from":[75],"an":[76,82,99,127,148],"attacker\u2019s":[77],"viewpoint,":[78],"design":[80],"such":[81],"for":[84],"compromising":[85],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">attack-induced":[89],"diagnosability</i>":[90],"Specifically,":[94],"new":[96],"structure,":[97],"called":[98],"verifier,":[101],"constructed":[103],"integrating":[105],"enumerate":[110],"all":[111],"paths":[114],"transformed":[117],"into":[118],"fundamental":[119],"ones":[120],"violate":[122],"attack-induced":[124],"diagnosability.":[125],"Then":[126],"optimal":[128],"synthesis":[130],"terms":[133],"minimum":[135],"energy":[136],"cost":[137],"formulated":[139],"integer":[141],"linear":[142],"programming":[143],"problems.":[144],"An":[145],"example":[146],"automated":[149],"manufacturing":[150],"provided":[153],"show":[155],"efficiency":[157],"proposed":[160],"strategy":[162],"compared":[163],"with":[164],"existing":[166],"approaches.":[167]},"counts_by_year":[],"updated_date":"2026-04-08T06:01:36.053099","created_date":"2026-03-31T00:00:00"}