On IQC approach to the analysis and design of linear systems subject to actuator saturation

This paper establishes IQC-based (Integral Quadratic Constraints) conditions under which an ellipsoid is contractively invariant for a single input linear system under a saturated linear feedback law. Based on these set invariance conditions, the determination of the largest such ellipsoid, for use as an estimate of the domain of attraction, can be formulated and solved as an LMI optimization problem. Such an LMI problem can also be readily adapted for the design of the feedback gain that achieves the largest contractively invariant ellipsoid. While the advantages of the proposed IQC approach remain to be explored, it is shown in this paper that the largest contractively invariant ellipsoid determined by this approach is the same as the one determined by the existing approach based on expressing the saturated linear feedback as a linear differential inclusion (LDI), which is known to lead to non-conservative result in determining the largest contractively invariant ellipsoid for single input systems.