{"id":"https://openalex.org/W7169613382","doi":"https://doi.org/10.1109/access.2026.3714676","title":"Contextualizing Timed Automata via Knowledge Graphs for Agentic LLM-Based Fault Diagnosis","display_name":"Contextualizing Timed Automata via Knowledge Graphs for Agentic LLM-Based Fault Diagnosis","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7169613382","doi":"https://doi.org/10.1109/access.2026.3714676"},"language":"en","primary_location":{"id":"doi:10.1109/access.2026.3714676","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714676","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2026.3714676","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078130599","display_name":"Tom Westermann","orcid":null},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tom Westermann","raw_affiliation_strings":["Helmut Schmidt University"],"raw_orcid":"https://orcid.org/0000-0002-8716-0554","affiliations":[{"raw_affiliation_string":"Helmut Schmidt University","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069339549","display_name":"Felix Gehlhoff","orcid":"https://orcid.org/0000-0002-8383-5323"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Gehlhoff","raw_affiliation_strings":["Helmut Schmidt University"],"raw_orcid":"https://orcid.org/0000-0002-8383-5323","affiliations":[{"raw_affiliation_string":"Helmut Schmidt University","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016841027","display_name":"Alexander Fay","orcid":"https://orcid.org/0000-0002-1922-654X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Fay","raw_affiliation_strings":["Ruhr University Bochum"],"raw_orcid":"https://orcid.org/0000-0002-1922-654X","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.8988484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"110216","last_page":"110233"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.26030001044273376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.26030001044273376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.1670999974012375,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.09510000050067902,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7441999912261963},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4853000044822693},{"id":"https://openalex.org/keywords/knowledge-graph","display_name":"Knowledge graph","score":0.4580000042915344},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.3763999938964844},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.3504999876022339},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.34619998931884766},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.30799999833106995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7883999943733215},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7441999912261963},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5875999927520752},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4853000044822693},{"id":"https://openalex.org/C2987255567","wikidata":"https://www.wikidata.org/wiki/Q33002955","display_name":"Knowledge graph","level":2,"score":0.4580000042915344},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3763999938964844},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35100001096725464},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.3504999876022339},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3285999894142151},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.2782999873161316},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.2732999920845032},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2696000039577484},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.2635999917984009},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.25859999656677246},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.25850000977516174}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2026.3714676","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714676","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:78d326432fc946f69f8c6c269f8da9dc","is_oa":false,"landing_page_url":"https://doaj.org/article/78d326432fc946f69f8c6c269f8da9dc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 14, Pp 110216-110233 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2026.3714676","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3714676","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Timed":[0],"automata":[1],"learned":[2,74,195],"from":[3,49],"fault-free":[4,157],"operation":[5],"data":[6],"are":[7,213],"an":[8,50],"established":[9],"tool":[10],"for":[11,23],"anomaly":[12,52,120],"detection":[13],"in":[14,82,92,156,170],"Cyber-Physical":[15],"Production":[16],"Systems,":[17],"but":[18],"they":[19,96],"provide":[20],"no":[21],"mechanism":[22],"fault":[24,126,204,208],"diagnosis:":[25],"the":[26,30,36,43,69,73,77,93,166,183],"automaton":[27,75],"operates":[28],"at":[29,186],"signal":[31],"level":[32],"and":[33,89,114],"encodes":[34],"neither":[35,207],"physical":[37,78,94],"meaning":[38],"of":[39,118,144,172,194],"its":[40,54,87],"states":[41,88,154],"nor":[42,210],"causal":[44],"relationships":[45],"needed":[46],"to":[47,53],"reason":[48],"observed":[51,155],"root":[55,116,168],"cause.":[56],"We":[57],"address":[58],"this":[59,100],"by":[60],"constructing":[61],"a":[62,103,135,199],"semantically":[63],"enriched":[64],"knowledge":[65,101],"graph":[66],"that":[67,191],"supplies":[68],"missing":[70],"context,":[71],"integrating":[72],"with":[76],"plant":[79],"model":[80,107],"represented":[81],"AutomationML.":[83],"Thus,":[84],"we":[85],"ground":[86],"detected":[90,119],"anomalies":[91],"process":[95],"represent.":[97],"Building":[98],"on":[99,134,153,160],"graph,":[102],"two-stage":[104],"large":[105],"language":[106],"agent":[108],"pipeline":[109],"generates":[110],"natural-language":[111],"state":[112,147],"descriptions":[113,148],"diagnoses":[115],"causes":[117],"syndromes":[121],"without":[122],"task-specific":[123],"training":[124],"data,":[125],"signature":[127],"libraries,":[128],"or":[129],"manually":[130],"crafted":[131],"rules.":[132],"Evaluated":[133],"simulated":[136],"modular":[137],"production":[138],"system":[139],"benchmark":[140],"across":[141],"ten":[142],"configurations":[143],"increasing":[145],"complexity,":[146],"achieve":[149],"near-perfect":[150],"accuracy":[151],"(99.5%":[152],"operation,":[158],"100%":[159],"anomaly-induced":[161],"states).":[162],"Syndrome":[163],"diagnosis":[164,205],"identified":[165],"correct":[167],"cause":[169],"99.4%":[171],"localized":[173],"faults.":[174],"Propagating":[175],"faults,":[176],"whose":[177],"effects":[178],"span":[179],"multiple":[180],"states,":[181],"remain":[182],"harder":[184],"case":[185],"76.5%.":[187],"The":[188],"results":[189],"demonstrate":[190],"semantic":[192],"grounding":[193],"behavioral":[196],"models":[197],"is":[198],"viable":[200],"path":[201],"toward":[202],"adaptive":[203],"where":[206],"history":[209],"expert":[211],"annotations":[212],"available.":[214]},"counts_by_year":[],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2026-07-18T00:00:00"}