提出PS2F框架,让智能控制既安全又稳定
MPC as a Copilot: A Predictive Filter Framework with Safety and Stability Guarantees
- 用两级预测优化架构,统一保证安全与稳定
- 闭环系统可递归可行且渐近稳定,无额外保守性
- 支持安全与稳定模式平滑切换,适合动态任务
学习型控制中确保安全与稳定仍是根本挑战,目标导向策略常忽略系统约束和状态收敛。本文提出预测安全-稳定性滤波器(PS2F),一种统一的预测滤波框架,可在单一架构中保证约束满足与渐近稳定。该框架包含两级最优控制问题:第一层为名义模型预测控制(MPC)层,仅作为协作者,隐式定义李雅普诺夫函数并生成具有安全与稳定性保障的预测轨迹;第二层为滤波层,调整外部指令以保持在可证明安全稳定的区域内。这种级联结构使PS2F继承名义MPC的理论保证,同时兼容目标导向的外部指令。严格分析表明闭环系统具有递归可行性与渐近稳定性,且不引入超出名义MPC的额外保守性。此外,时变参数化使PS2F可平滑切换于安全优先与稳定主导模式之间,提供探索与利用平衡的合理机制。通过对比数值实验验证了该框架的有效性。
原文摘要 · Abstract (English)
Ensuring both safety and stability remains a fundamental challenge in learning-based control, where goal-oriented policies often neglect system constraints and closed-loop state convergence. To address this limitation, this paper introduces the Predictive Safety--Stability Filter (PS2F), a unified predictive filter framework that guarantees constraint satisfaction and asymptotic stability within a single architecture. The PS2F framework comprises two cascaded optimal control problems: a nominal model predictive control (MPC) layer that serves solely as a copilot, implicitly defining a Lyapunov function and generating safety- and stability-certified predicted trajectories, and a secondary filtering layer that adjusts external command to remain within a provably safe and stable region. This cascaded structure enables PS2F to inherit the theoretical guarantees of nominal MPC while accommodating goal-oriented external commands. Rigorous analysis establishes recursive feasibility and asymptotic stability of the closed-loop system without introducing additional conservatism beyond that associated with the nominal MPC. Furthermore, a time-varying parameterisation allows PS2F to transition smoothly between safety-prioritised and stability-oriented operation modes, providing a principled mechanism for balancing exploration and exploitation. The effectiveness of the proposed framework is demonstrated through comparative numerical experiments.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。