{"id":"https://openalex.org/W4404835555","doi":"https://doi.org/10.1109/taes.2024.3508665","title":"Onboard Mission Planning for Autonomous Avoidance of Spacecraft Subject to Various Orbital Threats: An SMT-Based Approach","display_name":"Onboard Mission Planning for Autonomous Avoidance of Spacecraft Subject to Various Orbital Threats: An SMT-Based Approach","publication_year":2024,"publication_date":"2024-11-28","ids":{"openalex":"https://openalex.org/W4404835555","doi":"https://doi.org/10.1109/taes.2024.3508665"},"language":"en","primary_location":{"id":"doi:10.1109/taes.2024.3508665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/taes.2024.3508665","pdf_url":null,"source":{"id":"https://openalex.org/S193624734","display_name":"IEEE Transactions on Aerospace and Electronic Systems","issn_l":"0018-9251","issn":["0018-9251","1557-9603","2371-9877"],"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 Aerospace and Electronic Systems","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/A5039301289","display_name":"Xingwen Chen","orcid":"https://orcid.org/0000-0003-3033-4418"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingwen Chen","raw_affiliation_strings":["Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China"],"raw_orcid":"https://orcid.org/0000-0003-3033-4418","affiliations":[{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","institution_ids":["https://openalex.org/I204983213"]},{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050453488","display_name":"Jianbin Qiu","orcid":"https://orcid.org/0000-0001-7707-6159"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianbin Qiu","raw_affiliation_strings":["Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China"],"raw_orcid":"https://orcid.org/0000-0001-7707-6159","affiliations":[{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","institution_ids":["https://openalex.org/I204983213"]},{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061239630","display_name":"Tong Wang","orcid":"https://orcid.org/0000-0002-7252-1695"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tong Wang","raw_affiliation_strings":["Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin, China","institution_ids":["https://openalex.org/I204983213"]},{"raw_affiliation_string":"Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, 150080, Harbin, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100627530","display_name":"Min Li","orcid":"https://orcid.org/0000-0001-7927-6656"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Min Li","raw_affiliation_strings":["Beijing Institute of Control Engineering, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7927-6656","affiliations":[{"raw_affiliation_string":"Beijing Institute of Control Engineering, Beijing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":20.2479,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.99090434,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"61","issue":"2","first_page":"4866","last_page":"4878"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11701","display_name":"Space Satellite Systems and Control","score":0.9988999962806702,"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/T11701","display_name":"Space Satellite Systems and Control","score":0.9988999962806702,"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/T12449","display_name":"Spacecraft Design and Technology","score":0.9786999821662903,"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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.9631999731063843,"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/spacecraft","display_name":"Spacecraft","score":0.7605610489845276},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5177356600761414},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.49350249767303467},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.46673452854156494},{"id":"https://openalex.org/keywords/orbital-maneuver","display_name":"Orbital maneuver","score":0.4421822130680084},{"id":"https://openalex.org/keywords/orbital-mechanics","display_name":"Orbital mechanics","score":0.42945367097854614},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.4219534993171692},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3613359332084656},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3443809747695923},{"id":"https://openalex.org/keywords/satellite","display_name":"Satellite","score":0.21031266450881958},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19022715091705322}],"concepts":[{"id":"https://openalex.org/C29829512","wikidata":"https://www.wikidata.org/wiki/Q40218","display_name":"Spacecraft","level":2,"score":0.7605610489845276},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5177356600761414},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.49350249767303467},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.46673452854156494},{"id":"https://openalex.org/C136319028","wikidata":"https://www.wikidata.org/wiki/Q801780","display_name":"Orbital maneuver","level":3,"score":0.4421822130680084},{"id":"https://openalex.org/C6629501","wikidata":"https://www.wikidata.org/wiki/Q842433","display_name":"Orbital mechanics","level":3,"score":0.42945367097854614},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.4219534993171692},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3613359332084656},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3443809747695923},{"id":"https://openalex.org/C19269812","wikidata":"https://www.wikidata.org/wiki/Q26540","display_name":"Satellite","level":2,"score":0.21031266450881958},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19022715091705322},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/taes.2024.3508665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/taes.2024.3508665","pdf_url":null,"source":{"id":"https://openalex.org/S193624734","display_name":"IEEE Transactions on Aerospace and Electronic Systems","issn_l":"0018-9251","issn":["0018-9251","1557-9603","2371-9877"],"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 Aerospace and Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.4399999976158142,"display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G3484287042","display_name":null,"funder_award_id":"62422306","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3799234178","display_name":null,"funder_award_id":"U21B6001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3802590505","display_name":null,"funder_award_id":"62203047","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G678177963","display_name":null,"funder_award_id":"62273121","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W2734757978","https://openalex.org/W2740968888","https://openalex.org/W2801481833","https://openalex.org/W2892315216","https://openalex.org/W2912108706","https://openalex.org/W2930266512","https://openalex.org/W2934037396","https://openalex.org/W2947372633","https://openalex.org/W2980166212","https://openalex.org/W2987296528","https://openalex.org/W3011623862","https://openalex.org/W3028773113","https://openalex.org/W3049715010","https://openalex.org/W3089553867","https://openalex.org/W3091483443","https://openalex.org/W3094743633","https://openalex.org/W3128791886","https://openalex.org/W3149345112","https://openalex.org/W3170413428","https://openalex.org/W3184316230","https://openalex.org/W3184519821","https://openalex.org/W3193429607","https://openalex.org/W3193447528","https://openalex.org/W3203342688","https://openalex.org/W4206748486","https://openalex.org/W4206761786","https://openalex.org/W4212960415","https://openalex.org/W4221101273","https://openalex.org/W4285284064","https://openalex.org/W4285310987","https://openalex.org/W4288871358","https://openalex.org/W4297094914","https://openalex.org/W4297358934","https://openalex.org/W4297910426","https://openalex.org/W4312222143","https://openalex.org/W4312337087","https://openalex.org/W4312713805","https://openalex.org/W4313187004","https://openalex.org/W4323276353","https://openalex.org/W4379619428","https://openalex.org/W4380742749","https://openalex.org/W4384469692","https://openalex.org/W4386193173","https://openalex.org/W4388060495","https://openalex.org/W4389666220"],"related_works":["https://openalex.org/W2064999371","https://openalex.org/W2563996793","https://openalex.org/W3097356684","https://openalex.org/W2012909660","https://openalex.org/W2209022554","https://openalex.org/W4223901704","https://openalex.org/W4246936855","https://openalex.org/W1990738315","https://openalex.org/W2897584514","https://openalex.org/W1621586344"],"abstract_inverted_index":{"The":[0,122],"onboard":[1],"mission":[2,41,123],"planning":[3,42,101,124],"problem":[4,102],"for":[5,31],"spacecraft":[6,70],"is":[7,37,44,116,126],"investigated":[8],"in":[9,66,118],"this":[10,98],"article":[11],"to":[12],"autonomously":[13],"avoid":[14],"various":[15,157],"orbital":[16,24,35,158],"threats.":[17,159],"First,":[18],"the":[19,40,54,61,63,67,74,79,82,89,100,119,129,133,138,144,148,153],"features":[20],"of":[21,34,69,84,103,114,132,140,156],"three":[22],"typical":[23],"threats":[25,36],"are":[26,71,95],"analyzed,":[27],"and":[28,57,93],"a":[29,111],"framework":[30],"autonomous":[32,104,154],"avoidance":[33,155],"proposed.":[38],"Then,":[39],"model":[43],"established,":[45],"which":[46,106],"can":[47,107,151],"select":[48],"different":[49],"information":[50],"flows":[51],"depending":[52],"on":[53,91],"threat":[55],"categories":[56],"lighting":[58],"conditions.":[59],"During":[60],"planning,":[62],"discrete":[64],"changes":[65],"states":[68],"captured":[72],"by":[73],"single":[75],"happening.":[76],"By":[77],"transforming":[78],"happenings":[80,141],"into":[81],"variables":[83],"satisfiability":[85],"module":[86],"theories":[87],"(SMT),":[88],"constraints":[90],"duration":[92],"resource":[94],"described.":[96],"On":[97],"basis,":[99],"avoidance,":[105],"be":[108],"expressed":[109],"as":[110],"finite":[112],"number":[113,139],"happenings,":[115],"incorporated":[117],"SMT":[120,134],"formula.":[121],"solution":[125],"extracted":[127],"from":[128],"satisfied":[130],"assignment":[131],"formula":[135],"via":[136],"increasing":[137],"iteratively.":[142],"Finally,":[143],"simulations":[145],"verify":[146],"that":[147],"proposed":[149],"strategy":[150],"achieve":[152]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":13}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}