State Maps from Integration by Parts

We develop a new approach to the construction of state vectors for linear time-invariant systems described by higher-order differential equations. The basic observation is that the concatenation of two solutions of higher-order differential equations results in another (weak) solution once their remainder terms resulting from (repeated) integration by parts match. These remainder terms can be computed in a simple and efficient manner by making use of the calculus of bilinear differential forms and two-variable polynomial matrices. Factorization of the resulting two-variable polynomial matrix defines a state map, as well as a state map for the adjoint system. Minimality of these state maps is characterized. The theory is applied to three classes of systems with additional structure, namely self-adjoint Hamiltonian, conservative port-Hamiltonian, and time-reversible systems. For the first two classes it is shown how the factorization leading to a (minimal) state map is equivalent to the factorization of another two-variable polynomial matrix, which is immediately derived from the external system characterization, and defines a symplectic, respectively, symmetric, bilinear form on the minimal state space.

[1]  A. Schaft System theory and mechanics , 1989 .

[2]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[3]  Jan C. Willems,et al.  Representations of time-reversible systems , 1991 .

[4]  J. Willems,et al.  On Quadratic Differential Forms , 1998 .

[5]  Harry L. Trentelman,et al.  Linear Hamiltonian Behaviors and Bilinear Differential Forms , 2004, SIAM J. Control. Optim..

[6]  J. Willems,et al.  Duality for linear time invariant finite dimensional systems , 1988 .

[7]  Brian D. O. Anderson,et al.  Generalized Bezoutian and Sylvester matrices in multivariable linear control , 1976 .

[8]  J. Willems,et al.  State Maps for Linear Systems , 1994 .

[9]  A. Schaft,et al.  From External to Internal System Decompositions , 2011 .

[10]  van der,et al.  System theoretic description of physical systems , 1984 .

[11]  A. Schaft Duality for Linear Systems: External and State Space Characterization of the Adjoint System , 1990 .

[12]  A. J. van der Schaft,et al.  Port-controlled Hamiltonian Systems:Modelling Origins and System-Theoretic Properties , 1992 .

[13]  M. Sain Finite dimensional linear systems , 1972 .

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

[15]  A. Schaft,et al.  On Representations and Integrability of Mathematical Structures in Energy-Conserving Physical Systems , 1999 .

[16]  Representing a nonlinear input-output differential equation as an input-state-output system , 1999 .

[17]  Victor Pavlovich Maslov,et al.  OF PATH INTEGRALS , 1983 .

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

[19]  Roger W. Brockett,et al.  LIE ALGEBRAS AND LINEAR DIFFERENTIAL EQUATIONS , 1972 .

[20]  Arjan van der Schaft,et al.  Structure-preserving model reduction of complex physical systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  A. Schaft,et al.  State maps from bilinear differential forms , 2010 .

[22]  A. Schaft,et al.  The Hamiltonian formulation of energy conserving physical systems with external ports , 1995 .

[23]  Yutaka Yamamoto,et al.  On the state of behaviors , 2007 .

[24]  Jan C. Willems,et al.  Time Reversibility in Deterministic and Stochastic Dynamical Systems , 1978 .