{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T05:48:00Z","timestamp":1751348880462},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"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":[[2022,12,6]]},"DOI":"10.1109\/cdc51059.2022.9993110","type":"proceedings-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:26:56Z","timestamp":1673378816000},"page":"4270-4275","source":"Crossref","is-referenced-by-count":5,"title":["On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems"],"prefix":"10.1109","author":[{"given":"Zexiang","family":"Liu","sequence":"first","affiliation":[{"name":"Univ. of Michigan,Dept. of Electrical Engineering and Computer Science,Ann Arbor,USA,MI 48109"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[{"name":"Univ. of Michigan,Dept. of Electrical Engineering and Computer Science,Ann Arbor,USA,MI 48109"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2013.2278405"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2158210"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858464"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968231"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483385"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1100085"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.822860"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"article-title":"Computing control invariant sets is easy","year":"2017","author":"Fiacchini","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303986"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483217"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4606-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.10.011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995821"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619829"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3025248"},{"article-title":"Robust-to-dynamics optimization","year":"2018","author":"Ahmadi","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1986.1104300"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1987.1104567"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040380"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993110"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.872835"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029363"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00063-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/9.272351"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"year":"2022","key":"ref31","article-title":"Gurobi Optimizer Reference Manual"}],"event":{"name":"2022 IEEE 61st Conference on Decision and Control (CDC)","start":{"date-parts":[[2022,12,6]]},"location":"Cancun, Mexico","end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE 61st Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9992315\/9992317\/09993110.pdf?arnumber=9993110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T11:54:16Z","timestamp":1706788456000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9993110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/cdc51059.2022.9993110","relation":{},"subject":[],"published":{"date-parts":[[2022,12,6]]}}}