{"id":"arxiv/2609.30655","url":"https://arxiv.org/abs/2609.30655","tags":["eess.SY","math.OC"],"score":0,"title":"Certificate-Carrying Distributed Model Predictive Control on Product Manifolds with $\\mathrm{SO}(3)$","domain":"eess.SY","source":"arxiv","authors":["Shengjun Zhang","Tingyi Liu","Lei Xu","Tao Yang"],"reviews":0,"subject":"eess.SY","summary":"This paper studies constraint certification in synchronous distributed model predictive control (DMPC) when neighboring predictions change between sampling instants. Before the parallel local solves, each agent communicates a shifted prediction and an announced update budget. A hard trajectory trust region makes that budget enforceable, while an edge-wise feasibility cap computed from the shifted packets keeps the fallback feasible without using any current optimizer output. Distance and relative-attitude constraints are tightened with explicit Lipschitz constants and two budget layers: one…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}