Classification of systems under state and output transformations (Q1269949)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Classification of systems under state and output transformations |
scientific article; zbMATH DE number 1213191
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classification of systems under state and output transformations |
scientific article; zbMATH DE number 1213191 |
Statements
Classification of systems under state and output transformations (English)
0 references
22 October 1998
0 references
Apparently, the title of this paper has not been translated correctly; it should rather be ``Classification of systems under state and input transformations''. This paper studies linear control systems of the form \[ \dot x= Ax+ Bu,\tag{\(*\)} \] \(x\in K^n\), \(u\in K^m\), \(K\) is a field of characteristic \(0\), \(m< n\), acted on by a subgroup of \(G= GL_n(K)\times GL_m(K)\) of the feedback group \[ (T, S)(A, B)\mapsto (TAT^{-1}, TBS^{-1}),\tag{\(**\)} \] \(T\in GL_n(K)\), \(S\in GL_m(K)\), consisting of the state and input coordinate changes. By assumption, the acting group has dimension lower that the dimension of the ambient system space. The paper focuses on characterizing the set of so-called prestable systems under the action \((**)\), i.e., an open invariant set of control systems, composed of closed orbits. Using methods of algebraic geometry and invariant theory, the following main results have been established. \(\bullet\) If the so-called extended power of \((A,B)\) is reachable then \((A,B)\) is prestable, and not vice versa (Corollary 1). \(\bullet\) If \(n\) is not divisible by \(m\), a semiinvariant \(g\) has been found such that, if \(g(A, B)\neq 0\) then \((A, B)\) is prestable (Theorem 4). \(\bullet\) For \(m=n-1\) a semiinvariant \(P\) has been constructed such that, if \(P(A,B)\neq 0\) then \((A,B)\) is prestable (Corollary 2), prestability has been proved to be equivalent to regularity (Proposition 2, Theorem 6), and a canonical form of \((A,B)\) is derived. \(\bullet\) A further condition for prestability has been obtained asserting that \((A,B)\) is prestable if it is stable (i.e., the orbit of \((A,B)\) is closed and its dimension equals the dimension of the acting group) under the action \((**)\) of the product of special linear groups \(SL_m(K)\times SL_m(K)\) (Theorem 7).
0 references
group action
0 references
prestability
0 references
linear control systems
0 references
feedback group
0 references
prestable systems
0 references
invariant theory
0 references
regularity
0 references
canonical form
0 references
0.9304712
0 references
0.8608058
0 references
0.8464463
0 references
0.84186786
0 references