{"id":"https://openalex.org/W3120657599","doi":"https://doi.org/10.1109/cdc42340.2020.9304240","title":"BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning","display_name":"BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning","publication_year":2020,"publication_date":"2020-12-14","ids":{"openalex":"https://openalex.org/W3120657599","doi":"https://doi.org/10.1109/cdc42340.2020.9304240","mag":"3120657599"},"language":"en","primary_location":{"id":"doi:10.1109/cdc42340.2020.9304240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-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/A5034900394","display_name":"Binghan He","orcid":"https://orcid.org/0000-0002-6598-9070"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Binghan He","raw_affiliation_strings":["The University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100329301","display_name":"Jaemin Lee","orcid":"https://orcid.org/0000-0003-3843-996X"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaemin Lee","raw_affiliation_strings":["The University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["The University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079374033","display_name":"Luis Sentis","orcid":"https://orcid.org/0000-0003-2856-4863"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luis Sentis","raw_affiliation_strings":["The University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034900394"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":1.1257,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.83610108,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1404","last_page":"1409"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/motion-planning","display_name":"Motion planning","score":0.5628134608268738},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.518839955329895},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4947480857372284},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.49023133516311646},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.47341448068618774},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4717869460582733},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4604950249195099},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4472186267375946},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4427155554294586},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32093915343284607},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29213064908981323},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.28719407320022583},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10986626148223877}],"concepts":[{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5628134608268738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.518839955329895},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4947480857372284},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.49023133516311646},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.47341448068618774},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4717869460582733},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4604950249195099},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4472186267375946},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4427155554294586},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32093915343284607},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29213064908981323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28719407320022583},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10986626148223877},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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":1,"locations":[{"id":"doi:10.1109/cdc42340.2020.9304240","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.7099999785423279}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1971086298","https://openalex.org/W1985919024","https://openalex.org/W2052446317","https://openalex.org/W2083802276","https://openalex.org/W2100538121","https://openalex.org/W2132714442","https://openalex.org/W2147497140","https://openalex.org/W2155668246","https://openalex.org/W2345020933","https://openalex.org/W2468927877","https://openalex.org/W2560504659","https://openalex.org/W2570925621","https://openalex.org/W2788806396","https://openalex.org/W2846034702","https://openalex.org/W2913775679","https://openalex.org/W3098925401","https://openalex.org/W3103131986","https://openalex.org/W3104753760","https://openalex.org/W3210839039"],"related_works":["https://openalex.org/W2358724039","https://openalex.org/W159805089","https://openalex.org/W3096613624","https://openalex.org/W3119785025","https://openalex.org/W4205521711","https://openalex.org/W3133693890","https://openalex.org/W3014472602","https://openalex.org/W2378040915","https://openalex.org/W2258090894","https://openalex.org/W2507321993"],"abstract_inverted_index":{"For":[0],"a":[1,5,15,23,32,38,50,63,68,77,149,152],"nonlinear":[2],"system":[3],"(e.g.":[4],"robot)":[6],"with":[7,57,83],"its":[8],"continuous":[9],"state":[10,70],"space":[11],"trajectories":[12],"constrained":[13],"by":[14,48],"linear":[16,116],"temporal":[17,117],"logic":[18,118],"specification,":[19],"the":[20,84,93,99,105,121,134,138,141],"synthesis":[21],"of":[22,45,54,62,108,140,151],"low-level":[24],"controller":[25],"for":[26],"mission":[27],"execution":[28],"often":[29],"results":[30],"in":[31,111,129],"non-convex":[33,46,85],"optimization":[34],"problem.":[35],"We":[36,143],"devise":[37],"new":[39,146],"algorithm":[40,147],"to":[41,81,91,113,131,137],"solve":[42],"this":[43,145],"type":[44],"problems":[47,103],"formulating":[49],"rapidly-exploring":[51,78],"random":[52,79],"tree":[53,80],"barrier":[55,59,65,89],"pairs,":[56],"each":[58],"pair":[60],"composed":[61],"quadratic":[64],"function":[66],"and":[67,87],"full":[69],"feedback":[71],"controller.":[72],"The":[73],"proposed":[74],"method":[75,100],"employs":[76],"deal":[82],"constraints":[86],"uses":[88],"pairs":[90],"fulfill":[92],"local":[94],"convex":[95],"constraints.":[96,119],"As":[97],"such,":[98],"solves":[101],"control":[102],"fulfilling":[104],"required":[106],"transitions":[107],"an":[109],"automaton":[110],"order":[112,130],"satisfy":[114],"given":[115],"At":[120],"same":[122],"time":[123],"it":[124],"synthesizes":[125],"locally":[126],"optimal":[127],"controllers":[128],"transition":[132],"between":[133],"regions":[135],"corresponding":[136],"alphabet":[139],"automaton.":[142],"demonstrate":[144],"on":[148],"simulation":[150],"two":[153],"linkage":[154],"manipulator":[155],"robot.":[156]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}