{"id":"https://openalex.org/W7134983663","doi":"https://doi.org/10.48550/arxiv.2603.09083","title":"Provably Safe Trajectory Generation for Manipulators Under Motion and Environmental Uncertainties","display_name":"Provably Safe Trajectory Generation for Manipulators Under Motion and Environmental Uncertainties","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7134983663","doi":"https://doi.org/10.48550/arxiv.2603.09083"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.09083","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.09083","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2603.09083","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128704509","display_name":"Fei Meng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meng, Fei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128792385","display_name":"Zijiang Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Zijiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128693999","display_name":"Xinyu Mao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mao, Xinyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086013927","display_name":"Haobo Liang","orcid":"https://orcid.org/0009-0003-0572-6150"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Haobo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128779342","display_name":"Max Q. -H. Meng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meng, Max Q. -H.","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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.22300000488758087,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.22300000488758087,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.15880000591278076,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.09549999982118607,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.6116999983787537},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5716000199317932},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4918999969959259},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.46650001406669617},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.45089998841285706},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.44920000433921814},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.44620001316070557},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.439300000667572},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.3950999975204468}],"concepts":[{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6116999983787537},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5748999714851379},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5716000199317932},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4918999969959259},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.46959999203681946},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.46650001406669617},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.45089998841285706},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.44920000433921814},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.44620001316070557},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3950999975204468},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.34450000524520874},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.3116999864578247},{"id":"https://openalex.org/C2778738845","wikidata":"https://www.wikidata.org/wiki/Q1521829","display_name":"Remanufacturing","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2985000014305115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2915000021457672},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C145565327","wikidata":"https://www.wikidata.org/wiki/Q852514","display_name":"Motion control","level":3,"score":0.28519999980926514},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.27639999985694885},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C2778420160","wikidata":"https://www.wikidata.org/wiki/Q6917780","display_name":"Motion controller","level":4,"score":0.26159998774528503},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2581999897956848},{"id":"https://openalex.org/C199668693","wikidata":"https://www.wikidata.org/wiki/Q1550329","display_name":"Collision detection","level":3,"score":0.2567000091075897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.09083","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.09083","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.09083","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.09083","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":{"Robot":[0],"manipulators":[1,139],"operating":[2],"in":[3,168],"uncertain":[4,170],"and":[5,13,24,36,143,159,165],"non-convex":[6],"environments":[7],"present":[8],"significant":[9],"challenges":[10],"for":[11,95],"safe":[12,164],"optimal":[14],"motion":[15,45,73],"planning.":[16],"Existing":[17],"methods":[18],"often":[19],"struggle":[20],"to":[21,48,65,123,162],"provide":[22],"efficient":[23,166],"formally":[25],"certified":[26],"collision":[27,100,118],"risk":[28],"guarantees,":[29],"particularly":[30],"when":[31],"dealing":[32],"with":[33,88],"complex":[34],"geometries":[35],"non-Gaussian":[37],"uncertainties.":[38],"This":[39,102],"article":[40],"proposes":[41],"a":[42,56,93,107,147],"novel":[43],"risk-bounded":[44],"planning":[46],"framework":[47,132],"address":[49],"this":[50],"unmet":[51],"need.":[52],"Our":[53],"approach":[54],"integrates":[55],"rigid":[57],"manipulator":[58],"deep":[59],"stochastic":[60],"Koopman":[61],"operator":[62],"(RM-DeSKO)":[63],"model":[64,158],"robustly":[66],"predict":[67],"the":[68,130,156],"robot's":[69],"state":[70],"distribution":[71],"under":[72],"uncertainty.":[74],"We":[75],"then":[76],"introduce":[77],"an":[78],"efficient,":[79],"hierarchical":[80],"verification":[81],"method":[82,103],"that":[83,114],"combines":[84],"parallelizable":[85],"physics":[86],"simulations":[87,142],"sum-of-squares":[89],"(SOS)":[90],"programming":[91],"as":[92],"filter":[94],"fine-grained,":[96],"formal":[97],"certification":[98],"of":[99,129,155],"risk.":[101],"is":[104,133],"embedded":[105],"within":[106],"Model":[108],"Predictive":[109],"Path":[110],"Integral":[111],"(MPPI)":[112],"controller":[113],"uniquely":[115],"utilizes":[116],"binary":[117],"information":[119],"from":[120],"SOS":[121],"decomposition":[122],"improve":[124],"its":[125,160],"policy.":[126],"The":[127],"effectiveness":[128],"proposed":[131],"validated":[134],"on":[135],"two":[136],"typical":[137],"robot":[138],"through":[140],"extensive":[141],"real-world":[144],"experiments,":[145],"including":[146],"challenging":[148],"human-robot":[149],"collaboration":[150],"scenario,":[151],"demonstrating":[152],"sim-to-real":[153],"transfer":[154],"learned":[157],"ability":[161],"generate":[163],"trajectories":[167],"complex,":[169],"settings.":[171]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-12T00:00:00"}