{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T20:04:11Z","timestamp":1784923451968,"version":"3.55.0"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Project ProMoDi through the dtec.bw\u2014Digitalization and Technology Research Center of the Bundeswehr, funded by European Union\u2013NextGenerationEU"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/access.2026.3714676","type":"journal-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T19:45:58Z","timestamp":1784317558000},"page":"110216-110233","source":"Crossref","is-referenced-by-count":0,"title":["Contextualizing Timed Automata via Knowledge Graphs for Agentic LLM-Based Fault Diagnosis"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8716-0554","authenticated-orcid":false,"given":"Tom","family":"Westermann","sequence":"first","affiliation":[{"name":"Helmut Schmidt University","place":["Hamburg, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8383-5323","authenticated-orcid":false,"given":"Felix","family":"Gehlhoff","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University","place":["Hamburg, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1922-654X","authenticated-orcid":false,"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum","place":["Bochum, Germany"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2020.103298"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v26i1.8296"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9762"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/pr11020369"},{"key":"ref6","article-title":"ReAct: Synergizing reasoning and acting in language models","author":"Yao","year":"2023","journal-title":"arXiv:2210.03629"},{"key":"ref7","first-page":"1","article-title":"Think-on-graph: Deep and responsible reasoning of large language model on knowledge graph","volume-title":"Proc. 12th Int. Conf. Learn. Represent.","author":"Sun"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/etfa65518.2025.11205680"},{"key":"ref9","article-title":"Identification of timed behavior models for diagnosis in production systems","author":"Maier","year":"2015"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2020.103826"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.5220\/0003538903630369"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref13","volume-title":"RDF 1.1 Concepts and Abstract Syntax","year":"2014"},{"key":"ref14","volume-title":"OWL 2 Web Ontology Language Document Overview (Second Edition)","year":"2012"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/iecon51785.2023.10312156"},{"key":"ref16","volume-title":"IEC 62714-1: Engineering Data Exchange Format for Use in Industrial Automation Systems Engineering\u2014Automation Markup Language\u2014Part 1: Architecture and General Requirements","year":"2018"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/etfa.2008.4638461"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1515\/9783110746235"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ojies.2026.3672995"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3233\/SW-180320"},{"key":"ref21","volume-title":"Condition Monitoring and Diagnostics of Machines\u2014General Guidelines","year":"2018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref23","article-title":"A survey of large language models","author":"Xin Zhao","year":"2023","journal-title":"arXiv:2303.18223"},{"key":"ref24","first-page":"9459","article-title":"Retrieval-augmented generation for knowledge-intensive NLP tasks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"33","author":"Lewis"},{"key":"ref25","article-title":"Retrieval-augmented generation with graphs (GraphRAG)","author":"Han","year":"2024","journal-title":"arXiv:2501.00309"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2997"},{"key":"ref27","volume-title":"Model Context Protocol Specification","year":"2024"},{"key":"ref28","first-page":"217","article-title":"On the learning of timing behavior for anomaly detection in cyber-physical production systems","volume-title":"Proc. 26th Int. Workshop Princ. Diagnosis (DX)","author":"Maier"},{"key":"ref29","article-title":"Efficient identification of timed automata: Theory and practice","author":"Verwer","year":"2010"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_26"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2018.11.009"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012727"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/tii.2024.3367010"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/jsen.2025.3649083"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10710690"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-024-12998-x"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2025.2472298"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2023.109850"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2023.102333"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/tii.2024.3366977"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/tim.2025.3550999"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2025.04.003"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/etfa65518.2025.11205597"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2020.2991777"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/11323511\/11613958.pdf?arnumber=11613958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T19:08:18Z","timestamp":1784920098000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11613958\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/access.2026.3714676","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}