On the Kronecker Canonical Form of Singular Mixed Matrix Pencils

Consider a linear time-invariant dynamical system that can be described as $F\dot{x}(t) =A{x}(t)+B{u}(t)$, where $A$, $B$, and $F$ are mixed matrices, i.e., matrices having two kinds of nonzero coefficients: fixed constants that account for conservation laws and independent parameters that represent physical characteristics. The controllable subspace of the system is closely related to the Kronecker canonical form of the mixed matrix pencil $\begin{pmatrix}A-sF\mid B\end{pmatrix}$. Under a physically meaningful assumption justified by the dimensional analysis, we provide a combinatorial characterization of the sums of the minimal row/column indices of the Kronecker canonical form of mixed matrix pencils. The characterization leads to a matroid-theoretic algorithm for efficiently computing the dimension of the controllable subspace for the system with nonsingular $F$.

[1]  Shun Sato.  Combinatorial relaxation algorithm for the entire sequence of the maximum degree of minors in mixed polynomial matrices , 2015, JSIAM Lett..

[2]  M. Iri,et al.  Structural solvability of systems of equations —A mathematical formulation for distinguishing accurate and inaccurate numbers in structural analysis of systems— , 1985 .

[3]  Ching-tai Lin.  Structural controllability , 1974 .

[4]  Satoru Iwata,et al.  Computing the Maximum Degree of Minors in Mixed Polynomial Matrices via Combinatorial Relaxation , 2011, IPCO.

[5]  Kazuo Murota,et al.  Combinatorial canonical form of layered mixed matrices and its application to block-triangularization of systems of linear/nonlinear equations , 1987 .

[6]  Volker Mehrmann,et al.  Differential-Algebraic Equations: Analysis and Numerical Solution , 2006 .

[7]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[8]  H. Rosenbrock,et al.  State-space and multivariable theory, , 1970 .

[9]  James S. Thorp,et al.  The singular pencil of a linear dynamical system , 1973 .

[10]  J. Pryce.  A Simple Structural Analysis Method for DAEs , 2001 .

[11]  Kazuo Murota,et al.  A matroid-theoretic approach to structurally fixed modes of control systems , 1989 .

[12]  P. Dooren,et al.  An improved algorithm for the computation of Kronecker's canonical form of a singular pencil , 1988 .

[13]  Kazuo Murota,et al.  On the Degree of Mixed Polynomial Matrices , 1998, SIAM J. Matrix Anal. Appl..

[14]  James Demmel,et al.  The generalized Schur decomposition of an arbitrary pencil A–λB—robust software with error bounds and applications. Part II: software and applications , 1993, TOMS.

[15]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

[16]  K. Murota.  Use of the concept of physical dimensions in the structural approach to systems analysis , 1985 .

[17]  K. Murota.  Refined study on structural controllability of descriptor systems by means of matroids , 1987 .

[18]  Margreta Kuijper,et al.  First order representations of linear systems , 1994 .

[19]  Stephan Trenn,et al.  Addition to: The quasi-Kronecker from for matrix pencils , 2012 .

[20]  A. Ilchmann.  Time-varying linear systems and invariants of system equivalence , 1985 .

[21]  E. Hairer,et al.  Solving Ordinary Differential Equations I , 1987 .

[22]  James Demmel,et al.  The generalized Schur decomposition of an arbitrary pencil A–λB—robust software with error bounds and applications. Part I: theory and algorithms , 1993, TOMS.

[23]  S. Hosoe.  Determination of generic dimensions of controllable subspaces and its application , 1980 .

[24]  SATORU IWATA,et al.  Combinatorial Analysis of Singular Matrix Pencils , 2007, SIAM J. Matrix Anal. Appl..

[25]  T. Berger,et al.  Hamburger Beiträge zur Angewandten Mathematik Controllability of linear differential-algebraic systems-A survey , 2012 .

[26]  Stephan Trenn,et al.  The Quasi-Kronecker Form For Matrix Pencils , 2012, SIAM J. Matrix Anal. Appl..

[27]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .

[28]  P. Dooren.  The generalized eigenstructure problem in linear system theory , 1981 .

[29]  Ying Xu,et al.  Efficient Theoretic and Practical Algorithms for Linear Matroid Intersection Problems , 1996, J. Comput. Syst. Sci..

[30]  Kazuo Murota,et al.  Matrices and Matroids for Systems Analysis , 2000 .

[31]  P. Dooren.  The Computation of Kronecker's Canonical Form of a Singular Pencil , 1979 .

[32]  Ricardo Riaza,et al.  Differential-Algebraic Systems: Analytical Aspects and Circuit Applications , 2008 .

[33]  Satoru Iwata,et al.  On the Kronecker Canonical Form of Mixed Matrix Pencils , 2011, SIAM J. Matrix Anal. Appl..

[34]  W. Wolovich.  Linear multivariable systems , 1974 .

[35]  K. Murota,et al.  Structure at infinity of structured descriptor systems and its applications , 1991 .

[36]  William H Cunningham,et al.  Improved Bounds for Matroid Partition and Intersection Algorithms , 1986, SIAM J. Comput..

[37]  J. Pearson,et al.  Structural controllability of multiinput linear systems , 1976 .

[38]  Kazuo Murota,et al.  On the Smith normal form of structured polynomial matrices , 1991 .

[39]  James Demmel,et al.  Accurate solutions of ill-posed problems in control theory , 1988 .

[40]  Bo Kågström,et al.  RGSD an algorithm for computing the Kronecker structure and reducing subspaces of singular A-lB pencils , 1986 .

[41]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[42]  L. Silverman,et al.  Characterization of structural controllability , 1976 .

[43]  K. Murota.  Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability , 1987 .