Controllability and Observability of Second Order Descriptor Systems

We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this case. We show that performing a classical transformation to first order form may destroy some controllability and observability properties. As an example, we demonstrate that the loss of impulse controllability in constrained multibody systems is due to the representation as a first order system. To avoid this problem, we will derive a canonical form and new first order formulations that do not destroy the controllability and observability properties.

[1]  P. Lancaster,et al.  Factorization of selfadjoint matrix polynomials with constant signature , 1982 .

[2]  D. Cobb Controllability, observability, and duality in singular systems , 1984 .

[3]  P. C. Müller,et al.  Control Analysis and Synthesis of Linear Mechanical Descriptor Systems , 1993 .

[4]  T. Kailath,et al.  A generalized state-space for singular systems , 1981 .

[5]  S. Campbell Singular systems of differential equations II , 1980 .

[6]  Volker Mehrmann,et al.  Regularization of Linear Descriptor Systems with Variable Coefficients , 1997 .

[7]  Volker Mehrmann,et al.  Transformation of high order linear differential-algebraic systems to first order , 2006, Numerical Algorithms.

[8]  Volker Mehrmann,et al.  Vector Spaces of Linearizations for Matrix Polynomials , 2006, SIAM J. Matrix Anal. Appl..

[9]  James Demmel,et al.  New Numerical Techniques and Tools in SUGAR for 3D MEMS Simulation , 2001 .

[10]  Hilding Elmqvist,et al.  Multi-Domaiin Modeling with Modelica , 2007 .

[11]  Jaroslav Kautsky,et al.  Robust pole assignment in singular control systems , 1989 .

[12]  Volker Mehrmann,et al.  Staircase forms and trimmed linearizations for structured matrix polynomials , 2007 .

[13]  P. Rentrop,et al.  Constrained Mechanical Systems in Descriptor form: Identification, Simulation and Control , 1993 .

[14]  Volker Mehrmann,et al.  A Behavioral Approach to Time-Varying Linear Systems. Part 2: Descriptor Systems , 2005, SIAM J. Control. Optim..

[15]  Volker Mehrmann,et al.  A behavioural approach to time-varying linear systems , 2006 .

[16]  Werner C. Rheinboldt,et al.  Nonholonomic motion of rigid mechanical systems from a DAE viewpoint , 1987 .

[17]  P. Rentrop,et al.  Differential-Algebraic Equations , 2006 .

[18]  R. Byers,et al.  Descriptor Systems Without Controllability at Infinity , 1997 .

[19]  Ton Geerts Solvability conditions, consistency, and weak consistency for linear differential-algebraic equations and time-invariant singular systems: the general case , 1993 .

[20]  Ton Geerts Invariant subspaces and invertibility properties for singular systems: The general case , 1993 .

[21]  I. Gohberg,et al.  General theory of regular matrix polynomials and band Toeplitz operators , 1988 .

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

[23]  Volker Mehrmann,et al.  A Behavioral Approach to Time-Varying Linear Systems. Part 1: General Theory , 2005, SIAM J. Control. Optim..

[24]  Volker Mehrmann,et al.  Regularization of Descriptor Systems by Derivative and Proportional State Feedback , 1992, SIAM J. Matrix Anal. Appl..

[25]  M. Gerdts,et al.  LOCAL MINIMUM PRINCIPLE FOR OPTIMAL CONTROL PROBLEMS SUBJECT TO INDEX ONE DIFFERENTIAL-ALGEBRAIC EQUATIONS , 2005 .

[26]  A. Bunse-Gerstner,et al.  Feedback design for regularizing descriptor systems , 1999 .

[27]  Volker Mehrmann,et al.  Analysis and Numerical Solution of Control Problems in Descriptor Form , 2001, Math. Control. Signals Syst..

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

[29]  V. Mehrmann The Autonomous Linear Quadratic Control Problem , 1991 .

[30]  L. Dai,et al.  Singular Control Systems , 1989, Lecture Notes in Control and Information Sciences.

[31]  F. R. Gantmakher The Theory of Matrices , 1984 .

[32]  R. Glowinski,et al.  Numerical methods for multibody systems , 1994 .

[33]  Ming Hou,et al.  Descriptor systems: observers and fault diagnosis , 1995 .

[34]  Matthias Gerdts,et al.  Local Minimum Principle for Optimal Control Problems Subject to Differential-Algebraic Equations of Index Two , 2006 .

[35]  Chunchao Shi,et al.  Linear Differential-Algebraic Equations of Higher-Order and the Regularity or Singularity of Matrix Polynomials , 2004 .

[36]  Achim Ilchmann,et al.  Contributions to time-varying Linear Control Systems , 1987 .

[37]  D. Cobb On the solutions of linear differential equations with singular coefficients , 1982 .

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

[39]  Alan J. Laub,et al.  Controllability and observability criteria for multivariable linear second-order models , 1984 .

[40]  R. F. Sincovec,et al.  Solvability, controllability, and observability of continuous descriptor systems , 1981 .

[41]  Volker Mehrmann,et al.  Analysis of Over- and Underdetermined Nonlinear Differential-Algebraic Systems with Application to Nonlinear Control Problems , 2001, Math. Control. Signals Syst..

[42]  Zhaojun Bai,et al.  Reduced-Order Modeling , 2005 .