Anytime Primal--Dual Certification of the Maximum Disturbance Radius in Robust MPC
作者: Wenqi Cai, Muhammad Bakr Abdelghany, Kyriakos G. Vamvoudakis, Anthony Tzes
分类: eess.SY
发布日期: 2026-08-28
💡 一句话要点
提出一种自适应算法以优化鲁棒模型预测控制中的扰动半径
🎯 匹配领域: 支柱一：机器人控制 (Robot Control)
关键词: 鲁棒控制 模型预测控制 扰动半径 自适应算法 实时优化
📋 核心要点
- 现有的鲁棒模型预测控制方法主要关注在设定扰动下优化鲁棒性储备，忽视了在超集扰动情况下的储备变化。
- 本论文提出了一种双侧储备耗尽包络，通过独立的原始和对偶修正层次，提供了有效的上下界，支持在线计算。
- 实验结果显示，该方法在多种测试案例中没有证书违规，并且在速度上相较于传统方法有显著提升，最高可达4.97倍。
📝 摘要（中文）
可调集鲁棒模型预测控制（MPC）描述了一个状态依赖的最大扰动半径，可以被视为认证的鲁棒性储备。现有方法主要集中在优化和传播这一储备，而本论文探讨在有限的超集扰动后，储备剩余多少，而无需立即重新解决完整的优化问题。为此，提出了一种由独立的原始和对偶修正层次构成的双侧储备耗尽包络，分别提供单调的下界和上界。该包络在活动集变化时保持有效，具有在线可计算的宽度，并在子空间扩展下单调收缩。利用其有限步精确性，提出了一种基于优先级的自适应算法，能够以任意时间方式运行：每次完成的简化求解返回一个有效的证书，一旦达到规定的容忍度即可提前终止。数值研究表明，在测试案例中没有证书违规，且在2%的证书宽度容忍度下，相较于热启动的完整重新优化，速度提升中位数可达4.97倍。
🔬 方法详解
问题定义：本论文旨在解决在超集扰动情况下，鲁棒模型预测控制中的最大扰动半径储备如何保持的问题。现有方法在此情况下缺乏有效的处理机制，通常需要重新解决完整的优化问题，导致计算效率低下。
核心思路：论文提出了一种双侧储备耗尽包络，通过原始和对偶修正层次的独立构建，提供了鲁棒性储备的单调上下界。这种设计允许在不重新求解完整问题的情况下，快速评估储备的变化。
技术框架：整体框架包括两个主要模块：原始修正层次和对偶修正层次。原始层次负责提供下界，而对偶层次则提供上界。算法采用优先级策略，能够在每次简化求解后返回有效证书，支持任意时间的运行。
关键创新：最重要的创新在于提出的双侧储备耗尽包络，它在活动集变化时依然有效，并且能够在线计算宽度，显著提高了计算效率。与现有方法相比，该方法避免了频繁的完整优化求解，提升了实时性。
关键设计：在算法设计中，关键参数包括证书宽度容忍度（设定为2%），以及原始和对偶修正的具体实现细节。算法的每一步都确保返回有效的鲁棒性证书，支持早期终止，进一步提升了效率。
🖼️ 关键图片
📊 实验亮点
实验结果表明，所提出的方法在所有测试案例中均未出现证书违规，且在速度上相较于传统的热启动完整重新优化方法，提升幅度中位数达到4.97倍，显示出显著的性能优势。
🎯 应用场景
该研究的潜在应用领域包括自动驾驶、机器人控制和工业过程优化等场景。在这些领域，实时性和鲁棒性是至关重要的，论文提出的方法能够有效提升系统在面对不确定扰动时的响应能力，具有重要的实际价值。未来，该方法可能推动更广泛的鲁棒控制技术的发展，尤其是在动态环境中的应用。
📄 摘要（原文）
Adjustable-set robust model predictive control (MPC) characterizes a state-dependent maximum disturbance radius, which can be interpreted as a certified robustness reserve. Existing methods primarily focus on optimizing and propagating this reserve under in-set disturbances. This letter investigates how much reserve remains after a finite out-of-set disturbance without immediately re-solving the full optimization problem. To this end, we propose a two-sided reserve-depletion envelope formed by independent primal and dual correction hierarchies, which supply monotone lower and upper bounds, respectively. The envelope remains valid across active-set changes, has an online-computable width, and contracts monotonically under subspace expansion. Leveraging its finite-step exactness, we present a basis-first adaptive algorithm that operates in an anytime manner: every completed reduced solve returns a valid certificate, enabling early termination once a prescribed tolerance is reached. Across the tested cases, numerical studies report no certificate violations and median speedups of up to 4.97x over warm-started full re-optimization at a 2% certificate-width tolerance.