{"id":"https://openalex.org/W7214639929","doi":"https://doi.org/10.48550/arxiv.2609.30655","title":"Certificate-Carrying Distributed Model Predictive Control on Product Manifolds with $\\mathrm{SO}(3)$","display_name":"Certificate-Carrying Distributed Model Predictive Control on Product Manifolds with $\\mathrm{SO}(3)$","publication_year":2026,"publication_date":"2026-09-25","ids":{"openalex":"https://openalex.org/W7214639929","doi":"https://doi.org/10.48550/arxiv.2609.30655"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.30655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.30655","pdf_url":"https://arxiv.org/pdf/2609.30655","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.30655","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5153284150","display_name":"Shengjun Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I75900474","display_name":"Hubei University","ror":"https://ror.org/03a60m280","country_code":"CN","type":"education","lineage":["https://openalex.org/I75900474"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhang, Shengjun","raw_affiliation_strings":["School of Artificial Intelligence , Hubei University , Wuhan 430061 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence , Hubei University , Wuhan 430061 , China","institution_ids":["https://openalex.org/I75900474"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5153366408","display_name":"Tingyi Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Tingyi","raw_affiliation_strings":["School of Economics and Management , Wuhan University , Wuhan 430072 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Economics and Management , Wuhan University , Wuhan 430072 , China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5153378985","display_name":"Lei Xu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405259960","display_name":"Digital Futures","ror":"https://ror.org/02ztymy03","country_code":"SE","type":"facility","lineage":["https://openalex.org/I161593684","https://openalex.org/I2800664555","https://openalex.org/I4405259960","https://openalex.org/I86987016"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Xu, Lei","raw_affiliation_strings":["Division of Decision and Control Systems , KTH Royal Institute of Technology, and Digital Futures , Stockholm , Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems , KTH Royal Institute of Technology, and Digital Futures , Stockholm , Sweden","institution_ids":["https://openalex.org/I4405259960","https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014234601","display_name":"Tao Yang","orcid":"https://orcid.org/0000-0003-4090-8497","observed_orcids":["https://orcid.org/0000-0003-4090-8497","https://orcid.org/0000-0003-0696-7733","https://orcid.org/0000-0001-9436-8428"]},"institutions":[{"id":"https://openalex.org/I4391767858","display_name":"State Key Laboratory of Synthetical Automation for Process Industries","ror":"https://ror.org/0380ng272","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4391767858","https://openalex.org/I9224756"]},{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang, Tao","raw_affiliation_strings":["State Key Laboratory of Synthetical Automation for Process Industries , Northeastern University , Shenyang 110819 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Synthetical Automation for Process Industries , Northeastern University , Shenyang 110819 , China","institution_ids":["https://openalex.org/I4391767858","https://openalex.org/I9224756"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.9990000128746033,"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.9990000128746033,"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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.00039999998989515007,"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/T11082","display_name":"Spacecraft Dynamics and Control","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/distributed-model-predictive-control","display_name":"distributed model predictive control","score":0.9929999709129333},{"id":"https://openalex.org/keywords/spacecraft-formation-control","display_name":"spacecraft formation control","score":0.5609999895095825},{"id":"https://openalex.org/keywords/recursive-feasibility","display_name":"recursive feasibility","score":0.6579999923706055},{"id":"https://openalex.org/keywords/lipschitz-constraint","display_name":"Lipschitz constraint","score":0.5889999866485596},{"id":"https://openalex.org/keywords/terminal-constraints","display_name":"terminal constraints","score":0.43799999356269836}],"concepts":[{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.6230000257492065},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5964000225067139},{"id":"https://openalex.org/C2780016784","wikidata":"https://www.wikidata.org/wiki/Q2714507","display_name":"Orthant","level":2,"score":0.5950999855995178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5396999716758728},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5227000117301941},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5153999924659729},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.49630001187324524},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.4936999976634979},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.4771000146865845},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.4726000130176544},{"id":"https://openalex.org/C2779664074","wikidata":"https://www.wikidata.org/wiki/Q3518405","display_name":"Terminal (telecommunication)","level":2,"score":0.45910000801086426},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.44449999928474426},{"id":"https://openalex.org/C4292930","wikidata":"https://www.wikidata.org/wiki/Q17009341","display_name":"Distributed element model","level":2,"score":0.4300999939441681},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.41040000319480896},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3896999955177307},{"id":"https://openalex.org/C165818556","wikidata":"https://www.wikidata.org/wiki/Q213488","display_name":"Geodesic","level":2,"score":0.38420000672340393},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3840999901294708},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3693000078201294},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.3449000120162964},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C8505890","wikidata":"https://www.wikidata.org/wiki/Q605095","display_name":"Budget constraint","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.31369999051094055},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.3027999997138977},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28349998593330383},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.26840001344680786},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.2662999927997589},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25920000672340393},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.25780001282691956}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.30655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.30655","pdf_url":"https://arxiv.org/pdf/2609.30655","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.30655","doi":"https://doi.org/10.48550/arxiv.2609.30655","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.30655","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.30655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.30655","pdf_url":"https://arxiv.org/pdf/2609.30655","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G8157764143","display_name":null,"funder_award_id":"62133003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327557","display_name":"National Office for Philosophy and Social Sciences","ror":"https://ror.org/04m0ms912"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214639929.pdf","grobid_xml":"https://content.openalex.org/works/W7214639929.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3046441787","https://openalex.org/W2044197961","https://openalex.org/W3118986999","https://openalex.org/W2570330640","https://openalex.org/W3198842289","https://openalex.org/W2913562221","https://openalex.org/W2912003349","https://openalex.org/W7221826386","https://openalex.org/W4315488987","https://openalex.org/W3040772636"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"constraint":[3,97,137],"certification":[4],"in":[5],"synchronous":[6],"distributed":[7],"model":[8],"predictive":[9],"control":[10],"(DMPC)":[11],"when":[12],"neighboring":[13],"predictions":[14],"change":[15],"between":[16],"sampling":[17],"instants.":[18],"Before":[19],"the":[20,51,55,81,86,109,154],"parallel":[21],"local":[22,119],"solves,":[23],"each":[24],"agent":[25],"communicates":[26],"a":[27,89,118,133,161],"shifted":[28,52],"prediction":[29],"and":[30,65,74,85,99,105,116,130,140,148],"an":[31,45],"announced":[32],"update":[33,84],"budget.":[34],"A":[35,123],"hard":[36,95,128],"trajectory":[37],"trust":[38],"region":[39],"makes":[40],"that":[41,153],"budget":[42,76,156],"enforceable,":[43],"while":[44,159],"edge-wise":[46],"feasibility":[47,101],"cap":[48],"computed":[49],"from":[50],"packets":[53],"keeps":[54],"fallback":[56],"feasible":[57],"without":[58],"using":[59],"any":[60],"current":[61],"optimizer":[62],"output.":[63],"Distance":[64],"relative-attitude":[66],"constraints":[67],"are":[68],"tightened":[69],"with":[70,145],"explicit":[71],"Lipschitz":[72],"constants":[73],"two":[75],"layers:":[77],"one":[78],"accounts":[79],"for":[80],"simultaneous":[82],"neighbor":[83],"other":[87],"retains":[88],"checkable":[90],"shift":[91],"reserve.":[92],"We":[93],"prove":[94],"pairwise":[96,131],"satisfaction":[98],"recursive":[100],"under":[102],"stated":[103],"nominal-execution":[104],"terminal":[106,129],"assumptions,":[107],"give":[108],"additional":[110],"residual":[111],"caused":[112],"by":[113],"execution":[114],"error,":[115],"derive":[117],"practical":[120],"value-decrease":[121],"bound.":[122],"spacecraft":[124],"formation":[125],"example":[126],"uses":[127],"constraints,":[132],"geodesic":[134],"relative-":[135],"attitude":[136],"on":[138],"$\\SO$,":[139],"reproducible":[141],"terminal-set":[142],"checks.":[143],"Comparisons":[144],"fixed,":[146],"trajectory-only,":[147],"windowed":[149],"online":[150],"margins":[151],"show":[152],"proposed":[155],"reduces":[157],"conservatism":[158],"preserving":[160],"positive":[162],"shifted-feasibility":[163],"margin.":[164]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-09-29T00:00:00"}