{"id":"https://openalex.org/W4388270540","doi":"https://doi.org/10.1109/lra.2023.3327655","title":"Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation","display_name":"Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation","publication_year":2023,"publication_date":"2023-10-25","ids":{"openalex":"https://openalex.org/W4388270540","doi":"https://doi.org/10.1109/lra.2023.3327655"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2023.3327655","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lra.2023.3327655","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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/A5101678015","display_name":"Sihui Li","orcid":"https://orcid.org/0000-0003-1766-4316"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sihui Li","raw_affiliation_strings":["Department of Computer Science, Colorado School of Mines, Golden, CO, USA"],"raw_orcid":"https://orcid.org/0000-0003-1766-4316","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Colorado School of Mines, Golden, CO, USA","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029447901","display_name":"Neil T. Dantam","orcid":"https://orcid.org/0000-0002-0907-2241"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neil T. Dantam","raw_affiliation_strings":["Department of Computer Science, Colorado School of Mines, Golden, CO, USA"],"raw_orcid":"https://orcid.org/0000-0002-0907-2241","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Colorado School of Mines, Golden, CO, USA","institution_ids":["https://openalex.org/I167576493"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I167576493"],"apc_list":null,"apc_paid":null,"fwci":1.9673,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.8918716,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"8","issue":"12","first_page":"8303","last_page":"8310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9772999882698059,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9772999882698059,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9714999794960022,"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/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.964900016784668,"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/mathematical-proof","display_name":"Mathematical proof","score":0.6854084730148315},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6290832161903381},{"id":"https://openalex.org/keywords/manifold","display_name":"Manifold (fluid mechanics)","score":0.5710465312004089},{"id":"https://openalex.org/keywords/configuration-space","display_name":"Configuration space","score":0.5175973176956177},{"id":"https://openalex.org/keywords/codimension","display_name":"Codimension","score":0.5009229183197021},{"id":"https://openalex.org/keywords/triangulation","display_name":"Triangulation","score":0.48494628071784973},{"id":"https://openalex.org/keywords/coxeter-group","display_name":"Coxeter group","score":0.4593219757080078},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.37363362312316895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3394041359424591},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.19106987118721008},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18537676334381104},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17409974336624146}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6854084730148315},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6290832161903381},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.5710465312004089},{"id":"https://openalex.org/C90738871","wikidata":"https://www.wikidata.org/wiki/Q41642869","display_name":"Configuration space","level":2,"score":0.5175973176956177},{"id":"https://openalex.org/C83979697","wikidata":"https://www.wikidata.org/wiki/Q1778247","display_name":"Codimension","level":2,"score":0.5009229183197021},{"id":"https://openalex.org/C135981907","wikidata":"https://www.wikidata.org/wiki/Q188056","display_name":"Triangulation","level":2,"score":0.48494628071784973},{"id":"https://openalex.org/C143669375","wikidata":"https://www.wikidata.org/wiki/Q7874246","display_name":"Coxeter group","level":2,"score":0.4593219757080078},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.37363362312316895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3394041359424591},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.19106987118721008},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18537676334381104},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17409974336624146},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2023.3327655","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lra.2023.3327655","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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":[],"awards":[{"id":"https://openalex.org/G959850068","display_name":null,"funder_award_id":"N00014-21-1-2418","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"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":73,"referenced_works":["https://openalex.org/W83339351","https://openalex.org/W131069610","https://openalex.org/W1424654272","https://openalex.org/W1606594487","https://openalex.org/W1643513940","https://openalex.org/W1776040741","https://openalex.org/W1864112212","https://openalex.org/W1971086298","https://openalex.org/W1990677634","https://openalex.org/W2000359213","https://openalex.org/W2002548850","https://openalex.org/W2004139909","https://openalex.org/W2008967868","https://openalex.org/W2021414830","https://openalex.org/W2026612049","https://openalex.org/W2027931070","https://openalex.org/W2036016432","https://openalex.org/W2042661579","https://openalex.org/W2058107561","https://openalex.org/W2058246377","https://openalex.org/W2075577325","https://openalex.org/W2075793174","https://openalex.org/W2101993361","https://openalex.org/W2104171123","https://openalex.org/W2105248582","https://openalex.org/W2108232656","https://openalex.org/W2109212155","https://openalex.org/W2110762409","https://openalex.org/W2114306020","https://openalex.org/W2122724557","https://openalex.org/W2128990851","https://openalex.org/W2132990760","https://openalex.org/W2141664020","https://openalex.org/W2151402824","https://openalex.org/W2151607042","https://openalex.org/W2161473822","https://openalex.org/W2327138680","https://openalex.org/W2335799662","https://openalex.org/W2399501438","https://openalex.org/W2472568752","https://openalex.org/W2763506955","https://openalex.org/W2782213427","https://openalex.org/W2912551019","https://openalex.org/W2914044489","https://openalex.org/W2949117375","https://openalex.org/W2973711994","https://openalex.org/W3021552947","https://openalex.org/W3032952183","https://openalex.org/W3042400005","https://openalex.org/W3090717212","https://openalex.org/W3099020824","https://openalex.org/W3132711197","https://openalex.org/W3175083647","https://openalex.org/W3183881215","https://openalex.org/W3205304947","https://openalex.org/W3207835625","https://openalex.org/W4206752580","https://openalex.org/W4211264793","https://openalex.org/W4231202173","https://openalex.org/W4280582276","https://openalex.org/W4306246346","https://openalex.org/W4311443211","https://openalex.org/W4319159951","https://openalex.org/W4381785454","https://openalex.org/W4383172032","https://openalex.org/W6603300922","https://openalex.org/W6605295560","https://openalex.org/W6636841669","https://openalex.org/W6652503837","https://openalex.org/W6713241665","https://openalex.org/W6747652377","https://openalex.org/W6779293979","https://openalex.org/W7005955626"],"related_works":["https://openalex.org/W2052791127","https://openalex.org/W2362170751","https://openalex.org/W2802110669","https://openalex.org/W3109211163","https://openalex.org/W4293281677","https://openalex.org/W145531765","https://openalex.org/W2952828667","https://openalex.org/W2120504215","https://openalex.org/W3129492217","https://openalex.org/W3080202916"],"abstract_inverted_index":{"Achieving":[0],"a":[1,7,32,44,102],"complete":[2,26,145],"motion":[3,27],"planner":[4],"that":[5],"guarantees":[6],"plan":[8,33],"or":[9,34],"infeasibility":[10,35,76],"proof":[11,36],"in":[12,18,60,115,130,143],"finite":[13],"time":[14],"is":[15,114],"challenging,":[16],"especially":[17],"high-dimensional":[19],"spaces.":[20],"Previous":[21],"efforts":[22],"have":[23],"introduced":[24],"asymptotically":[25],"planners":[28],"capable":[29],"of":[30,64,75,112,135],"providing":[31],"given":[37],"long":[38],"enough":[39],"time.":[40],"The":[41],"algorithm":[42],"trains":[43],"manifold":[45,55,85],"using":[46],"configuration":[47,66,95],"space":[48,96],"samples":[49],"as":[50],"data":[51],"and":[52,87,99,124],"triangulates":[53],"the":[54,61,65,73,94,108,116],"to":[56,78,91,106],"ensure":[57],"its":[58],"existence":[59],"obstacle":[62],"region":[63],"space.":[67,118],"In":[68],"this":[69],"letter,":[70],"we":[71,100],"extend":[72],"construction":[74,89],"proofs":[77,129,142],"higher":[79],"dimensions":[80],"by":[81],"adapting":[82],"Coxeter":[83],"triangulation's":[84],"tracing":[86],"cell":[88],"procedures":[90],"concurrently":[92],"triangulate":[93],"codimension-one":[97],"manifold,":[98],"apply":[101],"local":[103],"elastic":[104],"update":[105],"fix":[107],"triangulation":[109],"when":[110],"part":[111],"it":[113],"free":[117],"We":[119],"perform":[120],"experiments":[121],"on":[122],"4-DOF":[123],"5-DOF":[125],"serial":[126],"manipulators.":[127],"Infeasibility":[128,141],"4D":[131],"are":[132],"two":[133],"orders":[134],"magnitude":[136],"faster":[137],"than":[138],"previous":[139],"results.":[140],"5D":[144],"within":[146],"minutes.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}