Balanced truncation model reduction for semidiscretized Stokes equation

We discuss model reduction of linear continuous-time descriptor systems that arise in the control of semidiscretized Stokes equations. Balanced truncation model reduction methods for descriptor systems are presented. These methods are closely related to the proper and improper controllability and observability Gramians and Hankel singular values of descriptor systems. The Gramians can be computed by solving projected generalized Lyapunov equations. Important properties of the balanced truncation approach are that the asymptotic stability is preserved in the reduced order system and there is an a priori bound on the approximation error. We demonstrate the application of balanced truncation model reduction to the semidiscretized Stokes equation.

[1]  Paul Van Dooren,et al.  A rational Lanczos algorithm for model reduction , 1996, Numerical Algorithms.

[2]  D. Bender.  Lyapunov-like equations and reachability/observabiliy Gramians for descriptor systems , 1987 .

[3]  L. Dai,et al.  Singular Control Systems , 1989, Lecture Notes in Control and Information Sciences.

[4]  D. Sorensen,et al.  A Survey of Model Reduction Methods for Large-Scale Systems , 2000 .

[5]  P. Dooren,et al.  Asymptotic Waveform Evaluation via a Lanczos Method , 1994 .

[6]  Thilo Penzl,et al.  A Cyclic Low-Rank Smith Method for Large Sparse Lyapunov Equations , 1998, SIAM J. Sci. Comput..

[7]  Thomas Bewley,et al.  Flow control: new challenges for a new Renaissance , 2001 .

[8]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[9]  D. Enns.  Model reduction with balanced realizations: An error bound and a frequency weighted generalization , 1984, The 23rd IEEE Conference on Decision and Control.

[10]  Roswitha März,et al.  Canonical projectors for linear differential algebraic equations , 1996 .

[11]  T. Stykel.  Analysis and Numerical Solution of Generalized Lyapunov Equations , 2002 .

[12]  Brian D. O. Anderson,et al.  Singular perturbation approximation of balanced systems , 1989 .

[13]  Luigi Fortuna,et al.  Model Order Reduction Techniques with Applications in Electrical Engineering , 1992 .

[14]  G. Doetsch.  Guide to the applications of the Laplace and Z-transforms , 1971 .

[15]  Thilo Penzl.  Eigenvalue decay bounds for solutions of Lyapunov equations: the symmetric case , 2000 .

[16]  Y. Zhou,et al.  On the decay rate of Hankel singular values and related issues , 2002, Syst. Control. Lett..

[17]  S. Ravindran.  A reduced-order approach for optimal control of fluids using proper orthogonal decomposition , 2000 .

[18]  V. N. Bogaevski,et al.  Matrix Perturbation Theory , 1991 .

[19]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[20]  O. Widlund,et al.  Iterative solution of elliptic systems : and applications to the neutron diffusion equations of reactor physics , 1967 .

[21]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

[22]  James Demmel,et al.  The generalized Schur decomposition of an arbitrary pencil A–λB—robust software with error bounds and applications. Part I: theory and algorithms , 1993, TOMS.

[23]  M. Safonov,et al.  A Schur method for balanced-truncation model reduction , 1989 .

[24]  Frank Wang,et al.  An efficient Lyapunov equation-based approach for generating reduced-order models of interconnect , 1999, DAC '99.

[25]  I. Postlethwaite,et al.  Truncated balanced realization of a stable non-minimal state-space system , 1987 .

[26]  Jing-Rebecca Li.  Model reduction of large linear systems via low rank system gramians , 2000 .

[27]  Victor Sreeram,et al.  Model reduction of singular systems , 2001, Int. J. Syst. Sci..

[28]  A. Laub,et al.  Computation of system balancing transformations and other applications of simultaneous diagonalization algorithms , 1987 .

[29]  Tatjana Stykel,et al.  Gramian-Based Model Reduction for Descriptor Systems , 2004, Math. Control. Signals Syst..

[30]  Roland W. Freund,et al.  Efficient linear circuit analysis by Pade´ approximation via the Lanczos process , 1994, EURO-DAC '94.

[31]  K. Glover.  All optimal Hankel-norm approximations of linear multivariable systems and their L, ∞ -error bounds† , 1984 .

[32]  Paul Van Dooren,et al.  Model reduction of state space systems via an implicitly restarted Lanczos method , 1996, Numerical Algorithms.

[33]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[34]  F. R. Gantmakher.  The Theory of Matrices , 1984 .

[35]  R. Freund.  Krylov-subspace methods for reduced-order modeling in circuit simulation , 2000 .