Verifying performance, stability, and feasibility of inexact non-linear model predictive controllers
A verification framework to numerically analyze inexact model predictive controllers (MPCs) in the constrained non-linear discrete-time setting to formulate an optimization problem that searches over the worst-case initial state within a given set and control inputs consistent with the inexact controller to maximize a...