{"id":"https://openalex.org/W3186567150","doi":"https://doi.org/10.1109/lra.2021.3098059","title":"A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications","display_name":"A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications","publication_year":2021,"publication_date":"2021-07-20","ids":{"openalex":"https://openalex.org/W3186567150","doi":"https://doi.org/10.1109/lra.2021.3098059","mag":"3186567150"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2021.3098059","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2021.3098059","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","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/A5065233087","display_name":"Ruixuan Yan","orcid":"https://orcid.org/0000-0001-5132-656X"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ruixuan Yan","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-5132-656X","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Agung Julius","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-0970-3226","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065233087"],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":null,"apc_paid":null,"fwci":1.5141,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.85065794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"6","issue":"4","first_page":"7389","last_page":"7396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/swarm-behaviour","display_name":"Swarm behaviour","score":0.7361637353897095},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5397250652313232},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.4993143081665039},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4649008512496948},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4626420736312866},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.43879106640815735},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.436898410320282},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.42394402623176575},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4174083173274994},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"Quadratic programming","score":0.41621026396751404},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.4137648940086365},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28785189986228943},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1843644678592682},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18358033895492554}],"concepts":[{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.7361637353897095},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5397250652313232},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.4993143081665039},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4649008512496948},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4626420736312866},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.43879106640815735},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.436898410320282},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.42394402623176575},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4174083173274994},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.41621026396751404},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.4137648940086365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28785189986228943},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1843644678592682},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18358033895492554},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2021.3098059","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2021.3098059","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.550000011920929,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W592715486","https://openalex.org/W1790946027","https://openalex.org/W1975134293","https://openalex.org/W2006607002","https://openalex.org/W2088171019","https://openalex.org/W2095274657","https://openalex.org/W2096108718","https://openalex.org/W2134656724","https://openalex.org/W2147179040","https://openalex.org/W2156797426","https://openalex.org/W2202599725","https://openalex.org/W2339353925","https://openalex.org/W2522468251","https://openalex.org/W2531762107","https://openalex.org/W2602257487","https://openalex.org/W2783378806","https://openalex.org/W2794662040","https://openalex.org/W2796128327","https://openalex.org/W2798923485","https://openalex.org/W2945062758","https://openalex.org/W2955404434","https://openalex.org/W2963657380","https://openalex.org/W2987233852","https://openalex.org/W2998208410","https://openalex.org/W3018726984","https://openalex.org/W3021964239","https://openalex.org/W3048348667","https://openalex.org/W4253572110","https://openalex.org/W6638206426","https://openalex.org/W6776856361"],"related_works":["https://openalex.org/W4288714711","https://openalex.org/W3200708550","https://openalex.org/W2771637876","https://openalex.org/W2736680465","https://openalex.org/W4294093918","https://openalex.org/W4240853094","https://openalex.org/W2810496283","https://openalex.org/W2170656329","https://openalex.org/W3131977017","https://openalex.org/W3205823858"],"abstract_inverted_index":{"In":[0],"this":[1],"letter,":[2],"we":[3],"study":[4],"the":[5,43,46,75,78,89,92,98,106,113,120],"problem":[6,49],"of":[7,11],"decentralized":[8,62,107],"motion":[9,47],"planning":[10,48],"robot":[12],"swarms":[13],"under":[14],"high-level":[15],"temporal":[16],"logic":[17],"specifications":[18],"with":[19,68,86,128],"a":[20,53,61,69,124],"top-down":[21],"approach.":[22],"We":[23,59,118],"use":[24],"Swarm":[25],"Signal":[26],"Temporal":[27],"Logic":[28],"(SwarmSTL)":[29],"to":[30,104],"express":[31],"swarm-level":[32],"specifications.":[33],"By":[34],"encoding":[35],"SwarmSTL":[36],"formulas":[37],"as":[38,52],"mixed":[39],"binary-integer":[40],"constraints":[41],"on":[42,97],"swarm":[44],"features,":[45],"is":[50],"formulated":[51],"mixed-integer":[54],"quadratic":[55],"programming":[56],"(MIQP)":[57],"problem.":[58],"develop":[60],"Branch":[63],"and":[64,91,112],"Bound":[65],"(B&B)":[66],"algorithm":[67,109,122],"node":[70],"decentralization":[71],"scheme":[72],"such":[73],"that":[74],"nodes":[76],"in":[77,84],"B&B":[79,108],"tree":[80],"can":[81,94],"be":[82],"processed":[83],"parallel":[85],"communication":[87],"among":[88],"agents":[90,93],"achieve":[95],"consensus":[96],"solution.":[99],"Also,":[100],"several":[101],"search":[102],"strategies":[103],"accelerate":[105],"are":[110,116],"proposed,":[111],"performance":[114],"improvements":[115],"presented.":[117],"evaluate":[119],"proposed":[121],"using":[123],"supply":[125],"transportation":[126],"example":[127],"different":[129],"formulas.":[130]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}