Collective Tube MPC With Distribution-Free Joint Safety Certificates
The paper develops collective tube MPC, where the calibrated uncertainty object is the entire finite-horizon prediction-error trajectory rather than separate events combined by a union bound. A reusable trajectory tube is calibrated offline, its cross-sections define online Pontryagin tightenings, and the certified violation event is a fresh prediction-error trajectory leaving the tube.