Stability analysis of Model Predictive Controllers using Mixed Integer Linear Programming

TL;DR

This paper introduces a method to analyze the stability of linear systems controlled by Model Predictive Control (MPC) using a Mixed Integer Linear Programming formulation, providing a practical tool for stability verification.

Contribution

It develops a MILP-based approach for a posteriori stability analysis of MPC-controlled systems, addressing limitations of traditional stability guarantees.

Findings

The MILP formulation provides a sufficient condition for closed-loop stability.

The method enables stability analysis without extensive modifications to existing MPC setups.

It offers a computationally feasible way for stability verification in real-time applications.

Abstract

It is a well known fact that finite time optimal controllers, such as MPC does not necessarily result in closed loop stable systems. Within the MPC community it is common practice to add a final state constraint and/or a final state penalty in order to obtain guaranteed stability. However, for more advanced controller structures it can be difficult to show stability using these techniques. Additionally in some cases the final state constraint set consists of so many inequalities that the complexity of the MPC problem is too big for use in certain fast and time critical applications. In this paper we instead focus on deriving a tool for a-postiori analysis of the closed loop stability for linear systems controlled with MPC controllers. We formulate an optimisation problem that gives a sufficient condition for stability of the closed loop system and we show that the problem can be written as a Mixed Integer Linear Programming Problem (MILP)