{"id":"arxiv/2604.03407","url":"https://arxiv.org/abs/2604.03407","tags":["math.OC","eess.SY"],"score":0,"title":"Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping","domain":"math.OC","source":"arxiv","authors":["Jianqiang Ding","Nishant Jayesh Bhave","Shankar A. Deka"],"reviews":0,"subject":"math.OC","summary":"This letter proposes a novel sampled-data model predictive control framework for continuous control-affine nonlinear systems that provides rigorous reach-avoid and recursive feasibility guarantees under physical constraints. By propagating both input and output constraints through backstepping process, we present a constructive approach to synthesize a reach-avoid invariant set that complies with control input limits. Using this reach-avoid set as a terminal set, we prove that the proposed sampled-data MPC framework recursively admits feasible control inputs that safely steer the continuous…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-03","reactions":{}}