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.

An Observable Canonical Form for a Rational System on a Variety

A Canonical Form Of Completely Uniformly Locally Weakly Observable Multi-Output Nonlinear Systems

Canonical Forms for Singular Systems

Observer Design for Singular Systems Using Canonical Forms

Topological equivalence canonical forms for linear multivariable systems without control

A Note On Minimal Positive Realizations Of Continuous-Time Linear Systems

On real and observable realizations of input-output equations

Characterization of the class of canonical forms for systems of linear equations

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

High-gain observers with limited gain power for systems with observability canonical form

Partial Observer Canonical Form Design Method for Single-output Affine Nonlinear System with Simple Validation Conditions

Irreducibility and Joint Contrallability Observability in Singular Systems

Invariant rational functions under rational transformations

A Partial-State Observer for a Class of MIMO Nonlinear Systems

On classification of measurable functions of several variables

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

Covariant operator bases for continuous variables

Partial Observer Canonical Form for Multi-Output Nonlinear Forced System: a New Method

An Identity Concerning Controllability Observability and Coprimeness of Linear Systems and Its Applications