Novel representation formulae for discrete 2D autonomous systems

In this paper, we provide explicit solution formulae for higher order discrete 2D autonomous systems. We first consider a special type of 2D autonomous systems, namely, systems whose quotient modules are finitely generated as modules over the one variable Laurent polynomial ring ℝ[σ1±1].We then show that these solutions can be written in terms of various integer powers of a square 1-variable Laurent polynomial matrix A(σ1) acting on suitable 1D trajectories. We call this form of expressing the solutions a representation formula. Then, in order to extend this result to general 2D autonomous systems, we obtain an analogue of a classical algebraic result, called Noether's normalization lemma, for the Laurent polynomial ring in two variables. Using this result we show that every 2D autonomous system admits a representation formula through a suitable coordinate transformation in the domain ℤ2.

[1]  Harish K. Pillai,et al.  Representation Formulae for Discrete 2D Autonomous Systems , 2013, SIAM J. Control. Optim..

[2]  Jan C. Willems,et al.  Markov properties for systems described by PDEs and first-order representations , 2006, Syst. Control. Lett..

[3]  B. Sturmfels SOLVING SYSTEMS OF POLYNOMIAL EQUATIONS , 2002 .

[4]  Ettore Fornasini,et al.  Doubly-indexed dynamical systems: State-space models and structural properties , 1978, Mathematical systems theory.

[5]  Hyungju Park,et al.  Symbolic computation and signal processing , 2004, J. Symb. Comput..

[6]  Maria Elena Valcher,et al.  Characteristic cones and stability properties of two-dimensional autonomous behaviors , 2000 .

[7]  G. Marchesini,et al.  State-space realization theory of two-dimensional filters , 1976 .

[8]  Jan C. Willems,et al.  Time-autonomy versus time-controllability , 2002, Syst. Control. Lett..

[9]  Jan C. Willems,et al.  From time series to linear system - Part I. Finite dimensional linear time invariant systems , 1986, Autom..

[10]  S. Zampieri,et al.  State space realization of 2-D finite-dimensional behaviours , 1993 .

[11]  D. Eisenbud Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[12]  J. Willems,et al.  STATE FOR 2-D SYSTEMS , 1989 .

[13]  J. Willems Input-output and state-space representations of finite-dimensional linear time-invariant systems , 1983 .

[14]  Eva Zerz,et al.  First–Order Representations of Discrete Linear Multidimensional Systems , 2000, Multidimens. Syst. Signal Process..

[15]  Ulrich Oberst,et al.  Multidimensional constant linear systems , 1990, EUROCAST.

[16]  Harish K. Pillai,et al.  A Behavioral Approach to Control of Distributed Systems , 1999 .

[17]  Maria Paula Macedo Rocha Structure and representation of 2-D systems , 1990 .

[18]  Diego Napp Avelli,et al.  Time-relevant stability of 2D systems , 2011, Autom..

[19]  Hans Zwart,et al.  An Introduction to Infinite-Dimensional Linear Systems Theory , 1995, Texts in Applied Mathematics.

[20]  Sandro Zampieri,et al.  Causal Input/Output Representation of 2D Systems in the Behavioral Approach , 1998 .

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

[22]  Eric Rogers,et al.  On homomorphisms of n-D behaviors , 2002 .