{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T05:56:55Z","timestamp":1774763815706,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"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":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1109\/tase.2021.3074548","type":"journal-article","created":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T21:06:00Z","timestamp":1620075960000},"page":"2187-2202","source":"Crossref","is-referenced-by-count":5,"title":["Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4970-2540","authenticated-orcid":false,"given":"Gang","family":"Chen","sequence":"first","affiliation":[{"name":"School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0491-2480","authenticated-orcid":false,"given":"Peng","family":"Wei","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Aerospace Engineering, University of California at Davis, Davis, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0398-3108","authenticated-orcid":false,"given":"Mei","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Automation, School of Electrical and Information Engineering, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2478131"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIA.2012.2226857"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2011.0453"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3017755"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2020.3031515"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2323212"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-007-9060-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875053"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2440095"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2020.2984976"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2465091"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.2007498"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-011-0013-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.11.004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3299"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2008.0517"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2018.2819655"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2010.06.021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2017.2753164"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2017.06.013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_30"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2019.2906160"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585083"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2016.2541342"},{"key":"ref27","volume-title":"Support Vector Machines","author":"Steinwart","year":"2008"},{"key":"ref28","first-page":"1441","article-title":"Gaussian process dynamical models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Wang"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_27"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2455111"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/033"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.019"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798979"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798967"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ymssp.2020.106951"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2007.902452"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/9814439\/09422112.pdf?arnumber=9422112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:57:54Z","timestamp":1704841074000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9422112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2021.3074548","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7]]}}}