{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T17:25:18Z","timestamp":1782408318868,"version":"3.54.5"},"reference-count":26,"publisher":"MDPI AG","issue":"14","license":[{"start":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T00:00:00Z","timestamp":1720483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Complex Systems International Joint Research Center of Shaanxi Province"},{"name":"Xi\u2019an Theory and Applications of Discrete Event Dynamic Systems International Science and Technology Cooperation Center"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>This paper investigates the problem of synthesizing network attacks against fault diagnosis in the context of discrete event systems (DESs). It is assumed that the sensor observations sent to the operator that monitors a system are tampered with by an active attacker. We first formulate the process of online fault diagnosis under attack. Then, from the attack viewpoint, we define a sensor network attacker as successful if it can degrade the fault diagnosis in the case of maintaining itself as undiscovered by the operator. To verify such an attacker, an information structure called a joint diagnoser (JD) is proposed, which describes all possible attacks in a given attack scenario. Based on the refined JD, i.e., stealthy joint diagnoser (SJD), we present an algorithmic procedure for synthesizing a successful attacker if it exists.<\/jats:p>","DOI":"10.3390\/s24144445","type":"journal-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T09:23:08Z","timestamp":1720603388000},"page":"4445","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems"],"prefix":"10.3390","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-5320-0136","authenticated-orcid":false,"given":"Tenglong","family":"Kang","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an 710071, China"},{"name":"Department of Electrical and Electronic Engineering, University of Cagliari, 09123 Cagliari, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yifan","family":"Hou","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an 710071, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0159-8545","authenticated-orcid":false,"given":"Ding","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an 710071, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2024,7,9]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Chen, J., Liu, B., Li, T., and Hu, Y. (2023). Multiplicative Attacks with Essential Stealthiness in Sensor and Actuator Loops against Cyber-Physical Systems. Sensors, 23.","DOI":"10.3390\/s23041957"},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Suprabhath Koduru, S., Machina, V.S.P., and Madichetty, S. (2023). Cyber attacks in cyber-physical microgrid systems: A comprehensive review. Energies, 16.","DOI":"10.20944\/preprints202304.0691.v1"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"He, Z., Tang, B., and Luan, F. (2022). An improved African vulture optimization algorithm for dual-resource constrained multi-objective flexible job shop scheduling problems. Sensors, 23.","DOI":"10.3390\/s23010090"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"21670","DOI":"10.1109\/JIOT.2023.3289625","article-title":"A Survey on Cyber-Physical Systems Security","volume":"10","author":"Yu","year":"2023","journal-title":"IEEE Internet Things J."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Goetz, C., and Humm, B. (2023). Decentralized real-time anomaly detection in cyber-physical production systems under industry constraints. Sensors, 23.","DOI":"10.3390\/s23094207"},{"key":"ref_6","unstructured":"Cassandras, C.G., and Lafortune, S. (2019). Introduction to Discrete Event Systems, Springer."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete event models","volume":"44","author":"Sampath","year":"1996","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.arcontrol.2018.04.002","article-title":"On the history of diagnosability and opacity in discrete event systems","volume":"45","author":"Lafortune","year":"2018","journal-title":"Annu. Rev. Control."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1109\/TAC.2009.2014932","article-title":"An efficient approach for online diagnosis of discrete event systems","volume":"54","author":"Basile","year":"2009","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1384","DOI":"10.1109\/TAC.2016.2588736","article-title":"Diagnosability analysis of labeled time Petri net systems","volume":"62","author":"Basile","year":"2016","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"1689","DOI":"10.1109\/TSMC.2017.2726108","article-title":"Decentralized diagnosis by Petri nets and integer linear programming","volume":"48","author":"Cong","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"99168","DOI":"10.1109\/ACCESS.2023.3312542","article-title":"Decentralized Marking Fault Diagnosis of Labeled Petri Nets","volume":"11","author":"Yu","year":"2023","journal-title":"IEEE Access"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","article-title":"Overview of fault diagnosis methods for discrete event systems","volume":"37","author":"Zaytoon","year":"2013","journal-title":"Annu. Rev. Control."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"2068","DOI":"10.1016\/j.automatica.2012.06.042","article-title":"Robust diagnosis of discrete event systems against intermittent loss of observations","volume":"48","author":"Carvalho","year":"2012","journal-title":"Automatica"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.automatica.2012.09.017","article-title":"Robust diagnosis of discrete-event systems against permanent loss of observations","volume":"49","author":"Carvalho","year":"2013","journal-title":"Automatica"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"109669","DOI":"10.1016\/j.automatica.2021.109669","article-title":"A general framework for diagnosis of discrete event systems subject to sensor failures","volume":"129","author":"Takai","year":"2021","journal-title":"Automatica"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","article-title":"Detection and mitigation of classes of attacks in supervisory control systems","volume":"97","author":"Carvalho","year":"2018","journal-title":"Automatica"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Yu, Z., Duan, X., Cong, X., Li, X., and Zheng, L. (2023). Detection of actuator enablement attacks by Petri nets in supervisory control systems. Mathematics, 11.","DOI":"10.3390\/math11040943"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"168068","DOI":"10.1109\/ACCESS.2021.3135870","article-title":"Joint state estimation under attack of discrete event systems","volume":"9","author":"Zhang","year":"2021","journal-title":"IEEE Access"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"16302","DOI":"10.1038\/s41598-022-19737-w","article-title":"Selection of a successful attack function in discrete event systems","volume":"12","author":"Zhang","year":"2022","journal-title":"Sci. Rep."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"109172","DOI":"10.1016\/j.automatica.2020.109172","article-title":"Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems","volume":"121","author":"Kang","year":"2020","journal-title":"Automatica"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"4990","DOI":"10.1109\/TAC.2021.3051459","article-title":"Synthesis of supervisors robust against sensor deception attacks","volume":"66","author":"Marchand","year":"2021","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Kang, T., Seatzu, C., Li, Z., and Giua, A. (2023, January 13\u201315). Fault Diagnosis of Discrete Event Systems Under Attack. Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC), Singapore.","DOI":"10.1109\/CDC49753.2023.10383814"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.ifacol.2022.10.323","article-title":"Tamper-tolerant diagnosability under bounded or unbounded attacks","volume":"55","author":"Li","year":"2022","journal-title":"IFAC-Paper"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Hadjicostis, C.N., Lafortune, S., Lin, F., and Su, R. (2022, January 6\u20139). Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control. Proceedings of the 2022 IEEE 61st Conference on Decision and Control (CDC), Canc\u00fan, Mexico.","DOI":"10.1109\/CDC51059.2022.9992966"}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/24\/14\/4445\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T15:12:30Z","timestamp":1760109150000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/24\/14\/4445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,9]]},"references-count":26,"journal-issue":{"issue":"14","published-online":{"date-parts":[[2024,7]]}},"alternative-id":["s24144445"],"URL":"https:\/\/doi.org\/10.3390\/s24144445","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,9]]}}}