Linear systems theory revisited

This paper investigates and clarifies how different definitions of reachability, observability, controllability, reconstructability and minimality that appear in the control literature, may be equivalent or different, depending on the type of linear system. The differences are caused by (1) whether or not the linear system has state dimensions that vary with time (2) bounds on the time axis of the linear system (3) whether or not the initial state is non-zero and (4) whether or not the system is time invariant. Also (5) time-reversibility of systems plays a role. Discrete-time linear strictly proper systems are considered. A recently published result is used to argue that all the results carry over to continuous time. Out of the investigation two types of definitions emerge. One type applies naturally to systems with constant dimensions while the other applies naturally to systems with variable dimensions. This paper reveals that time-varying (state) dimensions that are allowed to be zero are necessary to obtain equivalence between minimality and (weak) reachability together with observability at the systems level. Besides their theoretical significance the results of this paper are of practical importance for model reduction and control of time-varying discrete-time linear systems because they result in minimal realizations with smaller dimensions that are also computed more easily.

[1]  Willem L. De Koning,et al.  Optimal reduced-order compensation of time-varying discrete-time systems with deterministic and white parameters , 1999, Autom..

[2]  Willem L. De Koning,et al.  Minimal and non-minimal optimal fixed-order compensators for time-varying discrete-time systems , 2002, Autom..

[3]  Leonard Weiss,et al.  Controllability, Realization and Stability of Discrete-Time Systems , 1972 .

[4]  L. Weiss.  WEIGHTING PATTERNS AND THE CONTROLLABILITY AND OBSERVABILITY OF LINEAR SYSTEMS. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[5]  Henrik Sandberg,et al.  Balanced truncation of linear time-varying systems , 2004, IEEE Transactions on Automatic Control.

[6]  R. E. Kalman,et al.  Contributions to the Theory of Optimal Control , 1960 .

[7]  Michel Malabre,et al.  On the control of linear systems having internal variations , 2003, Autom..

[8]  David S. Evans,et al.  FINITE-DIMENSIONAL REALIZATIONS OF DISCRETE-TIME WEIGHTING PATTERNS* , 1972 .

[9]  R. E. Kalman,et al.  Contributions to linear system theory , 1965 .

[10]  W. L. Koning,et al.  A Kalman decomposition to detect temporal linear system srtucture , 2007 .

[11]  M. Malabre,et al.  More about non square implicit descriptions for modelling and control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[12]  Andras Varga,et al.  Balancing related methods for minimal realization of periodic systems , 1999 .

[13]  Michael A. Arbib,et al.  Topics in Mathematical System Theory , 1969 .

[14]  R E Kalman,et al.  CANONICAL STRUCTURE OF LINEAR DYNAMICAL SYSTEMS. , 1962, Proceedings of the National Academy of Sciences of the United States of America.

[15]  H. Dym,et al.  Operator theory: Advances and applications , 1991 .

[16]  Daniel Boley,et al.  Computing the Kalman decomposition: An optimal method , 1984 .

[17]  M. A. Kaashoek,et al.  Minimality and realization of discrete time-varying systems , 1992 .

[18]  Michel Malabre,et al.  ON THE CONTROL OF LINEAR SYSTEMS HAVING INTERNAL VARIATIONS, PART I—REACHABILITY , 2002 .