{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:45:57Z","timestamp":1752669957933,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"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":[],"published-print":{"date-parts":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10156074","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"4284-4289","source":"Crossref","is-referenced-by-count":2,"title":["Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics"],"prefix":"10.23919","author":[{"given":"Kristina","family":"Miller","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign,Graduate Researcher in the Electrical and Computer Engineering Department,Urbana,IL,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John Matthew","family":"Brewer","sequence":"additional","affiliation":[{"name":"Air Force Research Laboratory, Kirtland AFB,Research Engineers at the Space Vehicles Directorate,NM.,USA,87108"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander A.","family":"Soderlund","sequence":"additional","affiliation":[{"name":"Air Force Research Laboratory, Kirtland AFB,Research Engineers at the Space Vehicles Directorate,NM.,USA,87108"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Phillips","sequence":"additional","affiliation":[{"name":"Air Force Research Laboratory, Kirtland AFB,Research Engineers at the Space Vehicles Directorate,NM.,USA,87108"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294220"},{"key":"ref12","first-page":"1391","article-title":"Computational complexity certification for real-time mpc with input constraints based on the fast gradient method","volume":"57","author":"richter","year":"2011","journal-title":"IEEE TAC"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2514\/8.8704"},{"journal-title":"Orbital Mechanics for Engineering Students","year":"2013","author":"curtis","key":"ref30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.805688"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/AERO50100.2021.9438434"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1984.1103519"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO55745.2023.10115976"},{"journal-title":"ESA Space Debris Office Darmstadt Germany Tech Rep GEN-DB-LOG-00288-OPS-SD","article-title":"Esa’s annual space environment report","year":"2022","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-7132"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref18","first-page":"2073","article-title":"Provably-correct robot control with LTLMoP, OMPL and ROS","author":"wong","year":"2013","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968485"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2019.XV.051"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref22","first-page":"629","article-title":"Fast and guaranteed safe controller synthesis for nonlinear vehicle models","author":"fan","year":"2020","journal-title":"CAV"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.493"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9961-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/6.2021-1126"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915577958"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798769"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798765"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2022-0956"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84474-5_8"}],"event":{"name":"2023 American Control Conference (ACC)","start":{"date-parts":[[2023,5,31]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10156074.pdf?arnumber=10156074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T17:40:38Z","timestamp":1692639638000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10156074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":33,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10156074","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}