Numerical linear algebra aspects of control design computations

The interplay between recent results and methodologies in numerical linear algebra and mathematical software and their application to problems arising in systems, control, and estimation theory is discussed. The impact of finite precision, finite range arithmetic [including the implications of the proposed IEEE floating point standard(s)] on control design computations is illustrated with numerous examples as are pertinent remarks concerning numerical stability and conditioning. Basic tools from numerical linear algebra such as linear equations, linear least squares, eigenproblems, generalized eigenproblems, and singular value decomposition are then outlined. A selected list of applications of the basic tools then follows including algorithms for solution of problems such as matrix exponentials, frequency response, system balancing, and matrix Riccati equations. The implementation of such algorithms as robust mathematical software is then discussed. A number of issues are addressed including characteristics of reliable mathematical software, availability and evaluation, language implications (Fortran, Ada, etc.), and the overall role of mathematical software as a component of computer-aided control system design.

[1]  A M Ostrowski On the spectrum of a one parametric family of matrices , 1952 .

[2]  On the spectrum of a one-parametric family of matrices. , 1954 .

[3]  J. G. F. Francis,et al.  The QR Transformation A Unitary Analogue to the LR Transformation - Part 1 , 1961, Comput. J..

[4]  J. G. F. Francis,et al.  The QR Transformation - Part 2 , 1962, Comput. J..

[5]  J. Rice A Theory of Condition , 1966 .

[6]  J. H. Wilkinson,et al.  Similarity reduction of a general matrix to Hessenberg form , 1968 .

[7]  Richard H. Bartels,et al.  Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4] , 1972, Commun. ACM.

[8]  Cleve B. Moler,et al.  Matrix computations with Fortran and paging , 1972, CACM.

[9]  G. Stewart,et al.  An Algorithm for Generalized Matrix Eigenvalue Problems. , 1973 .

[10]  Barbara G. Ryder,et al.  The pfort verifier , 1974, Softw. Pract. Exp..

[11]  William J. Cody,et al.  The FUNPACK Package of Special Function Subroutines , 1975, TOMS.

[12]  G. Stewart The economical storage of plane rotations , 1976 .

[13]  A. Laub,et al.  Computation of supremal (A,B)-invariant and controllability subspaces , 1977 .

[14]  Alan J. Laub,et al.  Calculation of transmission zeros using QZ techniques , 1977, 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications.

[15]  B. Kågström Bounds and perturbation bounds for the matrix exponential , 1977 .

[16]  C. Loan The Sensitivity of the Matrix Exponential , 1977 .

[17]  G. Stewart On the Perturbation of Pseudo-Inverses, Projections and Linear Least Squares Problems , 1977 .

[18]  Wayne Enright On the efficient and reliable numerical solution of large linear systems of O.D.E.'s , 1978, 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes.

[19]  A. Laub A schur method for solving algebraic Riccati equations , 1978, 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes.

[20]  David J. Kuck,et al.  On Stable Parallel Linear System Solvers , 1978, JACM.

[21]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[22]  John M. Mulvey,et al.  On Reporting Computational Experiments with Mathematical Software , 1979, TOMS.

[23]  G. Golub,et al.  A Hessenberg-Schur method for the problem AX + XB= C , 1979 .

[24]  J. H. Wilkinson,et al.  AN ESTIMATE FOR THE CONDITION NUMBER OF A MATRIX , 1979 .

[25]  Alan J. Laub Robust stability of linear systems : some computational considerations , 1979 .

[26]  A. Laub,et al.  The singular value decomposition: Its computation and some applications , 1980 .

[27]  P. Dooren A Generalized Eigenvalue Approach for Solving Riccati Equations , 1980 .

[28]  Jorge J. Moré,et al.  User guide for MINPACK-1. [In FORTRAN] , 1980 .

[29]  A. Laub,et al.  On the numerical solution of the discrete-time algebraic Riccati equation , 1980 .

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

[31]  Robert C. Ward,et al.  Balancing the Generalized Eigenvalue Problem , 1981 .

[32]  A. Laub,et al.  Feedback properties of multivariable systems: The role and use of the return difference matrix , 1981 .

[33]  Paul Van Dooren Numerical linear algebra. An increasing interest in linear system theory , 1981 .

[34]  G. Stein,et al.  Multivariable feedback design: Concepts for a classical/modern synthesis , 1981 .

[35]  A. Varga A Schur method for pole assignment , 1981 .

[36]  C. Paige Properties of numerical algorithms related to computing controllability , 1981 .

[37]  C. Loan,et al.  A Schur decomposition for Hamiltonian matrices , 1981 .

[38]  P. Dooren The generalized eigenstructure problem in linear system theory , 1981 .

[39]  H. T. Kung,et al.  Matrix Triangularization By Systolic Arrays , 1982, Optics & Photonics.

[40]  C. Paige,et al.  An algorithm for pole assignment of time invariant multi-input linear systems , 1982, 1982 21st IEEE Conference on Decision and Control.

[41]  S. Hammarling Numerical Solution of the Stable, Non-negative Definite Lyapunov Equation , 1982 .

[42]  Michael G. Safonov,et al.  Correction to "Feedback properties of multivariable systems: The role and use of the return difference matrix" , 1982 .

[43]  Paul Van Dooren,et al.  Computation of zeros of linear multivariable systems , 1980, Autom..

[44]  Alan J. Laub,et al.  Schur techniques for riccati differential equations , 1982 .

[45]  A. Laub Schur techniques in invariant imbedding methods for solving two-point boundary value problems , 1982, 1982 21st IEEE Conference on Decision and Control.

[46]  Alan Laub,et al.  A software package for the solution of generalized algebraic Riccati equations , 1983, The 22nd IEEE Conference on Decision and Control.

[47]  S. P. Kumar,et al.  Solving Linear Algebraic Equations on an MIMD Computer , 1983, JACM.

[48]  R. Patel COMPUTATIONAL ALGORITHMS FOR POLE ASSIGNMENT IN LINEAR MULTIVARIABLE SYSTEMS , 1983 .

[49]  Petko H. Petkov,et al.  A computational algorithm for pole assignment of linear single-input systems , 1984 .

[50]  Alan J. Laub,et al.  Algorithm 640: Efficient calculation of frequency response matrices from state space models , 1986, TOMS.

[51]  B. AfeArd CALCULATING THE SINGULAR VALUES AND PSEUDOINVERSE OF A MATRIX , 2022 .