Subspace identification method
In mathematics, specifically in control theory, subspace identification (SID) aims at identifying linear time invariant (LTI) state space models from input-output data. SID does not require that the user parametrizes the system matrices before solving a parametric optimization problem and, as a consequence, SID methods do not suffer from problems related to local minima that often lead to unsatisfactory identification results.
History
SID methods are rooted in the work by the German mathematician Leopold Kronecker (1823–1891). Kronecker[1] showed that a power series can be written as a rational function when the rank of the Hankel operator that has the power series as its symbol is finite. The rank determines the order of the polynomials of the rational function.
In the 1960s the work of Kronecker inspired a number of researchers in the area of Systems and Control, like Ho and Kalman, Silverman and Youla and Tissi, to store the Markov parameters of an LTI system into a finite dimensional Hankel matrix and derive from this matrix an (A,B,C) realization of the LTI system. The key observation was that when the Hankel matrix is properly dimensioned versus the order of the LTI system, the rank of the Hankel matrix is the order of the LTI system and the SVD of the Hankel matrix provides a basis of the column space observability matrix and row space of the controllability matrix of the LTI system. Knowledge of this key spaces allows to estimate the system matrices via linear least squares.[2]
An extension to the stochastic realization problem where we have knowledge only of the Auto-correlation (covariance) function of the output of an LTI system driven by white noise, was derived by researchers like Akaike.[3]
A second generation of SID methods attempted to make SID methods directly operate on input-output measurements of the LTI system in the decade 1985–1995. One such generalization was presented under the name of the Eigensystem Realization Algorithm (ERA) made use of specific input-output measurements considering the impulse inputs.[4] It has been used for modal analysis of flexible structures, like bridges, space structures, etc. These methods have demonstrated to work in practice for resonant structures they did not work well for other type of systems and an input different from an impulse. A new impulse to the development of SID methods was made for operating directly on generic input-output data and avoiding to first explicitly compute the Markov parameters or estimating the samples of covariance functions prior to realizing the system matrices. Pioneers that contributed to these breakthroughs were Van Overschee and De Moor – introducing the N4SID approach,[5] Verhaegen – introducing the MOESP approach[6] and Larimore – presenting ST in the framework of Canonical Variate Analysis (CVA)[7]
References
- L. Kronecker, "Algebraische reduktion der schaaren bilinearer formen", S. B. Akad. Berlin, pp. 663–776, 1890.
- Verhaegen, Michel (2013), Baillieul, John; Samad, Tariq (eds.), "Subspace Techniques in System Identification", Encyclopedia of Systems and Control, London: Springer, pp. 1–13, doi:10.1007/978-1-4471-5102-9_107-1, ISBN 978-1-4471-5102-9, retrieved 2023-10-12
- H. Akaike, "A new look at the statistical model identification", IEEE Transactions on Automatic Control, vol. 19, pp. 716–723, 1974.
- J.-N. Juang and R. S. Pappa, R. S., "An Eigensystem Realization Algorithm for modal parameter identification and model reduction", Journal of Guidance, Control, and Dynamics. vol. 8, 1985.
- P. Van Overschee and B. De Moor, "N4SID: Subspace algorithms for the identification of combined deterministic-stochastic systems", Automatica, vol. 30 pp. 75–93, 1994.
- M. Verhaegen, "Identification of the deterministic part of MIMO state space models given in innovations form from input-output data", Automatica, vol. 30, pp. 61–74, 1994.
- W. Larimore, "Canonical variate analysis in identification, filtering, and adaptive control", in Proceedings of the 29th IEEE Conference on Decision and Control, 1990.