Search papers, labs, and topics across Lattice.
This paper introduces Predictive Safety-Stability Filter (PS2F), a cascaded optimal control framework that combines a nominal MPC copilot with a filtering layer to ensure safety and asymptotic stability in learning-based control systems. PS2F leverages the MPC layer to implicitly define a Lyapunov function and generate certified trajectories, while the filtering layer adjusts external commands to maintain safety and stability. Theoretical analysis proves recursive feasibility and asymptotic stability without added conservatism, and a time-varying parameterization enables dynamic balancing of safety and stability.
Guaranteeing safety and stability in learning-based control doesn't have to mean sacrificing performance: PS2F achieves both by cleverly cascading MPC with a predictive filter.
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.
