{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:58:49Z","timestamp":1752670729541,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0015"],"award-info":[{"award-number":["FA9550-19-1-0015"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Defense under STTR Contract","award":["FA9453-19-C-0621"],"award-info":[{"award-number":["FA9453-19-C-0621"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1109\/tcst.2023.3340624","type":"journal-article","created":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T19:53:59Z","timestamp":1703015639000},"page":"862-873","source":"Crossref","is-referenced-by-count":2,"title":["Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5999-5853","authenticated-orcid":false,"given":"Matthew","family":"Abate","sequence":"first","affiliation":[{"name":"School of Mechanical Engineering and the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}]},{"given":"Mark","family":"Mote","sequence":"additional","affiliation":[{"name":"Pytheia, Atlanta, GA, USA"}]},{"given":"Mehregan","family":"Dor","sequence":"additional","affiliation":[{"name":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}]},{"given":"Corbin","family":"Klett","sequence":"additional","affiliation":[{"name":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9074-6049","authenticated-orcid":false,"given":"Sean","family":"Phillips","sequence":"additional","affiliation":[{"name":"Space Control Branch, Air Force Research Laboratory, Kirtland AFB, NM, USA"}]},{"given":"Kendra","family":"Lang","sequence":"additional","affiliation":[{"name":"Verus Research, Albuquerque, NM, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7563-4129","authenticated-orcid":false,"given":"Panagiotis","family":"Tsiotras","sequence":"additional","affiliation":[{"name":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}]},{"given":"Eric","family":"Feron","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0495-1535","authenticated-orcid":false,"given":"Samuel","family":"Coogan","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering and the School of Civil and Environmental Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Run time assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems","author":"Hobbs","year":"2021","journal-title":"arXiv:2110.03506"},{"article-title":"Optimization-based approaches to safety-critical control with applications to space systems","year":"2021","author":"Mote","key":"ref2"},{"article-title":"Elicitation and formal specification of run time assurance requirements for aerospace collision avoidance systems","year":"2020","author":"Hobbs","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.154"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21236\/ADA307890"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref7","article-title":"The black-box simplex architecture for runtime assurance of autonomous CPS","author":"Mehmood","year":"2021","journal-title":"arXiv:2102.12981"},{"article-title":"Ariadne: A common-sense thread for enabling provable safety in air mobility systems with unreliable components","year":"2021","author":"Sanni","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3457335.3461706"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00018"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304203"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456656"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304391"},{"key":"ref17","first-page":"23","article-title":"Monotone flows and order intervals","volume":"1","author":"Gouz\u00e9","year":"1994","journal-title":"Nonlinear World"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.03.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2005.05.007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2909815"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.12.015"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00285-008-0155-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311808"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2902643"},{"issue":"9","key":"ref26","first-page":"439","article-title":"A survey of attitude representations","volume":"8","author":"Shuster","year":"1993","journal-title":"Navigation"},{"issue":"3","key":"ref27","first-page":"243","article-title":"A new parameterization of the attitude kinematics","volume":"43","author":"Tsiotras","year":"1995","journal-title":"J. Astron. Sci."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00010-T"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.025"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4606-6"},{"article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","year":"2000","author":"Parrilo","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/10997703_1"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3182\/20120620-3-DK-2025.00016"},{"key":"ref34","article-title":"Linear matrix inequal","volume-title":"System and Control Theory","volume":"15","author":"Boyd","year":"1994"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/9.728877"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656562"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001085"},{"key":"ref38","article-title":"Tight remainder-form decomposition functions with applications to constrained reachability and interval observer design","author":"Khajenejad","year":"2021","journal-title":"arXiv:2103.08638"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304461"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483264"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3136652"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6_2"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1869"},{"article-title":"Nonlinear pose control and estimation for space proximity operations: An approach based on dual quaternions","year":"2014","author":"Filipe","key":"ref44"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/10508710\/10365665.pdf?arnumber=10365665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T19:17:48Z","timestamp":1714763868000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10365665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2023.3340624","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"type":"print","value":"1063-6536"},{"type":"electronic","value":"1558-0865"},{"type":"electronic","value":"2374-0159"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}