{"id":"https://openalex.org/W7152961007","doi":"https://doi.org/10.48550/arxiv.2604.07644","title":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","display_name":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","publication_year":2026,"publication_date":"2026-04-08","ids":{"openalex":"https://openalex.org/W7152961007","doi":"https://doi.org/10.48550/arxiv.2604.07644"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.07644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07644","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.2604.07644","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133391894","display_name":"Jeffrey Fang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fang, Jeffrey","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133317763","display_name":"Glen Chou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chou, Glen","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/T10791","display_name":"Advanced Control Systems Optimization","score":0.8439000248908997,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.8439000248908997,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.014100000262260437,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.013700000010430813,"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/reachability","display_name":"Reachability","score":0.7982000112533569},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7544000148773193},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"Quadratic programming","score":0.5812000036239624},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.5737000107765198},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5317000150680542},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5286999940872192},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45829999446868896},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.45660001039505005},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.4154999852180481}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7982000112533569},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7597000002861023},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7544000148773193},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.5812000036239624},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.5737000107765198},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5286999940872192},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45829999446868896},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.45660001039505005},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.398499995470047},{"id":"https://openalex.org/C115527620","wikidata":"https://www.wikidata.org/wiki/Q769909","display_name":"Nonlinear programming","level":3,"score":0.39719998836517334},{"id":"https://openalex.org/C198927703","wikidata":"https://www.wikidata.org/wiki/Q4373881","display_name":"Sequential quadratic programming","level":3,"score":0.3788999915122986},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3610999882221222},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34130001068115234},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.32280001044273376},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.32170000672340393},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31630000472068787},{"id":"https://openalex.org/C91581856","wikidata":"https://www.wikidata.org/wiki/Q2707001","display_name":"Nonlinear control","level":3,"score":0.30979999899864197},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3091999888420105},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.2639000117778778}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.07644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07644","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.2604.07644","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07644","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":{"We":[0,114,160],"present":[1],"GPU-SLS,":[2],"a":[3,34,38,54,60],"GPU-parallelized":[4],"framework":[5],"for":[6],"safe,":[7],"robust":[8,93,176],"nonlinear":[9,166],"model":[10],"predictive":[11],"control":[12,107,140,177],"(MPC)":[13],"that":[14,67],"scales":[15],"to":[16,91,127,134,190],"high-dimensional":[17,156],"uncertain":[18],"robotic":[19],"systems":[20],"and":[21,37,72,96,111,131,141,172,188,198],"long":[22],"planning":[23],"horizons.":[24],"Our":[25],"method":[26,79,150,207],"jointly":[27],"optimizes":[28],"an":[29,76],"inequality-constrained,":[30],"dynamically-feasible":[31],"nominal":[32,50,120],"trajectory,":[33],"tracking":[35,94],"controller,":[36],"closed-loop":[39,97],"reachable":[40,98],"set":[41],"under":[42],"disturbance,":[43],"all":[44],"in":[45,108,183],"real-time.":[46],"To":[47],"efficiently":[48],"compute":[49],"trajectories,":[51],"we":[52],"develop":[53],"sequential":[55],"quadratic":[56,63],"programming":[57],"procedure":[58],"with":[59,192],"novel":[61],"GPU-accelerated":[62],"program":[64],"(QP)":[65],"solver":[66],"uses":[68],"parallel":[69],"associative":[70],"scans":[71],"adaptive":[73],"caching":[74],"within":[75],"alternating":[77],"direction":[78],"of":[80,205],"multipliers":[81],"(ADMM)":[82],"framework.":[83],"The":[84,203],"same":[85],"GPU":[86,135,182],"QP":[87],"backend":[88],"is":[89,208],"used":[90],"optimize":[92],"controllers":[95],"sets":[99],"via":[100],"system":[101],"level":[102],"synthesis":[103],"(SLS),":[104],"enabling":[105],"reachability-constrained":[106],"both":[109],"fixed-":[110],"receding-horizon":[112],"settings.":[113],"achieve":[115],"substantial":[116],"performance":[117],"gains,":[118],"reducing":[119],"trajectory":[121],"solve":[122],"times":[123],"by":[124,143],"97.7%":[125],"relative":[126],"state-of-the-art":[128],"CPU":[129],"solvers":[130],"71.8%":[132],"compared":[133],"solvers,":[136],"while":[137],"accelerating":[138],"SLS-based":[139],"reachability":[142,158],"237x.":[144],"Despite":[145],"large":[146],"problem":[147],"scales,":[148],"our":[149,162,206],"achieves":[151],"100%":[152],"empirical":[153],"safety,":[154],"unlike":[155],"learning-based":[157],"baselines.":[159],"validate":[161],"approach":[163],"on":[164,180,186],"complex":[165],"systems,":[167],"including":[168],"whole-body":[169],"quadrupeds":[170],"(61D)":[171],"humanoids":[173],"(75D),":[174],"synthesizing":[175],"policies":[178],"online":[179],"the":[181],"20":[184],"milliseconds":[185],"average":[187],"scaling":[189],"problems":[191],"2":[193],"x":[194,200],"10^5":[195],"decision":[196],"variables":[197],"8":[199],"10^4":[201],"constraints.":[202],"implementation":[204],"available":[209],"at":[210],"https://github.com/Jeff300fang/gpu_sls.":[211]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-11T00:00:00"}