{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:11:48Z","timestamp":1761293508460},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798767","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"3312-3318","source":"Crossref","is-referenced-by-count":10,"title":["Computing reach-avoid sets for space vehicle docking under continuous thrust"],"prefix":"10.1109","author":[{"given":"Baisravan","family":"HomChaudhuri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meeko","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Shubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morgan","family":"Baldwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. Scott","family":"Erwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"448","article-title":"Multi-parametric toolbox (MPT)","author":"kvasnica","year":"2004","journal-title":"Hybrid Systems Computation and Control ser Lecture Notes in Computer Science 2993"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/3.4145"},{"key":"ref12","article-title":"Model predictive control for spacecraft rendezvous and docking with a rotating\/tumbling platform and for debris avoidance","author":"park","year":"2011","journal-title":"Proceedings of the American Control Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2379639"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.06.001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"journal-title":"Hybrid control of air traffic management systems","year":"1998","author":"tomlin","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-007-9174-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377036"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"journal-title":"Demonstration of autonomous rendezvous technology mishap investigation board review","year":"2007","author":"dennehy","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798767.pdf?arnumber=7798767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T01:54:41Z","timestamp":1506995681000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798767","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}