{"id":"https://openalex.org/W4389981976","doi":"https://doi.org/10.1109/tcst.2023.3340624","title":"Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions","display_name":"Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions","publication_year":2023,"publication_date":"2023-12-19","ids":{"openalex":"https://openalex.org/W4389981976","doi":"https://doi.org/10.1109/tcst.2023.3340624"},"language":"en","primary_location":{"id":"doi:10.1109/tcst.2023.3340624","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2023.3340624","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033268677","display_name":"Matthew Abate","orcid":"https://orcid.org/0000-0002-5999-5853"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew Abate","raw_affiliation_strings":["School of Mechanical Engineering and the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Mechanical Engineering and the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055293025","display_name":"Mark Mote","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mark Mote","raw_affiliation_strings":["Pytheia, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Pytheia, Atlanta, GA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057379952","display_name":"Mehregan Dor","orcid":"https://orcid.org/0000-0002-1670-0103"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mehregan Dor","raw_affiliation_strings":["School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010849696","display_name":"Corbin Klett","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corbin Klett","raw_affiliation_strings":["School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013304222","display_name":"Sean Phillips","orcid":"https://orcid.org/0000-0001-9074-6049"},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sean Phillips","raw_affiliation_strings":["Space Control Branch, Air Force Research Laboratory, Kirtland AFB, NM, USA"],"affiliations":[{"raw_affiliation_string":"Space Control Branch, Air Force Research Laboratory, Kirtland AFB, NM, USA","institution_ids":["https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045122517","display_name":"Kendra Lang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142582","display_name":"Verus Research (United States)","ror":"https://ror.org/04de8hn78","country_code":"US","type":"company","lineage":["https://openalex.org/I4210142582"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kendra Lang","raw_affiliation_strings":["Verus Research, Albuquerque, NM, USA"],"affiliations":[{"raw_affiliation_string":"Verus Research, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I4210142582"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077667229","display_name":"Panagiotis Tsiotras","orcid":"https://orcid.org/0000-0001-7563-4129"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Panagiotis Tsiotras","raw_affiliation_strings":["School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041459160","display_name":"\u00c9ric F\u00e9ron","orcid":"https://orcid.org/0000-0001-7717-2159"},"institutions":[{"id":"https://openalex.org/I71920554","display_name":"King Abdullah University of Science and Technology","ror":"https://ror.org/01q3tbs38","country_code":"SA","type":"education","lineage":["https://openalex.org/I71920554"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Eric Feron","raw_affiliation_strings":["School of Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010552433","display_name":"Samuel Coogan","orcid":"https://orcid.org/0000-0003-0495-1535"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Coogan","raw_affiliation_strings":["School of Electrical and Computer Engineering and the School of Civil and Environmental Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering and the School of Civil and Environmental Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5033268677"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":1.3221,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85200019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"32","issue":"3","first_page":"862","last_page":"873"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13855","display_name":"Aerospace Engineering and Control Systems","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13855","display_name":"Aerospace Engineering and Control Systems","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/spacecraft","display_name":"Spacecraft","score":0.7590154409408569},{"id":"https://openalex.org/keywords/attitude-control","display_name":"Attitude control","score":0.7273834943771362},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6721963882446289},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4927375614643097},{"id":"https://openalex.org/keywords/spacecraft-design","display_name":"Spacecraft design","score":0.48790618777275085},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4775184690952301},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.4735540449619293},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.41142675280570984},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4091237485408783},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.35057228803634644},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.33695188164711},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.32893919944763184},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20486071705818176},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1192617118358612}],"concepts":[{"id":"https://openalex.org/C29829512","wikidata":"https://www.wikidata.org/wiki/Q40218","display_name":"Spacecraft","level":2,"score":0.7590154409408569},{"id":"https://openalex.org/C155710575","wikidata":"https://www.wikidata.org/wiki/Q83001","display_name":"Attitude control","level":2,"score":0.7273834943771362},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6721963882446289},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4927375614643097},{"id":"https://openalex.org/C551646850","wikidata":"https://www.wikidata.org/wiki/Q7572667","display_name":"Spacecraft design","level":3,"score":0.48790618777275085},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4775184690952301},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.4735540449619293},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.41142675280570984},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4091237485408783},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.35057228803634644},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.33695188164711},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.32893919944763184},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20486071705818176},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1192617118358612}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcst.2023.3340624","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2023.3340624","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G1454423435","display_name":null,"funder_award_id":"FA9550-19-1-0015","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1552702174","https://openalex.org/W1880805667","https://openalex.org/W2038017247","https://openalex.org/W2046927420","https://openalex.org/W2052446317","https://openalex.org/W2065798383","https://openalex.org/W2101413622","https://openalex.org/W2102694374","https://openalex.org/W2105863608","https://openalex.org/W2133404041","https://openalex.org/W2151310265","https://openalex.org/W2158984244","https://openalex.org/W2234962923","https://openalex.org/W2251401173","https://openalex.org/W2331901616","https://openalex.org/W2491336180","https://openalex.org/W2560504659","https://openalex.org/W2590862645","https://openalex.org/W2621176930","https://openalex.org/W2894039538","https://openalex.org/W2914086653","https://openalex.org/W2952454357","https://openalex.org/W2968945909","https://openalex.org/W2993990461","https://openalex.org/W3011144385","https://openalex.org/W3034983612","https://openalex.org/W3119736848","https://openalex.org/W3120640427","https://openalex.org/W3121064143","https://openalex.org/W3157921268","https://openalex.org/W3176360342","https://openalex.org/W3185770339","https://openalex.org/W4206415900","https://openalex.org/W4237969418","https://openalex.org/W4283391004","https://openalex.org/W4285308154","https://openalex.org/W4286908791","https://openalex.org/W4287268997","https://openalex.org/W6679392325","https://openalex.org/W6739123554","https://openalex.org/W6792271774","https://openalex.org/W6802055229","https://openalex.org/W6839693761","https://openalex.org/W6981478510","https://openalex.org/W7023474489","https://openalex.org/W7026838699"],"related_works":["https://openalex.org/W1589553868","https://openalex.org/W2734340365","https://openalex.org/W290703985","https://openalex.org/W1998736187","https://openalex.org/W2040613208","https://openalex.org/W4388390187","https://openalex.org/W2075623787","https://openalex.org/W2073512859","https://openalex.org/W2051622862","https://openalex.org/W1964932009"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"a":[3,9,16,34,52,90,140],"comprehensive":[4],"development":[5],"and":[6,51,71,142],"testing":[7],"of":[8,74,88,99,115,126,175],"run":[10,104],"time":[11,177],"assurance":[12],"(RTA)":[13],"filter":[14,56,79,145,170],"for":[15,27,43,48,67,159],"torque-controlled":[17],"spacecraft":[18,45],"in":[19,118],"free":[20],"rotational":[21],"motion":[22],"with":[23],"torque":[24],"actuation":[25],"limits":[26],"which":[28],"the":[29,44,82,100,111,123,132,143,147,160,168],"objective":[30],"is":[31,41,57,84,108,163],"to":[32,152],"enforce":[33],"line-of-sight":[35],"constraint.":[36],"A":[37],"nondeterministic":[38],"dynamical":[39],"model":[40],"considered":[42],"that":[46,81],"accounts":[47],"disturbance":[49],"torques,":[50],"guaranteed":[53],"safe":[54,92],"RTA":[55,78,144,169],"constructed":[58],"using":[59],"recent":[60],"results":[61],"from":[62],"mixed":[63],"monotone":[64],"systems":[65],"theory":[66],"reachable":[68,97],"set":[69,94],"overapproximations":[70],"optimization-based":[72],"computation":[73,176],"invariant":[75],"sets.":[76],"The":[77,106,155],"ensures":[80],"system":[83],"always":[85],"within":[86],"reach":[87],"an":[89],"priori":[91],"terminal":[93],"by":[95,139],"computing":[96],"sets":[98],"dynamics":[101],"online":[102],"at":[103,122],"time.":[105],"approach":[107],"demonstrated":[109],"on":[110],"Autonomous":[112],"Spacecraft":[113],"Testing":[114],"Robotic":[116],"Operations":[117],"Space":[119],"(ASTROS)":[120],"platform":[121,162],"Georgia":[124],"Institute":[125],"Technology,":[127],"Atlanta,":[128],"GA,":[129],"USA.":[130],"In":[131],"experiment,":[133],"potentially":[134],"unsafe":[135],"inputs":[136,149],"are":[137],"provided":[138],"human,":[141],"overrides":[146],"human-commanded":[148],"when":[150],"necessary":[151],"guarantee":[153],"safety.":[154],"controller":[156,179],"update":[157],"rate":[158],"ASTROS":[161],"about":[164,172],"10":[165],"Hz,":[166],"while":[167],"requires":[171],"1":[173],"ms":[174],"per":[178],"update.":[180]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}