{"id":"https://openalex.org/W7168236496","doi":"https://doi.org/10.48550/arxiv.2607.11657","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\u00f6bner Systems","display_name":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\u00f6bner Systems","publication_year":2026,"publication_date":"2026-07-13","ids":{"openalex":"https://openalex.org/W7168236496","doi":"https://doi.org/10.48550/arxiv.2607.11657"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.11657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.11657","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.11657","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140658034","display_name":"Yu Nakai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nakai, Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140668730","display_name":"Akira Terui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Terui, Akira","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140619744","display_name":"Masahiko Mikawa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mikawa, Masahiko","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.8281999826431274,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.8281999826431274,"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.054999999701976776,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.02199999988079071,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.7840999960899353},{"id":"https://openalex.org/keywords/inverse-kinematics","display_name":"Inverse kinematics","score":0.6703000068664551},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.515500009059906},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5152999758720398},{"id":"https://openalex.org/keywords/kinematics","display_name":"Kinematics","score":0.5095999836921692},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.46880000829696655},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4327000081539154},{"id":"https://openalex.org/keywords/workcell","display_name":"Workcell","score":0.4041000008583069},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.40139999985694885}],"concepts":[{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.7840999960899353},{"id":"https://openalex.org/C17816587","wikidata":"https://www.wikidata.org/wiki/Q1501872","display_name":"Inverse kinematics","level":3,"score":0.6703000068664551},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.515500009059906},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5152999758720398},{"id":"https://openalex.org/C39920418","wikidata":"https://www.wikidata.org/wiki/Q11476","display_name":"Kinematics","level":2,"score":0.5095999836921692},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.46880000829696655},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45350000262260437},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4327000081539154},{"id":"https://openalex.org/C2781411174","wikidata":"https://www.wikidata.org/wiki/Q8034662","display_name":"Workcell","level":3,"score":0.4041000008583069},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.40139999985694885},{"id":"https://openalex.org/C2776126113","wikidata":"https://www.wikidata.org/wiki/Q1128980","display_name":"Industrial robot","level":3,"score":0.39010000228881836},{"id":"https://openalex.org/C74222875","wikidata":"https://www.wikidata.org/wiki/Q16000312","display_name":"Robot kinematics","level":4,"score":0.3880999982357025},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3865000009536743},{"id":"https://openalex.org/C150415221","wikidata":"https://www.wikidata.org/wiki/Q40687","display_name":"Robotic arm","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37940001487731934},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.3594000041484833},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C99636146","wikidata":"https://www.wikidata.org/wiki/Q35889","display_name":"Parametric equation","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.3488999903202057},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34150001406669617},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.298799991607666},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29330000281333923},{"id":"https://openalex.org/C117619785","wikidata":"https://www.wikidata.org/wiki/Q6094414","display_name":"Iterative learning control","level":3,"score":0.274399995803833},{"id":"https://openalex.org/C2985527887","wikidata":"https://www.wikidata.org/wiki/Q1587588","display_name":"Robot manipulator","level":3,"score":0.26660001277923584},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.26179999113082886},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.2605000138282776}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.11657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.11657","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.11657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.11657","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,94],"propose":[1],"an":[2,125],"algorithm":[3,153],"and":[4,10,48,148],"its":[5,43],"implementation":[6],"for":[7,12,62,101,117,142],"trajectory":[8,46,63,76],"planning":[9,47],"certification":[11],"3-DOF":[13],"robot":[14],"manipulators.":[15],"The":[16,35,152],"method":[17,41,122,138],"uses":[18],"Real":[19],"Quantifier":[20],"Elimination":[21],"(QE)":[22],"based":[23],"on":[24],"Comprehensive":[25],"Gr\u00f6bner":[26,78,86],"Systems":[27],"(CGS),":[28],"also":[29,139],"known":[30],"as":[31],"the":[32,39,55,59,67,75,85,99,106,114,120,134,157],"CGS-QE":[33,121],"method.":[34],"main":[36],"advantage":[37],"of":[38,58,145],"proposed":[40],"is":[42,92,154],"efficiency":[44,52],"in":[45],"solution":[49,118,128],"certification.":[50],"This":[51,81,111],"comes":[53],"from":[54],"effective":[56],"use":[57],"CGS.":[60],"First,":[61],"planning,":[64],"we":[65],"solve":[66],"inverse":[68,126],"kinematics":[69,127],"problem":[70],"at":[71,88,130],"each":[72],"point":[73,132],"along":[74,133],"via":[77],"basis":[79,87],"computation.":[80],"usually":[82],"requires":[83],"recalculating":[84],"every":[89],"point,":[90],"which":[91],"time-consuming.":[93],"avoid":[95],"this":[96],"by":[97],"computing":[98],"CGS":[100],"a":[102],"parametric":[103],"system.":[104],"Here,":[105],"end-effector":[107],"coordinates":[108],"are":[109],"parameters.":[110],"approach":[112],"streamlines":[113],"algorithm.":[115],"Second,":[116],"certification,":[119],"certifies":[123,140],"that":[124],"exists":[129],"any":[131],"end-effector's":[135],"trajectory.":[136],"Our":[137],"solutions":[141],"trajectories":[143],"composed":[144],"line":[146],"segments":[147],"cubic":[149],"natural":[150],"splines.":[151],"implemented":[155],"within":[156],"computer":[158],"algebra":[159],"system":[160],"Risa/Asir.":[161]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-15T00:00:00"}