{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T16:52:00Z","timestamp":1773334320667,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,26]]},"DOI":"10.1109\/icsrs68021.2025.11422059","type":"proceedings-article","created":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T19:36:03Z","timestamp":1773257763000},"page":"249-256","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification and Fault Detection Optimization of Industrial Drive Systems"],"prefix":"10.1109","author":[{"given":"Imran Riaz","family":"Hasrat","sequence":"first","affiliation":[{"name":"The Mærsk Mc-Kinney Møller Institute University of Southern Denmark,Software Engineering,Odense,Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eun-Young","family":"Kang","sequence":"additional","affiliation":[{"name":"The Mærsk Mc-Kinney Møller Institute University of Southern Denmark,Software Engineering,Odense,Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian Uldal","family":"Graulund","sequence":"additional","affiliation":[{"name":"Danfoss Drives A\/S Danfoss,Gråsten,Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"ADVANCEMENTS IN INDUSTRIAL DRIVE SYSTEMS (2024)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"ref4","volume-title":"Danfoss Drives (2024)"},{"key":"ref5","volume-title":"Safe drive controls with frequency inverter (2025)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_5"},{"key":"ref8","volume-title":"Complete Models for BDM Safety Optimization"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2023.3238378"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71187-0_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6431"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3389738"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24270-0_18"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_14"},{"issue":"5","key":"ref15","doi-asserted-by":"crossref","DOI":"10.3390\/machines10050360","article-title":"Functional safety analysis and design of sensors in robot joint drive system","volume":"10","author":"Chen","year":"2022","journal-title":"Machines"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.psep.2019.10.021","article-title":"Improving process safety: What roles for digitalization and industry 4.0?","volume":"132","author":"Lee","year":"2019","journal-title":"Process Safety and Environmental Protection"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.30941\/CESTEMS.2023.00014"},{"issue":"13","key":"ref18","doi-asserted-by":"crossref","first-page":"7115","DOI":"10.1016\/j.jfranklin.2022.06.022","article-title":"Fault detection and diagnosis strategy based on k-nearest neighbors and fuzzy c-means clustering algorithm for industrial processes","volume":"359","author":"Elshenawy","year":"2022","journal-title":"Journal of the Franklin Institute"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-020-05033-z"},{"key":"ref20","volume-title":"Model checking the mit press","volume":"988","author":"Clarke","year":"1999"}],"event":{"name":"2025 9th International Conference on System Reliability and Safety (ICSRS)","location":"Turin, Italy","start":{"date-parts":[[2025,11,26]]},"end":{"date-parts":[[2025,11,28]]}},"container-title":["2025 9th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11422028\/11422048\/11422059.pdf?arnumber=11422059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T05:00:52Z","timestamp":1773291652000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11422059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,26]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icsrs68021.2025.11422059","relation":{},"subject":[],"published":{"date-parts":[[2025,11,26]]}}}