Semi-global stabilization of linear discrete-time systems subject to input saturation via linear feedback:an ARE-based approach

The authors revisit the problem of semi-global stabilization of linear discrete-time systems subject to input saturation and give an algebraic Riccati equation (ARE)-based approach to the proof of the fact that a linear discrete-time system subject to input saturation is semi-globally stabilizable via linear feedback as long as the linear system in the absence of the saturation is stabilizable and detectable and all its open loop poles are located inside or on the unit circle