Certificate-Carrying Distributed Model Predictive Control on Product Manifolds with $\mathrm{SO}(3)$
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 b...