Abstract:The objective of this paper is to present an algebraic theory for analyzing the infinite structures of singular systems. The key concept used in the development is the so-called homogeneous form for polynomial and rational matrices, which can be seen as a generalization of the well-known notion of homogeneous form for matrix pencils. We show how familiar concepts such as matrix fraction description, infinite poles and zeros, irreducibility, and cancellation at infinity appear naturally in this framework. The characterizations for some of these concepts are derived in terms of homogeneous forms. Considering singular systems to be alternative representations for (possibly nonproper) rational matrices, we are able to relate the fundamental concepts of controllability and reconstructibility for singular systems to the concept of complete coprimeness for rational matrices, and to relate the concept of minimal order of singular systems to the concept of the McMillan degree of rational matrices. As an important result, the equivalence relations among the concepts of joint controllability and reconstructibility, minimal order, and complete irreducibility are established. Moreover, we show that for any rational matrix factorized in matrix fraction description, the determinantal degree of the denominator matrix is the McMillan degree of the rational matrix if and only if the matrix fraction description is completely irreducible.

On the invariant factors and the minimal polynomial assignments of linear systems

Control Via Interconnection and Damping Assignment of Linear Time–Invariant Systems is Equivalent to Stabilizability

Computation of the Maximal Invariant Set of Linear Systems with Quasi-Smooth Nonlinear Constraints.

Computation of the Maximal Invariant Set of Discrete-Time Linear Systems Subject to a Class of Non-Convex Constraints.

A Consequence of Invertibility on the Normal Form of a MIMO Nonlinear Systems

On minimal bases and indices of rational matrices and their linearizations

Necessary and Sufficient Condition for Global Controllability of a Class of Affine Nonlinear Systems

Controllability Of A Class Of Singular Systems

Robust positively invariant sets of discrete-time convex polyhedral system family

Invariance of Rank for Linear Combinations of Scalar-involutory Matrices

Equi-invariability, bounded invariance complexity and L-stability for control systems

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

ROBUST POSITIVELY INVARIANT SETS OF DISCRETE-TIME NONLINEAR AND TIME-VARIABLE CONVEX POLYHEDRAL SYSTEM FAMILY

Control sets of linear control systems on $\R^2$. The real case

Topological equivalence canonical forms for linear multivariable systems without control

On max-plus two-sided linear systems whose solution sets are min-plus linear

Minimal Invariant Subspaces for an Affine Composition Operator

On Prime Factors of Nonsingular Rational Matrices

The Use of the Homogeneous Form in the Study of Singular Systems

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs