{"id":"arxiv/2609.09930","url":"https://arxiv.org/abs/2609.09930","tags":["math.OC","eess.SY"],"score":0,"title":"The Global Asymptotic Stability Problem for Linear MPC Is Undecidable","domain":"math.OC","source":"arxiv","authors":["Johan Löfberg"],"reviews":0,"subject":"math.OC","summary":"We prove that deciding global asymptotic stability for constrained finite-horizon linear model predictive control is undecidable. This holds at horizon one with identity state, input, and terminal weights, unique optimizers, and global feasibility. Separate reductions cover predicted-state boxes, hard input boxes, and quadratically softened input boxes. A fourth reduction fixes the state and input dimensions to three and six. Hence undecidability is not caused by long horizons, growing dimensions, failures of recursive feasibility, or nonuniqueness.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}