Generic pole assignability, structurally constrained controllers and unimodular completion

Abstract In this paper we assume dynamical systems are represented by linear differential-algebraic equations (DAEs) of order possibly higher than one. We consider a structured system of DAEs for both the to-be-controlled plant and the controller. We model the structure of the plant and the controller as an undirected and bipartite graph and formulate necessary and sufficient conditions on this graph for the structured controller to generically achieve arbitrary pole placement. A special case of this problem also gives new equivalent conditions for structural controllability of a plant. Use of results in matching theory, and in particular, ‘admissibility’ of edges and ‘elementary bipartite graphs’, make the problem and the solution very intuitive. Further, our approach requires standard graph algorithms to check the required conditions for generic arbitrary pole placement, thus helping in easily obtaining running time estimates for checking this. When applied to the state space case, for which the literature has running time estimates, our algorithm is faster for sparse state space systems and comparable for general state space systems. The solution to the above problem also provides a necessary and sufficient condition for the following matrix completion problem. Given a structured rectangular polynomial matrix, when can it be completed to a unimodular matrix such that the additional rows that are added during the completion process are constrained to have zeros at certain locations.

[1]  J. Tsitsiklis,et al.  A simple criterion for structurally fixed modes , 1984 .

[2]  Jacob van der Woude The generic dimension of a minimal realization of an AR System , 1995, Math. Control. Signals Syst..

[3]  I. Yengui,et al.  An algorithm for unimodular completion over Laurent polynomial rings , 2008 .

[4]  Jeffrey S. Rosenthal,et al.  Introduction to mathematical systems theory. a behavioral approach [Book Review] , 2002, IEEE Transactions on Automatic Control.

[5]  J. Willems On interconnections, control, and feedback , 1997, IEEE Trans. Autom. Control..

[6]  Dragoslav D. Šiljak,et al.  Decentralized control of complex systems , 2012 .

[7]  Tamir Tassa,et al.  Finding all maximally-matchable edges in a bipartite graph , 2012, Theor. Comput. Sci..

[8]  J. W. van der Woude The generic canonical form of a regular structured matrix pencil , 2002 .

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

[10]  Kurt Johannes Reinschke,et al.  Multivariable Control a Graph-theoretic Approach , 1988 .

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

[12]  Brian D. O. Anderson,et al.  Algebraic characterization of fixed modes in decentralized control , 1981, Autom..

[13]  R. Häggkvist,et al.  Bipartite graphs and their applications , 1998 .

[14]  D. Siljak,et al.  Structurally fixed modes , 1981 .

[15]  L. Hogben Matrix Completion Problems , 2005 .

[16]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

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

[18]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[19]  Satoru Iwata,et al.  Combinatorial Analysis of Generic Matrix Pencils , 2005, IPCO.

[20]  Takeo Yamada A note on sign-solvability of linear system of equations , 1988 .

[21]  Jane Zundel MATCHING THEORY , 2011 .

[22]  J. P. Corfmat,et al.  Structurally controllable and structurally canonical systems , 1976 .

[23]  J. Willems Generic Eigenvalue Assignability by Real Memoryless Output Feedback Made Simple , 1997 .

[24]  Thomas Kailath,et al.  Linear Systems , 1980 .

[25]  Christian Commault,et al.  Generic properties and control of linear structured systems: a survey , 2003, Autom..

[26]  E. Davison,et al.  On the stabilization of decentralized control systems , 1973 .

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