{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:18:36Z","timestamp":1785421116432,"version":"3.56.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T00:00:00Z","timestamp":1720742400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T00:00:00Z","timestamp":1720742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2146615"],"award-info":[{"award-number":["2146615"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2144416"],"award-info":[{"award-number":["2144416"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1007\/s10626-024-00401-6","type":"journal-article","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:02:23Z","timestamp":1720785743000},"page":"465-495","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Diagnosability and attack detection for discrete event systems under sensor attacks"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6831-4458","authenticated-orcid":false,"given":"Feng","family":"Lin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7526-6642","authenticated-orcid":false,"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1315-8053","authenticated-orcid":false,"given":"Caisheng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"401_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10626-021-00351-3","volume":"32","author":"MRC Alves","year":"2022","unstructured":"Alves MRC, Pena PN, Rudie K (2022) Discrete-event systems subject to unknown sensor attacks. Discrete Event Dynamic Systems: Theory and Applications 32:143\u2013158","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"401_CR2","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2022.101162","volume":"44","author":"MV Alves","year":"2022","unstructured":"Alves MV, Barcelos RJ, Carvalho LK, Basilio JC (2022) Robust decentralized diagnosability of networked discrete event systems against dos and deception attacks. Nonlinear Anal Hybrid Syst 44:101162","journal-title":"Nonlinear Anal Hybrid Syst"},{"issue":"4","key":"401_CR3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1561\/2600000024","volume":"8","author":"JC Basilio","year":"2021","unstructured":"Basilio JC, Hadjicostis CN, Su R (2021) Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security. Foundations and Trends in Systems and Control 8(4):285\u2013443","journal-title":"Foundations and Trends in Systems and Control"},{"key":"401_CR4","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","volume":"97","author":"LK Carvalho","year":"2018","unstructured":"Carvalho LK, Wu YC, Kwong R, Lafortune S (2018) Detection and mitigation of classes of attacks in supervisory control systems. Automatica 97:121\u2013133","journal-title":"Automatica"},{"key":"401_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.arcontrol.2021.03.007","volume":"51","author":"LK Carvalho","year":"2021","unstructured":"Carvalho LK, Moreira MV, Basilio JC (2021) Comparative analysis of related notions of robust diagnosability of discrete-event systems. Annu Rev Control 51:23\u201336","journal-title":"Annu Rev Control"},{"key":"401_CR6","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2021) Introduction to Discrete Event Systems. Springer Nature, 3rd\u00a0ed","DOI":"10.1007\/978-3-030-72274-6"},{"key":"401_CR7","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1016\/j.arcontrol.2019.04.011","volume":"47","author":"SM Dibaji","year":"2019","unstructured":"Dibaji SM, Pirani M, Flamholz DB, Annaswamy AM, Johansson KH, Chakrabortty A (2019) A systems and control perspective of CPS security. Annu Rev Control 47:394\u2013411","journal-title":"Annu Rev Control"},{"issue":"5","key":"401_CR8","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1109\/JAS.2022.105548","volume":"9","author":"W Duo","year":"2022","unstructured":"Duo W, Zhou M, Abusorrah A (2022) A survey of cyber attacks on cyber physical systems: Recent advances and challenges. IEEE\/CAA Journal of Automatica Sinica 9(5):784\u2013800","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"issue":"2","key":"401_CR9","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1109\/TPWRD.2020.2988687","volume":"36","author":"A Ghasaei","year":"2020","unstructured":"Ghasaei A, Zhang ZJ, Wonham WM, Iravani R (2020) A discrete-event supervisory control for the AC microgrid. IEEE Trans Power Delivery 36(2):663\u2013675","journal-title":"IEEE Trans Power Delivery"},{"key":"401_CR10","doi-asserted-by":"crossref","unstructured":"Hadjicostis CN, Lafortune S, Lin F, Su R (2022) Cybersecurity and supervisory control: A tutorial on robust state estimation, attack synthesis, and resilient control. In: 2022 IEEE 61st Conference on Decision and Control (CDC), pp.\u00a03020\u20133040, IEEE","DOI":"10.1109\/CDC51059.2022.9992966"},{"key":"401_CR11","volume-title":"Estimation and Inference in Discrete Event Systems","author":"CN Hadjicostis","year":"2021","unstructured":"Hadjicostis CN (2021) Estimation and Inference in Discrete Event Systems. Springer"},{"issue":"1","key":"401_CR12","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/TSG.2017.2745491","volume":"10","author":"A Kharrazi","year":"2017","unstructured":"Kharrazi A, Mishra Y, Sreeram V (2017) Discrete-event systems supervisory control for a custom power park. IEEE Transactions on Smart Grid 10(1):483\u2013492","journal-title":"IEEE Transactions on Smart Grid"},{"issue":"28","key":"401_CR13","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.ifacol.2022.10.323","volume":"55","author":"Y Li","year":"2022","unstructured":"Li Y, Hadjicostis CN, Wu N (2022) Tamper-tolerant diagnosability under bounded or unbounded attacks. IFAC-PapersOnLine 55(28):52\u201357","journal-title":"IFAC-PapersOnLine"},{"issue":"3","key":"401_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173\u2013198","journal-title":"Inf Sci"},{"key":"401_CR15","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/s10626-020-00312-2","volume":"30","author":"L Lin","year":"2020","unstructured":"Lin L, Zhu Y, Su R (2020) Synthesis of covert actuator attackers for free. Discrete Event Dynamic Systems: Theory and Applications 30:561\u2013577","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"2","key":"401_CR16","doi-asserted-by":"crossref","first-page":"3572","DOI":"10.1016\/j.ifacol.2023.10.1516","volume":"56","author":"F Lin","year":"2023","unstructured":"Lin F, Lafortune S, Wang C (2023) Diagnosability of discrete event systems under sensor attacks. IFAC-PapersOnLine 56(2):3572\u20133578","journal-title":"IFAC-PapersOnLine"},{"issue":"4","key":"401_CR17","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/s10626-022-00369-1","volume":"32","author":"S Matsui","year":"2022","unstructured":"Matsui S, Lafortune S (2022) Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Discrete Event Dynamic Systems 32(4):573\u2013610","journal-title":"Discrete Event Dynamic Systems"},{"key":"401_CR18","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.109172","volume":"121","author":"R Meira-G\u00f3es","year":"2020","unstructured":"Meira-G\u00f3es R, Kang E, Kwong RH, Lafortune S (2020) Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Automatica 121:109172","journal-title":"Automatica"},{"key":"401_CR19","unstructured":"Porche III IR (2019) Cyberwarfare: An Introduction to Information-AgeConflict.Artech House"},{"issue":"1","key":"401_CR20","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"401_CR21","doi-asserted-by":"crossref","unstructured":"Rashidinejad A, Wetzels B, Reniers M, Lin L, Zhu Y, Su R (2019) Supervisory control of discrete-event systems under attacks: An overview and outlook. 2019 18th European Control Conference (ECC), pp.\u00a01732\u20131739, IEEE","DOI":"10.23919\/ECC.2019.8795849"},{"key":"401_CR22","doi-asserted-by":"crossref","unstructured":"Reshmila S, Devanathan R (2016) Diagnosis of power system failures using observer based discrete event system. In: 2016 IEEE First International Conference on Control, Measurement and Instrumentation (CMI), pp.\u00a0131\u2013135, IEEE","DOI":"10.1109\/CMI.2016.7413725"},{"key":"401_CR23","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.conengprac.2018.10.002","volume":"82","author":"M Romero-Rodr\u00edguez","year":"2019","unstructured":"Romero-Rodr\u00edguez M, Delpoux R, Pi\u00e9trac L, Dai J, Benchaib A, Niel E (2019) An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids. Control Eng Pract 82:97\u2013107","journal-title":"Control Eng Pract"},{"key":"401_CR24","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.ress.2013.01.006","volume":"114","author":"JH Saleh","year":"2013","unstructured":"Saleh JH, Saltmarsh EA, Favar\u00f2 FM, Brevault L (2013) Accident precursors, near misses, and warning signs: Critical review and formal definitions within the framework of discrete event systems. Reliability Engineering & System Safety 114:148\u2013154","journal-title":"Reliability Engineering & System Safety"},{"issue":"9","key":"401_CR25","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"key":"401_CR26","doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, Van\u00a0Schuppen JH (2013) Control of discrete-event systems, vol.\u00a0433. Springer","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"401_CR27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.automatica.2018.04.006","volume":"94","author":"R Su","year":"2018","unstructured":"Su R (2018) Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica 94:35\u201344","journal-title":"Automatica"},{"key":"401_CR28","volume":"151","author":"R Tai","year":"2023","unstructured":"Tai R, Lin L, Su R (2023) Synthesis of optimal covert sensor-actuator attackers for discrete-event systems. Automatica 151:110910","journal-title":"Automatica"},{"key":"401_CR29","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109669","volume":"129","author":"S Takai","year":"2021","unstructured":"Takai S (2021) A general framework for diagnosis of discrete event systems subject to sensor failures. Automatica 129:109669","journal-title":"Automatica"},{"key":"401_CR30","doi-asserted-by":"crossref","first-page":"2930","DOI":"10.1109\/LCSYS.2022.3163467","volume":"6","author":"Y Tong","year":"2022","unstructured":"Tong Y, Wang Y, Giua A (2022) A polynomial approach to verifying the existence of a threatening sensor attacker. IEEE Control Systems Letters 6:2930\u20132935","journal-title":"IEEE Control Systems Letters"},{"issue":"4","key":"401_CR31","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1007\/s13235-018-0285-3","volume":"9","author":"M Wakaiki","year":"2019","unstructured":"Wakaiki M, Tabuada P, Hespanha JP (2019) Supervisory control of discrete-event systems under attacks. Dynamic Games and Applications 9(4):965\u2013983","journal-title":"Dynamic Games and Applications"},{"key":"401_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory control of discrete-event systems","author":"WM Wonham","year":"2019","unstructured":"Wonham WM, Cai K (2019) Supervisory control of discrete-event systems. Springer"},{"key":"401_CR33","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1016\/j.arcontrol.2018.03.002","volume":"45","author":"W Wonham","year":"2018","unstructured":"Wonham W, Cai K, Rudie K (2018) Supervisory control of discrete-event systems: A brief history. Annu Rev Control 45:250\u2013256","journal-title":"Annu Rev Control"},{"key":"401_CR34","doi-asserted-by":"crossref","unstructured":"Zhang Q, Li Z, Seatzu C, Giua A (2018) Stealthy attacks for partially-observed discrete event systems. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), vol.\u00a01, pp.\u00a01161\u20131164, IEEE","DOI":"10.1109\/ETFA.2018.8502501"},{"key":"401_CR35","doi-asserted-by":"crossref","unstructured":"Zhang Q, Seatzu C, Li Z, Giua A (2022) Selection of a stealthy and harmful attack function in discrete event systems. Scientific Reports 12","DOI":"10.1038\/s41598-022-19737-w"},{"issue":"2","key":"401_CR36","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/TCNS.2015.2482219","volume":"4","author":"B Zhao","year":"2015","unstructured":"Zhao B, Lin F, Wang C, Zhang X, Polis MP, Wang LY (2015) Supervisory control of networked timed discrete event systems and its applications to power distribution networks. IEEE Transactions on Control of Network Systems 4(2):146\u2013158","journal-title":"IEEE Transactions on Control of Network Systems"},{"key":"401_CR37","doi-asserted-by":"crossref","unstructured":"Zheng S, Shu S, Lin F (2021) Modeling and control of discrete event systems under joint sensor-actuator cyber attacks. In: IEEE International Conference on Automation, Control and Robotics Engineering (CACRE 2021), pp.\u00a01\u20138, IEEE","DOI":"10.1109\/CACRE52464.2021.9501323"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00401-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00401-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00401-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,18]],"date-time":"2024-09-18T12:36:08Z","timestamp":1726662968000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00401-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,12]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["401"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00401-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,12]]},"assertion":[{"value":"7 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}