{"id":"arxiv/2607.19639","url":"https://arxiv.org/abs/2607.19639","tags":["math.OC","eess.SY"],"score":0,"title":"Beyond Ellipsoids: Semi-Algebraic Tightening for Chance Constraints Under Actuator Saturation","domain":"math.OC","source":"arxiv","authors":["Carlo Karam","Mirko Fiacchini","Matteo Tacchi-Bénard"],"reviews":0,"subject":"math.OC","summary":"Motivated by stochastic model predictive control applications, we develop a semialgebraic framework for constraint tightening in chance-constrained systems with unbounded additive disturbances and saturated inputs. The saturation nonlinearity is represented exactly through its semialgebraic description. A polynomial Lyapunov function satisfying a stochastic drift condition is then synthesized using sum-of-squares optimization, yielding finite-time probabilistic reachable sets and probabilistic ultimate bound. The resulting sets are further optimized through an objective tailored to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}