{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:14:47Z","timestamp":1761293687521},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263854","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"1427-1432","source":"Crossref","is-referenced-by-count":6,"title":["Verified hybrid LQ control for autonomous spacecraft rendezvous"],"prefix":"10.1109","author":[{"given":"Nicole","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","article-title":"Autonomous rendezvous, capture and in-space assembly: past, present and future","author":"zimpfer","year":"2005","journal-title":"AIAA 1st Space Exploration Conference"},{"key":"ref30","article-title":"The role of software in recent catastrophic accidents","author":"wong","year":"0","journal-title":"IEEE Reliability Society 2009 Annual Technology Report"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-319-63387-9_22"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-319-41528-4_29"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/CDC.2016.7798766"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-540-31954-2_17"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-3-642-22110-1_30"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.2514\/6.2003-6368"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/2560217.2560218"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/CDC.2016.7798767"},{"key":"ref18","article-title":"Survey of verification and validation techniques for small satellite software development","author":"jacklin","year":"2015","journal-title":"Space tech expo"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/CDC.2016.7798765"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1016\/0005-1098(75)90010-2"},{"key":"ref4","article-title":"Verifying safety of an autonomous spacecraft rendezvous mission","author":"chan","year":"2017","journal-title":"ARCHI7"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/j.ast.2007.02.009"},{"key":"ref3","article-title":"Formal verification and validation of aadl models","author":"bozzano","year":"2010","journal-title":"Erts"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/EMSOFT.2013.6658604"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.2514\/1.30734"},{"key":"ref5","article-title":"Constrained discrete-time state-dependent riccati equation technique: A model predictive control approach","author":"chang","year":"2013","journal-title":"CDC"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/2968478.2968482"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-662-46681-0_5"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.2514\/8.8704"},{"key":"ref9","article-title":"Bounded verification with on-the-fiy discrepancy computation","author":"fan","year":"2015","journal-title":"ATVA"},{"year":"0","journal-title":"Computer Assisted Proofs in Dynamic Groups (CAPD)","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/j.ifacol.2015.08.093"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-642-32759-9_22"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1049\/ip-d.1987.0012"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/CDC.2016.7798769"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","author":"kearns","year":"1994","journal-title":"An Introduction to Computational Learning Theory"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1080\/00207216208937454"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1002\/(SICI)1099-1239(19980415\/30)8:4\/5<401::AID-RNC361>3.0.CO;2-U"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2017,12,12]]},"location":"Melbourne, Australia","end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263854.pdf?arnumber=8263854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T14:31:47Z","timestamp":1570631507000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263854\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263854","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}