{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T17:10:28Z","timestamp":1769015428422,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T00:00:00Z","timestamp":1768953600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T00:00:00Z","timestamp":1768953600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s11704-025-41289-1","type":"journal-article","created":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T01:43:31Z","timestamp":1768959811000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A novel efficient model for testing diagnosability of discrete event systems under sensor attacks"],"prefix":"10.1007","volume":"20","author":[{"given":"Qifei","family":"Li","sequence":"first","affiliation":[]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[]},{"given":"Xiangfu","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Luyu","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Ran","family":"Tai","sequence":"additional","affiliation":[]},{"given":"Liming","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,21]]},"reference":[{"key":"41289_CR1","first-page":"2814","volume-title":"Proceedings of the 34th AAAI Conference on Artificial Intelligence","author":"A Feldman","year":"2020","unstructured":"Feldman A, Pill I, Wotawa F, Matei I, de Kleer J. Efficient model-based diagnosis of sequential circuits. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence. 2020, 2814\u20132821"},{"key":"41289_CR2","first-page":"3885","volume-title":"Proceedings of the 36th AAAI Conference on Artificial Intelligence","author":"H Zhou","year":"2022","unstructured":"Zhou H, Ouyang D, Zhao X, Zhang L. Two compacted models for efficient model-based diagnosis. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 3885\u20133893"},{"key":"41289_CR3","first-page":"3084","volume-title":"Proceedings of the 33rd AAAI Conference on Artificial Intelligence","author":"R Stern","year":"2019","unstructured":"Stern R, Juba B. Safe partial diagnosis from normal observations. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence. 2019, 3084\u20133091"},{"key":"41289_CR4","first-page":"5869","volume-title":"Proceedings of the 36th AAAI Conference on Artificial Intelligence","author":"P Rodler","year":"2022","unstructured":"Rodler P. Random vs. best-first: impact of sampling strategies on decision making in model-based diagnosis. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 5869\u20135878"},{"key":"41289_CR5","first-page":"12334","volume-title":"Proceedings of the 36th AAAI Conference on Artificial Intelligence","author":"M Kalech","year":"2022","unstructured":"Kalech M, Natan A. Model-based diagnosis of multi-agent systems: a survey. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 12334\u201312341"},{"key":"41289_CR6","doi-asserted-by":"publisher","first-page":"109768","DOI":"10.1016\/j.engappai.2024.109768","volume":"141","author":"R Tai","year":"2025","unstructured":"Tai R, Ouyang D, Liu W, Jiang L, Zhang L. A novel approach to model-based diagnosis with multiple observations. Engineering Applications of Artificial Intelligence, 2025, 141: 109768","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"4","key":"41289_CR7","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1109\/TR.2021.3115130","volume":"70","author":"X Zhao","year":"2021","unstructured":"Zhao X, Tong X, Ouyang D, Zhang L, Hou Y. TreeMerge: efficient generation of minimal hitting-sets for conflict sets in tree structure for model-based fault diagnosis. IEEE Transactions on Reliability, 2021, 70(4): 1596\u20131610","journal-title":"IEEE Transactions on Reliability"},{"issue":"8","key":"41289_CR8","doi-asserted-by":"publisher","first-page":"2108","DOI":"10.1016\/j.automatica.2014.05.035","volume":"50","author":"S Shu","year":"2014","unstructured":"Shu S, Lin F. Decentralized control of networked discrete event systems with communication delays. Automatica, 2014, 50(8): 2108\u20132112","journal-title":"Automatica"},{"issue":"2","key":"41289_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10626-017-0265-6","volume":"28","author":"C E V Nunes","year":"2018","unstructured":"Nunes C E V, Moreira M V, Alves M V S, Carvalho L K, Basilio J C. Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dynamic Systems, 2018, 28(2): 215\u2013246","journal-title":"Discrete Event Dynamic Systems"},{"key":"41289_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/CCA.2002.1040188","volume-title":"Proceedings of the International Conference on Control Applications","author":"D Gorinevsky","year":"2002","unstructured":"Gorinevsky D, Dittmar K, Mylaraswamy D, Nwadiogbu E. Model-based diagnostics for an aircraft auxiliary power unit. In: Proceedings of the International Conference on Control Applications. 2002, 215\u2013220"},{"issue":"9","key":"41289_CR11","doi-asserted-by":"publisher","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. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 1995, 40(9): 1555\u20131575","journal-title":"IEEE Transactions on Automatic Control"},{"key":"41289_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1613\/jair.1.14630","volume":"78","author":"G Lamperti","year":"2023","unstructured":"Lamperti G, Trerotola S, Zanella M, Zhao X. Sequence-oriented diagnosis of discrete-event systems. Journal of Artificial Intelligence Research, 2023, 78: 69\u2013141","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"8","key":"41289_CR13","doi-asserted-by":"publisher","first-page":"2842","DOI":"10.1007\/s12555-020-0100-y","volume":"19","author":"A Boussif","year":"2021","unstructured":"Boussif A, Ghazel M. Tuning the diagnoser-based approach for diagnosability analysis of finite automata. International Journal of Control, Automation and Systems, 2021, 19(8): 2842\u20132858","journal-title":"International Journal of Control, Automation and Systems"},{"issue":"8","key":"41289_CR14","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R. A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 2001, 46(8): 1318\u20131321","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"41289_CR15","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T S Yoo","year":"2002","unstructured":"Yoo T S, Lafortune S. Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Transactions on Automatic Control, 2002, 47(9): 1491\u20131495","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"41289_CR16","doi-asserted-by":"publisher","first-page":"6093","DOI":"10.1016\/j.ifacol.2023.10.703","volume":"56","author":"R Meira-G\u00f3es","year":"2023","unstructured":"Meira-G\u00f3es R, Wintenberg A, Matsui S, Lafortune S. MDESops: an open-source software tool for discrete event systems modeled by automata. IFAC-PapersOnLine, 2023, 56(2): 6093\u20136098","journal-title":"IFAC-PapersOnLine"},{"key":"41289_CR17","first-page":"1265","volume-title":"Proceedings of the 35th International Joint Conference on Artificial Intelligence","author":"X Su","year":"2016","unstructured":"Su X, Zanella M, Grastien A. Diagnosability of discrete-event systems with uncertain observations. In: Proceedings of the 35th International Joint Conference on Artificial Intelligence. 2016, 1265\u20131271"},{"key":"41289_CR18","volume-title":"Proceedings of the 31st AAAI Conference on Artificial Intelligence","author":"H Ibrahim","year":"2017","unstructured":"Ibrahim H, Dague P, Grastien A, Ye L, Simon L. Diagnosability planning for controllable discrete event systems. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. 2017"},{"key":"41289_CR19","doi-asserted-by":"publisher","first-page":"104116","DOI":"10.1016\/j.artint.2024.104116","volume":"331","author":"C J Christopher","year":"2024","unstructured":"Christopher C J, Grastien A. Critical observations in model-based diagnosis. Artificial Intelligence, 2024, 331: 104116","journal-title":"Artificial Intelligence"},{"issue":"10","key":"41289_CR20","doi-asserted-by":"publisher","first-page":"4237","DOI":"10.1109\/TAC.2019.2893873","volume":"64","author":"X Yin","year":"2019","unstructured":"Yin X, Chen J, Li Z, Li S. Robust fault diagnosis of stochastic discrete event systems. IEEE Transactions on Automatic Control, 2019, 64(10): 4237\u20134244","journal-title":"IEEE Transactions on Automatic Control"},{"key":"41289_CR21","first-page":"305","volume-title":"Proceedings of the 32nd AAAI Conference on Artificial Intelligence","author":"A Grastien","year":"2007","unstructured":"Grastien A, Anbulagan, Rintanen J, Kelareva E. Diagnosis of discrete-event systems using satisfiability algorithms. In: Proceedings of the 32nd AAAI Conference on Artificial Intelligence. 2007, 305\u2013310"},{"issue":"24","key":"41289_CR22","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1016\/j.ifacol.2018.09.721","volume":"51","author":"L He","year":"2018","unstructured":"He L, Ye L, Dague P. SMT-based diagnosability analysis of real-time systems. IFAC-PapersOnLine, 2018, 51(24): 1059\u20131066","journal-title":"IFAC-PapersOnLine"},{"key":"41289_CR23","doi-asserted-by":"publisher","first-page":"103305","DOI":"10.1016\/j.engappai.2019.103305","volume":"87","author":"X Geng","year":"2020","unstructured":"Geng X, Ouyang D, Jiang Z. Pattern diagnosis for stochastic discrete event systems. Engineering Applications of Artificial Intelligence, 2020, 87: 103305","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"41289_CR24","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.engappai.2016.03.008","volume":"53","author":"X Geng","year":"2016","unstructured":"Geng X, Ouyang D, Zhao X, Hao S. Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Engineering Applications of Artificial Intelligence, 2016, 53: 53\u201361","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"41289_CR25","volume-title":"Cyberwarfare: An Introduction to Information-Age Conflict","author":"I R Porche III","year":"2020","unstructured":"Porche III I R. Cyberwarfare: An Introduction to Information-Age Conflict. Norwood: Artech House, 2020"},{"key":"41289_CR26","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1016\/j.arcontrol.2019.04.011","volume":"47","author":"S M Dibaji","year":"2019","unstructured":"Dibaji S M, Pirani M, Flamholz D B, Annaswamy A M, Johansson K H, Chakrabortty A. A systems and control perspective of CPS security. Annual Reviews in Control, 2019, 47: 394\u2013411","journal-title":"Annual Reviews in Control"},{"issue":"5","key":"41289_CR27","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/JAS.2022.105548","volume":"9","author":"W Duo","year":"2022","unstructured":"Duo W, Zhou M, Abusorrah A. A survey of cyber attacks on cyber physical systems: recent advances and challenges. IEEE\/CAA Journal of Automatica Sinica, 2022, 9(5): 784\u2013800","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"issue":"2","key":"41289_CR28","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TCNS.2023.3312249","volume":"11","author":"S Zheng","year":"2024","unstructured":"Zheng S, Shu S, Lin F. Modeling and control of discrete-event systems under joint sensor-actuator cyberattacks. IEEE Transactions on Control of Network Systems, 2024, 11(2): 782\u2013794","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"3","key":"41289_CR29","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s10626-024-00401-6","volume":"34","author":"F Lin","year":"2024","unstructured":"Lin F, Lafortune S, Wang C. Diagnosability and attack detection for discrete event systems under sensor attacks. Discrete Event Dynamic Systems, 2024, 34(3): 465\u2013495","journal-title":"Discrete Event Dynamic Systems"},{"key":"41289_CR30","doi-asserted-by":"publisher","first-page":"109172","DOI":"10.1016\/j.automatica.2020.109172","volume":"121","author":"R Meira-G\u00f3es","year":"2020","unstructured":"Meira-G\u00f3es R, Kang E, Kwong R H, Lafortune S. Synthesis of sensor deception attacks at the supervisory layer of Cyber\u2013Physical Systems. Automatica, 2020, 121: 109172","journal-title":"Automatica"},{"key":"41289_CR31","first-page":"3020","volume-title":"Proceedings of the 61st IEEE Conference on Decision and Control","author":"C N Hadjicostis","year":"2022","unstructured":"Hadjicostis C N, Lafortune S, Lin F, Su R. Cybersecurity and supervisory control: a tutorial on robust state estimation, attack synthesis, and resilient control. In: Proceedings of the 61st IEEE Conference on Decision and Control. 2022, 3020\u20133040"},{"issue":"2","key":"41289_CR32","doi-asserted-by":"publisher","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. Diagnosability of discrete event systems under sensor attacks. IFAC-PapersOnLine, 2023, 56(2): 3572\u20133578","journal-title":"IFAC-PapersOnLine"},{"key":"41289_CR33","unstructured":"Gupta A, Suzumura T. Finding all bounded-length simple cycles in a directed graph. 2021, arXiv preprint arXiv: 2105.10094"},{"issue":"1","key":"41289_CR34","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"D B Johnson","year":"1975","unstructured":"Johnson D B. Finding all the elementary circuits of a directed graph. SIAM Journal on Computing, 1975, 4(1): 77\u201384","journal-title":"SIAM Journal on Computing"},{"key":"41289_CR35","first-page":"1","volume-title":"Proceedings of 2019 International Conference on Control, Automation and Diagnosis","author":"M Chankate","year":"2019","unstructured":"Chankate M, Philippot A, Carre-Menetrier V, Marange P. Checking diagnosability on centralized model of the system. In: Proceedings of 2019 International Conference on Control, Automation and Diagnosis. 2019, 1\u20136"},{"key":"41289_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to Discrete Event Systems","author":"C G Cassandras","year":"2021","unstructured":"Cassandras C G, Lafortune S. Introduction to Discrete Event Systems. 3rd ed. Cham: Springer, 2021","edition":"3rd ed."}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-025-41289-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-025-41289-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-025-41289-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T01:43:34Z","timestamp":1768959814000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-025-41289-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,21]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["41289"],"URL":"https:\/\/doi.org\/10.1007\/s11704-025-41289-1","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,21]]},"assertion":[{"value":"28 November 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 January 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"2006403"}}