On Asymptotic Stabilization of Linear Discrete-time Systems with Saturated State Feedback

As saturation is involved in the stabilizing feedback control of a linear discrete-time system, the original global-asymptotic stabilization (GAS) may drop to region-asymptotic stabilization (RAS). How to test if the saturated feedback system is GAS or RAS? The paper presents a criterion to answer this question, and describes an algorithm to calculate an invariant attractive ellipsoid for the RAS case. At last, the effectiveness of the approach is shown with examples.