Stability analysis of discrete-time systems with actuator saturation by a saturation-dependent Lyapunov function

In this paper, stability of discrete-time linear systems subject to actuator saturation is analyzed using a saturation-dependent Lyapunov function. This saturation-dependent Lyapunov function captures the real-time information on the severity of actuator saturation and leads to less conservative estimate of the domain of attraction, which is based on the solution of an LMI optimization problem. Numerical examples are presented to show the effectiveness of the proposed method.