arXiv subjects

Carlo Karam

Publications and source records attributed to Carlo Karam.

3 recordsLinked to original sources

arXiv2026

Beyond Ellipsoids: Semi-Algebraic Tightening for Chance Constraints Under Actuator Saturation

Motivated by stochastic model predictive control applications, we present a semi-algebraic approach to constraint tightening for chance-constrained systems with unbounded additive disturbances and saturated inputs. The saturated error dynamics are handled via their exact piecewise-affine structure, which naturally accommodates asymmetric saturation bounds. A polynomial Lyapunov function satisfying a drift condition is then designed using sum-of-squares optimization, yielding finite-time probabilistic reachable sets and a probabilistic ultimate bound. The set geometry is explicitly optimized for constraint tightening, further reducing conservatism. A numerical example demonstrates the effectiveness of the design.

math.OC↗

arXiv2026

A Stochastic Tube-Based MPC Framework with Hard Input Constraints

This work presents a stochastic tube-based model predictive control framework that guarantees hard input constraint satisfaction for linear systems subject to unbounded additive disturbances. The approach relies on a structured design of probabilistic reachable sets that explicitly incorporates actuator saturation into the error dynamics and bounds the resulting nonlinearity within a convex embedding. The proposed controller retains the computational efficiency and structural advantages of stochastic tube-based approaches while ensuring state chance constraint satisfaction alongside hard input limits. Recursive feasibility and mean-square stability are established for our scheme, and a numerical example illustrates its effectiveness.

eess.SY↗

arXiv2025

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances

In this paper, we present an analytical approach for the synthesis of ellipsoidal probabilistic reachable sets of saturated systems subject to unbounded additive noise. Using convex optimization methods, we compute a contraction factor of the saturated error dynamics that allows us to tightly bound its evolution and therefore construct accurate reachable sets. The proposed approach is applicable to independent, zero mean disturbances with a known covariance. A numerical example illustrates the applicability and effectiveness of the proposed design.

math.OC↗