{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:32Z","timestamp":1760828852530},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/tac.2009.2033860","type":"journal-article","created":{"date-parts":[[2009,11,20]],"date-time":"2009-11-20T15:37:10Z","timestamp":1258731430000},"page":"2915-2920","source":"Crossref","is-referenced-by-count":10,"title":["A Sufficient Condition for Invalidation of Linear State-Space Systems With Uncertain Time-Varying Parameters"],"prefix":"10.1109","volume":"54","author":[{"given":"A.","family":"Johansson","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.506236"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4587255"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434431"},{"key":"ref13","author":"kantorovich","year":"1982","journal-title":"Functional Analysis"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.07.002"},{"key":"ref15","author":"dahleh","year":"1995","journal-title":"Control of Uncertain Systems"},{"key":"ref16","year":"0"},{"key":"ref17","first-page":"284","article-title":"yalmip: a toolbox for modeling and optimization in matlab","author":"lfberg","year":"2004","journal-title":"Proc CACSD Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00049-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.975509"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:20045015"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856646"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1024666428387","article-title":"worst-case simulation of discrete linear time-invariant interval dynamic systems","volume":"9","author":"puig","year":"2003","journal-title":"Reliable Comput"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.587309"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00152-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5340373\/05332267.pdf?arnumber=5332267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:00:11Z","timestamp":1633914011000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5332267\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":17,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2009.2033860","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}