{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:40:06Z","timestamp":1755880806276,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T00:00:00Z","timestamp":1714089600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,26]]},"DOI":"10.1145\/3653644.3653652","type":"proceedings-article","created":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T18:24:49Z","timestamp":1726856689000},"page":"211-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Diagnostic Determination in Real-Time Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5650-4884","authenticated-orcid":false,"given":"Xin","family":"Wang","sequence":"first","affiliation":[{"name":"Inner Mongolia University of Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7864-1648","authenticated-orcid":false,"given":"Kaiming","family":"Shi","sequence":"additional","affiliation":[{"name":"Inner Mongolia University of Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8953-6240","authenticated-orcid":false,"given":"Mingliang","family":"Chen","sequence":"additional","affiliation":[{"name":"State Grid Electric Power Research Institute Co., Ltd, China and \rState Grid Electric Power Research Institute Testing and Certification Technology Co., Ltd, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2717-3126","authenticated-orcid":false,"given":"Lulu","family":"He","sequence":"additional","affiliation":[{"name":"Changzhou Institute of Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Manifestability verification of discrete event systems[C]\/\/DX 2019-30th International Workshop on Principles of Diagnosis","author":"Ye L","year":"2019","unstructured":"Ye L, Dague P, He L. Manifestability verification of discrete event systems[C]\/\/DX 2019-30th International Workshop on Principles of Diagnosis. 2019, 19: 1-9."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/s11334-019-00357-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1016\/j.ifacol.2018.09.721"},{"volume-title":"4th International Conference for Emerging Technology (INCET). IEEE","author":"Aglawe H","unstructured":"Aglawe H, Bhore P, Kelkar S, Event Driven Fault Diagnosis and Partition Detection (ED-FDPD) Algorithm[C]\/\/2023 4th International Conference for Emerging Technology (INCET). IEEE, 2023: 1-7.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/LSP.2023.3296038"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TAES.2023.3297570"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/JIOT.2022.3204267"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/TWC.2022.3215965"},{"key":"e_1_3_2_1_9_1","volume-title":"A theory of timed automata[J]. Theoretical computer science","author":"Alur R","year":"1994","unstructured":"Alur R, Dill D L. A theory of timed automata[J]. Theoretical computer science, 1994, 126(2): 183-235."},{"key":"e_1_3_2_1_10_1","volume-title":"An incremental approach for pattern diagnosability in distributed discrete event systems[C]\/\/2009 21st IEEE International Conference on Tools with Artificial Intelligence","author":"Ye L","year":"2009","unstructured":"Ye L, Dague P, Yan Y. An incremental approach for pattern diagnosability in distributed discrete event systems[C]\/\/2009 21st IEEE International Conference on Tools with Artificial Intelligence. IEEE, 2009: 123-130."}],"event":{"acronym":"FAIML 2024","name":"FAIML 2024: 2024 3rd International Conference on Frontiers of Artificial Intelligence and Machine Learning","location":"Yichang China"},"container-title":["Proceedings of the 2024 3rd International Conference on Frontiers of Artificial Intelligence and Machine Learning"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653644.3653652","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3653644.3653652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:24:31Z","timestamp":1755879871000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653644.3653652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,26]]},"references-count":10,"alternative-id":["10.1145\/3653644.3653652","10.1145\/3653644"],"URL":"https:\/\/doi.org\/10.1145\/3653644.3653652","relation":{},"subject":[],"published":{"date-parts":[[2024,4,26]]},"assertion":[{"value":"2024-09-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}