{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:18:23Z","timestamp":1780053503324,"version":"3.54.0"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"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":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1109\/tcst.2022.3216077","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:54:58Z","timestamp":1667512498000},"page":"1133-1148","source":"Crossref","is-referenced-by-count":14,"title":["Abort-Safe Spacecraft Rendezvous on Elliptic Orbits"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3117-302X","authenticated-orcid":false,"given":"Daniel","family":"Aguilar-Marsillach","sequence":"first","affiliation":[{"name":"General Motors Research and Development, Warren, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2363-2807","authenticated-orcid":false,"given":"Stefano","family":"Di Cairano","sequence":"additional","affiliation":[{"name":"Mitsubishi Electric Research Laboratories, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4261-3038","authenticated-orcid":false,"given":"Avishai","family":"Weiss","sequence":"additional","affiliation":[{"name":"Mitsubishi Electric Research Laboratories, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/1.G001913"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.asr.2015.09.005"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543388"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000115"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/2.4943"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2514\/1.G002374"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739349"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2514\/1.G003249"},{"key":"ref19","first-page":"20","article-title":"Verifying safety of an autonomous spacecraft rendezvous mission","volume":"48","author":"chan","year":"2017","journal-title":"Proc Int Work Appl Verification Continuous Hybrid Syst"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1051\/eucass\/201306137"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2008.08.006"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483328"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.2514\/1.G004549"},{"key":"ref42","author":"rawlings","year":"2009","journal-title":"Model Predictive Control Theory and Design"},{"key":"ref41","author":"curtis","year":"2013","journal-title":"Relative Motion and Rendezvous Orbital Mechanics for Engineering Students"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683322"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2514\/1.29590"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2020.9150540"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2827"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8446"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-1314619"},{"key":"ref6","first-page":"1","article-title":"Practical rendezvous scenario for transportation missions to CIS-lunar station in earth-moon L2 Halo orbit","author":"murakami","year":"2015","journal-title":"Proc 25th Int Symp Space Flight Dyn"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.paerosci.2014.03.002"},{"key":"ref40","author":"junkins","year":"2009","journal-title":"Analytical Mechanics of Space Systems"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.09.006"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814345"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2018.04.009"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2018.2879938"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431585"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2379639"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.G002507"},{"key":"ref1","year":"2016","journal-title":"NASA Space Technology Roadmaps and Priorities Revisited"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303782"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147957"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109546"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798767"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.07.102"},{"key":"ref20","first-page":"16","article-title":"Continuous and hybrid systems with linear continuous dynamics","volume":"74","author":"althoff","year":"2020","journal-title":"Proc Int Work Appl Verification Continuous Hybrid Syst"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"1416","DOI":"10.2514\/1.G003389","article-title":"Reachability analysis of planar spacecraft docking with rotating body in close proximity","volume":"41","author":"zagaris","year":"2018","journal-title":"J Guid Control Dyn"},{"key":"ref21","first-page":"49","article-title":"Continuous and hybrid systems with nonlinear dynamics","volume":"74","author":"geretti","year":"2020","journal-title":"Proc Int Work Appl Verification Continuous Hybrid Syst"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2012.6178080"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref29","author":"blanchini","year":"2007","journal-title":"Set-Theoretic Methods in Control"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/10108397\/09938411.pdf?arnumber=9938411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T15:02:06Z","timestamp":1684162926000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9938411\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":49,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2022.3216077","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5]]}}}