{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:15:48Z","timestamp":1768338948130,"version":"3.49.0"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"http:\/\/www.ieee.org\/publications_standards\/publications\/rights\/ieeecopyrightform.pdf"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.ieee.org\/publications_standards\/publications\/rights\/ieeecopyrightform.pdf"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["D18AP00073"],"award-info":[{"award-number":["D18AP00073"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1943545"],"award-info":[{"award-number":["CNS-1943545"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/lcsys.2021.3052012","type":"journal-article","created":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T19:54:00Z","timestamp":1614282840000},"page":"151-156","source":"Crossref","is-referenced-by-count":9,"title":["Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-8512","authenticated-orcid":false,"given":"Ruochen","family":"Niu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4854-4598","authenticated-orcid":false,"given":"Syed M.","family":"Hassaan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7677-8543","authenticated-orcid":false,"given":"Liren","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Zeyuan","family":"Jin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2104-3128","authenticated-orcid":false,"given":"Sze Zheng","family":"Yong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74962-4_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2011.04.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.02.042"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.01.022"},{"key":"ref15","first-page":"147","article-title":"Parametric identification of temporal properties","author":"asarin","year":"2011","journal-title":"Proc Int Conf Runtime Verif"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029352"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.895998"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810677"},{"key":"ref19","first-page":"63","article-title":"Analysis of networked control system with packet drops governed by (m,k)-firm constraint","author":"jia","year":"2006","journal-title":"Proc Fieldbus Syst Appl"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1430"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.1989.4790413"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.817001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351714"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029941"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264424"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.03.040"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(02)00161-8"},{"key":"ref20","first-page":"353","article-title":"Impact of a (m,k)-firm data dropouts policy on the quality of control","author":"felicioni","year":"2006","journal-title":"Proc IEEE Int Workshop Fact Commun Syst"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3004503"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618714"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3041312"},{"key":"ref26","year":"2015","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7782633\/9462165\/9327462-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9462165\/09327462.pdf?arnumber=9327462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T20:30:23Z","timestamp":1635280223000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9327462\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2021.3052012","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}