Truncated balanced realization of a stable non-minimal state-space system

In this paper we present a numerically reliable algorithm to compute the balanced realization of a stable state-space system that may be arbitrarily close to being unobservable and/or uncontrollable. The resulting realization, which is known to be a good approximation of the original system, must be minimal and therefore may contain a reduced number of states. Depending on the choice of partitioning of the Hankel singular values, this algorithm can be used either as a form of minimal realization or of model reduction. This illustrates that in finite precision arithmetic these two procedures are closely related. In addition to real matrix multiplication, the algorithm only requires the solution of two Lyapunov equations and one singular value decomposition of an upper-triangular matrix.