{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:24:45Z","timestamp":1725755085412},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1931982,CCF-1918123"],"award-info":[{"award-number":["CNS-1931982,CCF-1918123"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001810","name":"NSFC","doi-asserted-by":"publisher","award":["62320106005"],"award-info":[{"award-number":["62320106005"]}],"id":[{"id":"10.13039\/501100001810","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.23919\/acc60939.2024.10644670","type":"proceedings-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:19Z","timestamp":1725558979000},"page":"1172-1179","source":"Crossref","is-referenced-by-count":0,"title":["Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets"],"prefix":"10.23919","author":[{"given":"Mohamed","family":"Serry","sequence":"first","affiliation":[{"name":"University of Waterloo,Department of Applied Mathematics,Waterloo,Ontario,Canada"}]},{"given":"Liren","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Artificial Intelligence and Automation, Huazhong University of Science and Technology,Wuhan,China,430074"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[{"name":"University of Michigan,Department of Electrical Engineering and Computer Science,Ann Arbor,MI,USA,48105"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Waterloo,Department of Applied Mathematics,Waterloo,Ontario,Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.07.023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717652"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CACS50047.2020.9289780"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/02783649231186165"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3153712"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3207415"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111169"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069723"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-x_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2008.4738704"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3057504"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3276290"},{"volume-title":"Reachability analysis and its application to the safety assessment of autonomous cars","year":"2010","author":"Althoff","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3123228"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110204"},{"key":"ref21","article-title":"On computing the minkowski difference of zonotopes","author":"Althoff","year":"2015","journal-title":"arXiv preprint"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.29007\/zbkv"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197971"}],"event":{"name":"2024 American Control Conference (ACC)","start":{"date-parts":[[2024,7,10]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2024,7,12]]}},"container-title":["2024 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10644130\/10644150\/10644670.pdf?arnumber=10644670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:12:12Z","timestamp":1725693132000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10644670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/acc60939.2024.10644670","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]}}}