{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:26:34Z","timestamp":1768350394364,"version":"3.49.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.23919\/acc45564.2020.9148013","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T18:02:33Z","timestamp":1595872953000},"page":"5194-5200","source":"Crossref","is-referenced-by-count":10,"title":["Optimization Based Planner\u2013Tracker Design for Safety Guarantees"],"prefix":"10.23919","author":[{"given":"He","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monimoy","family":"Bujarbaruah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Packard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.003"},{"key":"ref11","article-title":"A computationally efficient robust model predictive control framework for uncertain nonlinear systems","author":"k\u00f6hler","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619572"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref16","article-title":"Bridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots","author":"kousik","year":"2018","journal-title":"arXiv preprint arXiv 1809 06746"},{"key":"ref17","article-title":"Robust tracking with model mismatch for fast and safe planning: an sos optimization approach","author":"singh","year":"2018","journal-title":"arXiv preprint arXiv 1808 00508"},{"key":"ref18","article-title":"Continuous abstraction of non-linear systems using sum-of-squares programming","author":"smith","year":"2019","journal-title":"arXiv preprint arXiv 1909 06468"},{"key":"ref19","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"parrilo","year":"2000","journal-title":"PhD thesis"},{"key":"ref4","author":"rawlings","year":"2009","journal-title":"Model Predictive Control Theory and Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2498841"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24853-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/S0005-1098(99)00214-9","article-title":"Constrained model predictive control: Stability and optimality","volume":"36","author":"mayne","year":"2000","journal-title":"Automatica"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(96)00063-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2578706"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.009"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/10997703_1"},{"key":"ref22","article-title":"Discrete optimal control of interconnected mechanical systems","author":"nair","year":"2018","journal-title":"arXiv preprint arXiv 1809 09191"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/130914565"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/9.262032"},{"key":"ref23","article-title":"Backward reachability for polynomial systems on a finite horizon","author":"yin","year":"2019","journal-title":"arXiv preprint arXiv 1907 03225"},{"key":"ref26","article-title":"SOSOPT: A toolbox for polynomial optimization","author":"seiler","year":"2013","journal-title":"arXiv preprint arXiv 1308 1889"},{"key":"ref25","article-title":"On the sample complexity of the linear quadratic regulator","author":"dean","year":"2017","journal-title":"arXiv preprint arXiv 1710 01688"}],"event":{"name":"2020 American Control Conference (ACC)","location":"Denver, CO, USA","start":{"date-parts":[[2020,7,1]]},"end":{"date-parts":[[2020,7,3]]}},"container-title":["2020 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9140048\/9147203\/09148013.pdf?arnumber=9148013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,7]],"date-time":"2020-09-07T18:18:03Z","timestamp":1599502683000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9148013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/acc45564.2020.9148013","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}