{"id":"https://openalex.org/W7085228332","doi":"https://doi.org/10.1109/tsmc.2025.3614484","title":"Modeling Cyber\u2013Physical Systems for Fault Diagnosis","display_name":"Modeling Cyber\u2013Physical Systems for Fault Diagnosis","publication_year":2025,"publication_date":"2025-10-07","ids":{"openalex":"https://openalex.org/W7085228332","doi":"https://doi.org/10.1109/tsmc.2025.3614484"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2025.3614484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2025.3614484","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tsmc.2025.3614484","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Alexander Diedrich","orcid":"https://orcid.org/0000-0002-8674-6895"},"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":"Alexander Diedrich","raw_affiliation_strings":["Helmut-Schmidt-University, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8674-6895","affiliations":[{"raw_affiliation_string":"Helmut-Schmidt-University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Mattias Krysander","orcid":"https://orcid.org/0000-0003-4965-1077"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mattias Krysander","raw_affiliation_strings":["Linköping University, Linköping, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-4965-1077","affiliations":[{"raw_affiliation_string":"Linköping University, Linköping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rene Heesch","orcid":"https://orcid.org/0000-0003-1147-8205"},"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":"Rene Heesch","raw_affiliation_strings":["Helmut-Schmidt-University, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1147-8205","affiliations":[{"raw_affiliation_string":"Helmut-Schmidt-University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"last","author":{"id":null,"display_name":"Oliver Niggemann","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":"Oliver Niggemann","raw_affiliation_strings":["Helmut-Schmidt-University, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut-Schmidt-University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7834,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.93921534,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"55","issue":"12","first_page":"9266","last_page":"9279"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10316","display_name":"Sleep and related disorders","score":0.9641000032424927,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10316","display_name":"Sleep and related disorders","score":0.9641000032424927,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10985","display_name":"Sleep and Wakefulness Research","score":0.014600000344216824,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T13944","display_name":"Psychiatric care and mental health services","score":0.0020000000949949026,"subfield":{"id":"https://openalex.org/subfields/3203","display_name":"Clinical Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.47850000858306885},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4458000063896179},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4447000026702881},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43369999527931213},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.4000999927520752},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.3995000123977661},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.38839998841285706},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.3873000144958496},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.3824000060558319}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.626800000667572},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5153999924659729},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.47850000858306885},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4458000063896179},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4447000026702881},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43369999527931213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4011000096797943},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.4000999927520752},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.3995000123977661},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.38839998841285706},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3873000144958496},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3824000060558319},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.38089999556541443},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.3474000096321106},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.335099995136261},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.319599986076355},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.2992999851703644},{"id":"https://openalex.org/C13625343","wikidata":"https://www.wikidata.org/wiki/Q7627418","display_name":"Stuck-at fault","level":4,"score":0.29179999232292175},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.28459998965263367},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.2526000142097473}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tsmc.2025.3614484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2025.3614484","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},{"id":"pmh:oai:DiVA.org:liu-219074","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-219074","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/tsmc.2025.3614484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2025.3614484","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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 Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Existing":[0],"algorithms":[1,31],"for":[2,102],"consistency-based":[3,103],"fault":[4,104,155,174],"diagnosis":[5,30,175],"are":[6],"sound":[7,171],"and":[8,24,52,64,87,114,122,166,172,194],"complete":[9,173],"according":[10],"to":[11,34,48,69,98,137,153],"some":[12],"correct":[13],"logical":[14],"model.":[15],"But":[16],"obtaining":[17],"a":[18,95,189],"good":[19],"model":[20,90,99],"is":[21],"the":[22,28,50,108,117,125,164,186],"crucial":[23],"difficult":[25],"part.":[26],"Originally,":[27],"classical":[29],"were":[32,46],"developed":[33],"analyze":[35],"Boolean":[36,195],"circuits,":[37],"such":[38],"that":[39,67],"simple":[40],"propositional":[41],"or":[42],"predicate":[43],"logic":[44],"models":[45,119],"sufficient":[47],"express":[49],"structure":[51,83,121],"behavior.":[53],"Cyber\u2013physical":[54],"systems,":[55],"however,":[56],"exhibit":[57],"hybrid":[58],"behavior,":[59],"meaning":[60],"they":[61],"generate":[62],"continuous":[63],"discrete":[65],"values":[66,152],"need":[68],"be":[70],"interpreted.":[71],"This":[72,92],"adds":[73],"significant":[74],"complexity.":[75],"Furthermore,":[76],"modern":[77],"cyber\u2013physical":[78,100],"systems":[79,101],"may":[80],"change":[81],"their":[82,85],"over":[84],"lifetime":[86],"thus":[88],"require":[89],"adaptations.":[91],"article":[93],"presents":[94],"novel":[96],"formalism":[97],"diagnosis.":[105],"Drawing":[106],"from":[107,185],"research":[109],"fields":[110],"of":[111,127,144,150,159,163,191,203],"artificial":[112],"intelligence":[113],"control":[115],"theory,":[116],"approach":[118,133,178],"system":[120],"behavior":[123,146],"through":[124,141],"use":[126],"satisfiability":[128],"modulo":[129],"nonlinear":[130,145],"arithmetic.":[131],"The":[132,177],"proves":[134],"advantageous":[135],"compared":[136],"previous":[138],"modeling":[139],"techniques":[140],"its":[142,157,167],"integration":[143,168],"models,":[147],"implicit":[148],"computation":[149],"residual":[151],"compute":[154],"symptoms,":[156],"representation":[158],"different":[160],"operating":[161],"modes":[162],"system,":[165],"with":[169],"existing":[170],"algorithms.":[176],"was":[179,205],"validated":[180],"empirically":[181],"using":[182],"two":[183],"benchmarks":[184],"process":[187],"industry,":[188],"simulation":[190],"battery":[192],"packs,":[193],"standard":[196],"circuits.":[197],"Throughout":[198],"all":[199],"experiments,":[200],"an":[201],"accuracy":[202],"97%":[204],"achieved.":[206]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-20T23:13:51.555489","created_date":"2025-10-10T00:00:00"}