{"id":"https://openalex.org/W4396853365","doi":"https://doi.org/10.1109/aero58975.2024.10521346","title":"Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering","display_name":"Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering","publication_year":2024,"publication_date":"2024-03-02","ids":{"openalex":"https://openalex.org/W4396853365","doi":"https://doi.org/10.1109/aero58975.2024.10521346"},"language":"en","primary_location":{"id":"doi:10.1109/aero58975.2024.10521346","doi":"https://doi.org/10.1109/aero58975.2024.10521346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aero58975.2024.10521346","pdf_url":null,"source":{"id":"https://openalex.org/S4210171417","display_name":"IEEE Aerospace Conference (AERO)","issn_l":"1095-323X","issn":["1095-323X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Aerospace Conference","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2402.14723","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092830723","display_name":"Cassie-Kay McQuinn","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cassie-Kay McQuinn","raw_affiliation_strings":["Texas A&M University,Department of Aerospace Engineering,College Station,TX,77843"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Texas A&M University,Department of Aerospace Engineering,College Station,TX,77843","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003007448","display_name":"Kyle M. Dunlap","orcid":"https://orcid.org/0000-0002-5869-1380","observed_orcids":["https://orcid.org/0000-0002-5869-1380"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kyle Dunlap","raw_affiliation_strings":["Parallax Advanced Research,Beavercreek,OH,45431"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Parallax Advanced Research,Beavercreek,OH,45431","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062691664","display_name":"Nathaniel P. Hamilton","orcid":"https://orcid.org/0000-0002-7147-1964","observed_orcids":["https://orcid.org/0000-0002-7147-1964"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nathaniel Hamilton","raw_affiliation_strings":["Parallax Advanced Research,Beavercreek,OH,45431"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Parallax Advanced Research,Beavercreek,OH,45431","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051239437","display_name":"J. Wilson","orcid":"https://orcid.org/0000-0002-3017-9705","observed_orcids":["https://orcid.org/0000-0002-3017-9705"]},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jabari Wilson","raw_affiliation_strings":["University of Florida,Department of Mechanical Engineering,Gainesville,Florida,32611"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida,Department of Mechanical Engineering,Gainesville,Florida,32611","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062437401","display_name":"Kerianne L. Hobbs","orcid":"https://orcid.org/0000-0001-5215-2231","observed_orcids":["https://orcid.org/0000-0001-5215-2231"]},"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"]},{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kerianne L. Hobbs","raw_affiliation_strings":["Air Force Research Laboratory,Wright-Patterson AFB,OH,45433"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory,Wright-Patterson AFB,OH,45433","institution_ids":["https://openalex.org/I1280414376","https://openalex.org/I2799950915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.0925,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.94838179,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11082","display_name":"Spacecraft Dynamics and Control","score":0.9667999744415283,"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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.9667999744415283,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.00860000029206276,"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/T11701","display_name":"Space Satellite Systems and Control","score":0.007600000128149986,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/runtime-assurance","display_name":"runtime assurance","score":0.9670000076293945},{"id":"https://openalex.org/keywords/on-orbit-servicing","display_name":"on-orbit servicing","score":0.7160000205039978},{"id":"https://openalex.org/keywords/control-barrier-functions","display_name":"control barrier functions","score":0.996999979019165},{"id":"https://openalex.org/keywords/slack-variables","display_name":"slack variables","score":0.7570000290870667},{"id":"https://openalex.org/keywords/constraint-prioritization","display_name":"constraint prioritization","score":0.5339999794960022}],"concepts":[{"id":"https://openalex.org/C29829512","wikidata":"https://www.wikidata.org/wiki/Q40218","display_name":"Spacecraft","level":2,"score":0.6596325635910034},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6041101813316345},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.574715793132782},{"id":"https://openalex.org/C155710575","wikidata":"https://www.wikidata.org/wiki/Q83001","display_name":"Attitude control","level":2,"score":0.5320155620574951},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5160524249076843},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.46454715728759766},{"id":"https://openalex.org/C2778857364","wikidata":"https://www.wikidata.org/wiki/Q974850","display_name":"Missile","level":2,"score":0.4203779101371765},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3439156413078308},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.31566429138183594},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.28786322474479675},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.14031222462654114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/aero58975.2024.10521346","doi":"https://doi.org/10.1109/aero58975.2024.10521346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aero58975.2024.10521346","pdf_url":null,"source":{"id":"https://openalex.org/S4210171417","display_name":"IEEE Aerospace Conference (AERO)","issn_l":"1095-323X","issn":["1095-323X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Aerospace Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2402.14723","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2402.14723","pdf_url":"https://arxiv.org/pdf/2402.14723","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2402.14723","doi":"https://doi.org/10.48550/arxiv.2402.14723","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2402.14723","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2402.14723","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2402.14723","pdf_url":"https://arxiv.org/pdf/2402.14723","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396853365.pdf","grobid_xml":"https://content.openalex.org/works/W4396853365.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W636927631","https://openalex.org/W1615359958","https://openalex.org/W1891170951","https://openalex.org/W2560504659","https://openalex.org/W2811286873","https://openalex.org/W2902211075","https://openalex.org/W2914264703","https://openalex.org/W2923120257","https://openalex.org/W2925329277","https://openalex.org/W3120051544","https://openalex.org/W3203074617","https://openalex.org/W3203411949","https://openalex.org/W3212908294","https://openalex.org/W4221144464","https://openalex.org/W4234926707","https://openalex.org/W4299675538","https://openalex.org/W4307876719","https://openalex.org/W4319453558","https://openalex.org/W4382936178"],"related_works":["https://openalex.org/W4389981976","https://openalex.org/W4319453558","https://openalex.org/W3203411949","https://openalex.org/W4294690994","https://openalex.org/W4391325196","https://openalex.org/W4403826616","https://openalex.org/W4388903666","https://openalex.org/W7220678664","https://openalex.org/W7023474489","https://openalex.org/W7140079097"],"abstract_inverted_index":{"A":[0,46],"fundamental":[1],"capability":[2],"for":[3,146,174,249],"On-orbit":[4],"Servicing,":[5],"Assembly,":[6],"and":[7,73,148,204,247],"Manufacturing":[8],"(OSAM)":[9],"is":[10,62,110,137,191,232],"inspection":[11],"of":[12,32,48,59,76,92,125,242,253],"the":[13,19,54,74,77,93,114,121,126,141,218],"vehicle":[14],"to":[15,28,80,113,139,160,183,194,197,200,208,221,228],"be":[16,44,51],"serviced,":[17],"or":[18],"structure":[20],"being":[21],"assembled.":[22],"This":[23,108],"research":[24,61,87],"assumes":[25],"autonomous":[26],"slewing":[27,202],"maintain":[29,195],"situational":[30],"awareness":[31],"multiple":[33],"vehicles":[34],"operating":[35],"in":[36],"close":[37],"proximity":[38],"where":[39],"several":[40],"safety":[41,82,133,223,230],"constraints":[42,94,224,231],"must":[43],"satisfied.":[45],"variety":[47],"techniques":[49],"may":[50],"used":[52],"as":[53,238,240],"primary":[55,78,115,127],"controller.":[56],"The":[57,135],"focus":[58],"this":[60,86],"developing":[63],"Run":[64],"Time":[65],"Assurance":[66],"(RTA)":[67],"filters":[68],"that":[69],"monitor":[70],"system":[71],"behavior":[72],"output":[75,124],"controller":[79,220],"enforce":[81],"constraint":[83],"satisfaction.":[84],"Specifically,":[85],"explores":[88],"combining":[89],"a":[90,152,226,250],"subset":[91],"into":[95,217],"an":[96],"Active":[97],"Set":[98],"Invariance":[99],"Filter":[100],"(ASIF)":[101],"RTA":[102,136],"defined":[103],"using":[104],"control":[105,116,123],"barrier":[106],"functions.":[107],"method":[109],"minimally":[111],"invasive":[112],"by":[117],"minimizing":[118],"deviation":[119],"from":[120],"desired":[122],"controller,":[128],"while":[129],"simultaneously":[130],"enforcing":[131],"all":[132,229],"constraints.":[134],"designed":[138],"ensure":[140],"spacecraft":[142,255],"maintains":[143,171],"attitude":[144,162,169,172,259],"requirements":[145,173],"communication":[147,157],"data":[149],"transfer":[150],"with":[151,256],"ground":[153],"station":[154],"during":[155],"scheduled":[156],"windows,":[158],"adheres":[159],"conical":[161],"keep":[163],"out":[164],"zones,":[165],"limits":[166,193],"thermally":[167],"unfavorable":[168],"duration,":[170],"sufficient":[175],"power":[176],"generation,":[177],"ensures":[178,187],"maneuvers":[179],"are":[180,215,245],"below":[181,192],"threshold":[182],"cause":[184],"structural":[185],"damage,":[186],"maximum":[188],"angular":[189],"velocity":[190],"ability":[196],"respond":[198],"quickly":[199],"new":[201],"commands,":[203],"conserves":[205],"actuator":[206],"use":[207],"prevent":[209],"wear":[210],"when":[211,225],"possible.":[212],"Slack":[213],"variables":[214],"introduced":[216],"ASIF":[219],"prioritize":[222],"solution":[227],"infeasible.":[233],"Monte":[234],"Carlo":[235],"simulation":[236],"results":[237],"well":[239],"plots":[241],"example":[243],"cases":[244],"shown":[246],"evaluated":[248],"three":[251],"degree":[252],"freedom":[254],"reaction":[257],"wheel":[258],"control.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2024-05-14T00:00:00"}