“…When dealing with high-order models, it is reasonable to look for an approximate stable model ẋ m (t) = A m x m (t) + B m u(t) y m (t) = C m x m (t), (1.2) in which A m ∈ R m×m , B m , C T m ∈ R m×s and x m (t), y m (t) ∈ R m , with m n. Hence, the reduction problem consists in approximating the triplet {A, B, C} by another one {Â,B,Ĉ} of small size. Several approaches in this area have been used as Padé approximation [15,33,34], balanced truncation [29,37], optimal Hankel norm [16,17] and Krylov subspace methods [3,6,11,12,21,22]. These approaches require the solution of coupled Lyapunov matrix equations [1,13,25,27] having the form A P + P A T + B B T = 0 A T Q + Q A + C T C = 0, (1.3) where P, Q are the controllability and the observability Grammians of the system (1.1).…”