Subspace identification method: Difference between revisions

Revision as of 06:48, 19 July 2019

Latest revision as of 01:01, 26 May 2025

(20 intermediate revisions by 9 users not shown)

Line 1:

{{short description|Mathematical concept}}

{{AFC submission|d|essay|u=70.96.135.254|ns=118|decliner=DrStrauss|declinets=20170628140358|ts=20170526172344}} <!-- Do not remove this line! -->

In mathematics, specifically in [[control theory]], '''Subspacesubspace Identificationidentification''' ('''SID''') aims at identifying [[linear time-invariant theory|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.

'''Subspace Identification''' (SID) aims at identifying [[linear time-invariant theory|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 - 18911823–1891). Kronecker.<ref>L. Kronecker, "Algebraische reduktion der schaaren bilinearer formen", S. B. Akad. Berlin, pp. 663 - 776663–776, 1890.</ref> 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 1960's1960s 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 parametersparameter]]s 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.<ref>M.{{Citation |last=Verhaegen, "|first=Michel |title=Subspace Techniques in System Identification", in|date=2013 |url=https://doi.org/10.1007/978-1-4471-5102-9_107-1 |work=Encyclopedia of Systems and Control, https://link.springer.com/referenceworkentry/|pages=1–13 |editor-last=Baillieul |editor-first=John |access-date=2023-10-12 |place=London |publisher=Springer |language=en |doi=10.1007/978-1-4471-5102-9_107-1 |isbn=978-1-4471-5102-9 |editor2-last=Samad |editor2-first=Tariq|url-access=subscription }}</ref>.

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.<ref>H. Akaike, "A new look at the statistical model identification", IEEE Transactions on Automatic Control, vol. 19, pp. 716-723716–723, 1974.</ref>.

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-19951985–1995. One such generalization was presented under the name of the [[Eigensystem realization algorithm|Eigensystem Realization Algorithm]] (ERA) made use of specific input-output measurements considering the impulse inputs.<ref>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.</ref>. 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,<ref>P. Van Overschee and B. De Moor, "N4SID: Subspace algorithms for the identification of combined deterministic-stochastic systems", Automatica, vol. 30 pp. 75 - 9375–93, 1994.</ref>, Verhaegen -– introducing the MOESP approach<ref>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 - 7461–74, 1994.</ref> and Larimore -– presenting ST in the framework of Canonical Variate Analysis (CVA)<ref>W. Larimore, "Canonical variate analysis in identification, filtering, and adaptive control", in Proceedings of the 29th IEEE Conference on Decision and Control, 1990.</ref>

== References ==

<!-- Inline citations added to your article will automatically display here. See https://en.wikipedia.org/wiki/WP:REFB for instructions on how to add citations. -->

{{reflist}}

[[Category:Control theory]]