Theorem 4, pp. 10–11 — a ρ-hard IQC and a feasible LMI (3.9) give ‖ξ_k − ξ⋆‖ ≤ √cond(P) ρᵏ ‖ξ₀ − ξ⋆‖

Initializing...

Theorem 4, pp. 10–11 — a ρ-hard IQC and a feasible LMI (3.9) give ‖ξ_k − ξ⋆‖ ≤ √cond(P) ρᵏ ‖ξ₀ − ξ⋆‖ · Prove2Me