Geometric methods for the classification of linear feedback systems (Q1064993)

The paper deals with invariants and canonical forms of proper rational functions acted on by the output feedback group. The group consists of nonsingular matrices \(\gamma =\left[ \begin{matrix} \alpha \quad 0\\ \kappa \quad \beta \end{matrix} \right]\in F\) and acts on \(g(s)=p(s)/q(s)\) according to the formula (p,q)\(\mapsto (\alpha p\), \(\beta q+\kappa p)\). The transfer functions are defined by polynomials \(p(s)=p_ 1s^{n- 1}+...+p_ n\), \(q(s)=s^ n+q_ 1s^{n-1}+...+q_ n\) and belong to a set \(R^*(n).\) The first result of the paper states that the orbit space \(R^*(n)/F\) does not allow neither any finite set of global rational invariant functions nor global algebraic canonical forms. However, if \(Rat(n)\subset R^*(n)\) consists of those (p,q) which are relatively prime then it is established that the quotient Rat(n)/F does possess a complete set of rational invariant functions being actually homogeneous polynomials in the Plücker coordinates of \(Grass(2,n+1)\) divided by the resultant polynomial. Eventually, it is proved that the orbit space Rat(n)/F does not have global continuous canonical forms for the transfer functions with the Cauchy index 0. The results are interpreted in terms of the root loci theory, compared with other existing results and illustrated with enlightening examples.