{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:13Z","timestamp":1776333493705,"version":"3.51.2"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2018,7,1]],"date-time":"2018-07-01T00:00:00Z","timestamp":1530403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61732001"],"award-info":[{"award-number":["61732001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11290141"],"award-info":[{"award-number":["11290141"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11271034"],"award-info":[{"award-number":["11271034"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61532019"],"award-info":[{"award-number":["61532019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61625206"],"award-info":[{"award-number":["61625206"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61732001"],"award-info":[{"award-number":["61732001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61502467"],"award-info":[{"award-number":["61502467"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"publisher","award":["2014CB340701"],"award-info":[{"award-number":["2014CB340701"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CDZ Project CAP","award":["GZ 1023"],"award-info":[{"award-number":["GZ 1023"]}]},{"DOI":"10.13039\/501100005231","name":"CAS\/SAFEA International Partnership Program for Creative Research Teams","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005231","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/tac.2017.2763785","type":"journal-article","created":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T18:04:19Z","timestamp":1508436259000},"page":"2003-2018","source":"Crossref","is-referenced-by-count":31,"title":["Reachability Analysis for Solvable Dynamical Systems"],"prefix":"10.1109","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4880-5129","authenticated-orcid":false,"given":"Ting","family":"Gan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9663-7441","authenticated-orcid":false,"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7808-0934","authenticated-orcid":false,"given":"Yangjia","family":"Li","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2570-2338","authenticated-orcid":false,"given":"Bican","family":"Xia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3298-3817","authenticated-orcid":false,"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","author":"tarski","year":"1951","journal-title":"A decision method for elementary algebra and geometry"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.009"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_37"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049798"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658592"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.004"},{"key":"ref37","first-page":"303","article-title":"Real root isolation for exp-log functions","author":"strzebo?ski","year":"2008","journal-title":"Proc Int Symp Symbolic Algebraic Comput"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0327"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/j.jsc.2007.01.002","article-title":"Generating all polynomial invariants in simple loops","volume":"42","author":"rodr","year":"2007","journal-title":"J Symbolic Comput"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0157"},{"key":"ref10","first-page":"134","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","author":"collins","year":"1975","journal-title":"Proc 2nd GI Conf on Automata and Formal Languages"},{"key":"ref40","article-title":"How can we provide people with cyber-physical systems they can bet their lives on?","volume":"20","author":"wing","year":"2008","journal-title":"Computing Research News"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-3406-1_7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/261320.261324"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_34"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810321"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_22"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608676"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80010-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934548"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390799"},{"key":"ref9","first-page":"100:1","article-title":"On the Skolem problem for continuous linear dynamical systems","author":"chonev","year":"2016","journal-title":"Proc 43rd Int Colloq Automata Lang Program"},{"key":"ref1","year":"0"},{"key":"ref20","author":"hardy","year":"1979","journal-title":"An Introduction to the Theory of Numbers"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/96877.96943"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1080\/03081079.2012.757604"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_78"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.09.015"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2004.1383661"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8395242\/08074754.pdf?arnumber=8074754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T22:11:56Z","timestamp":1659651116000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8074754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":43,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2017.2763785","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7]]}}}