Principal component analysis in linear systems: Controllability, observability, and model reduction

Kalman's minimal realization theory involves geometric objects (controllable, unobservable subspaces) which are subject to structural instability. Specifically, arbitrarily small perturbations in a model may cause a change in the dimensions of the associated subspaces. This situation is manifested in computational difficulties which arise in attempts to apply textbook algorithms for computing a minimal realization. Structural instability associated with geometric theories is not unique to control; it arises in the theory of linear equations as well. In this setting, the computational problems have been studied for decades and excellent tools have been developed for coping with the situation. One of the main goals of this paper is to call attention to principal component analysis (Hotelling, 1933), and an algorithm (Golub and Reinsch, 1970) for computing the singular value decompositon of a matrix. Together they form a powerful tool for coping with structural instability in dynamic systems. As developed in this paper, principal component analysis is a technique for analyzing signals. (Singular value decomposition provides the computational machinery.) For this reason, Kalman's minimal realization theory is recast in terms of responses to injected signals. Application of the signal analysis to controllability and observability leads to a coordinate system in which the "internally balanced" model has special properties. For asymptotically stable systems, this yields working approximations of X_{c}, X_{\bar{o}} , the controllable and unobservable subspaces. It is proposed that a natural first step in model reduction is to apply the mechanics of minimal realization using these working subspaces.

[1]  H. Hotelling Analysis of a complex of statistical variables into principal components. , 1933 .

[2]  Harold Hotelling,et al.  Simplified calculation of principal components , 1936 .

[3]  R. Kálmán ALGEBRAIC STRUCTURE OF LINEAR DYNAMICAL SYSTEMS, I. THE MODULE OF Sigma. , 1965, Proceedings of the National Academy of Sciences of the United States of America.

[4]  R. Kálmán Irreducible realizations and the degree of a rational matrix. , 1965 .

[5]  J. H. Wilkinson The algebraic eigenvalue problem , 1966 .

[6]  D. Wilson Optimum solution of model-reduction problem , 1970 .

[7]  J. Rissanen Recursive identification of linear systems , 1971 .

[8]  J. Uhlig C. Forsythe and C. B. Moler, Computer Solution of Linear Algebraic Systems. (Series in Automatic Computation) XI + 148 S. Englewood Cliffs, N.J. 1967. Prentice-Hall, Inc. Preis geb. 54 s. net , 1972 .

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

[10]  J. Aplevich Approximation of discrete linear systems , 1973 .

[11]  H. Zeiger,et al.  Approximate linear realizations of given dimension via Ho's algorithm , 1974 .

[12]  D. Wilson,et al.  Model reduction for multivariable systems , 1974 .

[13]  W. Wonham Linear Multivariable Control: A Geometric Approach , 1974 .

[14]  Bernard Friedland,et al.  Controllability Index Based on Conditioning Number , 1975 .

[15]  Clifford T. Mullis,et al.  Synthesis of minimum roundoff noise fixed point digital filters , 1976 .

[16]  Sun-Yuan Kung,et al.  A new identification and model reduction algorithm via singular value decomposition , 1978 .

[17]  B. Moore Principal component analysis in nonlinear systems: Preliminary results , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[18]  Lars Pernebo,et al.  Balanced systems and model reduction , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

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