{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,14]],"date-time":"2026-06-14T07:06:15Z","timestamp":1781420775690,"version":"3.54.1"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tsmc.2025.3614484","type":"journal-article","created":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T17:47:35Z","timestamp":1759859255000},"page":"9266-9279","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Cyber\u2013Physical Systems for Fault Diagnosis"],"prefix":"10.1109","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8674-6895","authenticated-orcid":false,"given":"Alexander","family":"Diedrich","sequence":"first","affiliation":[{"name":"Helmut-Schmidt-University, Hamburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4965-1077","authenticated-orcid":false,"given":"Mattias","family":"Krysander","sequence":"additional","affiliation":[{"name":"Linköping University, Linköping, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1147-8205","authenticated-orcid":false,"given":"Rene","family":"Heesch","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-University, Hamburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[{"name":"Helmut-Schmidt-University, Hamburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(97)00053-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2021.104636"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3025"},{"key":"ref6","article-title":"Model-based on-board diagnosis and tools for the developer of on-board systems -VMBD and IDD: Two projects of the European car industries","author":"Struss","year":"2002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.02.060187.001051"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3233\/faia230490"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4503"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-419-0-405"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011452"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.291"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.36001\/phmconf.2019.v11i1.839"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012727"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.219"},{"key":"ref17","first-page":"8","article-title":"Automated design of grey-box recurrent neural networks for fault diagnosis using structural models and causal information","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Jung"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/323"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3230639"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA52439.2022.9921546"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN45523.2021.9557516"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.289"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10710901"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2013.09.018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102258"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS48405.2020.9274707"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-28916-3_1"},{"key":"ref28","volume-title":"Verifying Cyber-Physical Systems: A Path to Safe Autonomy","author":"Mitra","year":"2021"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v26i1.8442"},{"key":"ref30","volume-title":"Issues of Fault Diagnosis for Dynamic Systems","author":"Patton","year":"2013"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3390\/app9071286"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893487"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0016-0032(98)90001-1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2710132"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17728-7"},{"key":"ref36","first-page":"1","article-title":"Hierarchical diagnosis in strong fault models","volume-title":"Proc. 25th Int. Workshop Princ. Diagnosis","author":"Stern"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74962-4_3"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12387.001.0001"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/155"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59491-6_25"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2021.101404"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.3390\/s18041016"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1177\/0037549710364478"},{"key":"ref44","article-title":"Fault diagnosis utilizing structural analysis","author":"Krysander","year":"2002"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3631612"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA241000"},{"key":"ref47","first-page":"1","article-title":"Applying simulated annealing to problems in model-based diagnosis","volume-title":"Proc. Int. Workshop Princ. Diagnosis","author":"Diedrich"},{"key":"ref48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","volume":"10","author":"Clarke","year":"2018"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ROSE.2003.1218700"},{"key":"ref50","first-page":"460","article-title":"Interpolation of irregularly sampled data series\u2014A survey","volume-title":"Astronomical Data Analysis Software and Systems IV","volume":"77","author":"Adorf"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945484"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17728-7_7"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108687"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)42915-6"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303744"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuroimage.2010.02.059"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10710695"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.36001\/phmconf.2021.v13i1.2983"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2015.7392050"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.244"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.36001\/phmconf.2024.v16i1.4141"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2020.103826"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/PHM61473.2024.00070"},{"key":"ref64","article-title":"Z3\u2014A tutorial","author":"De Moura","year":"2012"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198522294.002.0003"},{"key":"ref66","first-page":"1053","article-title":"Behavioral diagnosis of LTL specifications at operator level","volume-title":"Proc. 23rd Int. Joint Conf. Artif. Intell.","author":"Pill"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6221021\/11260954\/11194731.pdf?arnumber=11194731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T05:59:09Z","timestamp":1763618349000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11194731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":66,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2025.3614484","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}