{"id":"arxiv/2605.05575","url":"https://arxiv.org/abs/2605.05575","tags":["eess.SY","cs.RO","math.OC"],"score":0,"title":"Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control","domain":"eess.SY","source":"arxiv","authors":["Tanmay Dokania","Yashwanth Kumar Nakka"],"reviews":0,"subject":"eess.SY","summary":"Optimal control for safety-critical systems is often dependent on the conservativeness of constraints. Control Barrier Functions (CBFs) serve as a medium to represent such constraints, but constructing a minimally conservative CBF is a computationally intractable problem. Therefore, approaches that can guarantee safety while reducing conservatism will help improve the optimality of the system under consideration. Here, we present a Model Predictive Control (MPC) formulation using CBF as a terminal constraint, which is proven to improve feasibility and reachable sets with increasing…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-05-07","reactions":{}}