{"id":"arxiv/2609.14920","url":"https://arxiv.org/abs/2609.14920","tags":["math.OC"],"score":0,"title":"Verifying performance, stability, and feasibility of inexact non-linear model predictive controllers","domain":"math.OC","source":"arxiv","authors":["Rajiv Sambharya","Sribalaji C. Anand","George Pappas"],"reviews":0,"subject":"math.OC","summary":"We introduce a verification framework to numerically analyze inexact model predictive controllers (MPCs) in the constrained non-linear discrete-time setting. Rather than modifying the controller so that guarantees hold by construction, we treat the controller as given. In particular, we focus on two types of inexact controllers: (a) one whose input is extracted from a primal-dual point satisfying the Karush-Kuhn-Tucker (KKT) conditions of the non-convex MPC problem, and (b) one whose input is obtained by linearizing the dynamics and solving a convex quadratic program. The main idea of our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}