This paper studies the solution space of systems of algebraic and difference equations, given as auto-regressive (AR) representations A(σ)β(k) = 0, where σ denotes the shift forward operator and A(σ) is a regular polynomial matrix. The solution space of such systems consists of forward and backward propagating solutions, over a finite time horizon. This solution space can be constructed from knowledge of the finite and infinite elementary divisor structure of A(σ). This work deals with the inverse problem of constructing a family of polynomial matrices A(σ) such that the system A(σ)β(k) = 0 satisfies some given forward and backward behavior. Initially, the connection between the backward behavior of an AR representation and the forward behavior of its dual system is showcased. This result is used to construct a system satisfying a certain backward behavior. By combining this result with the method provided by Gohberg et al. (2009) for constructing a system with a forward behavior, an algorithm is proposed for computing a system satisfying the prescribed forward and backward behavior.
Antoniou, E., Vardulakis, A. and Karampetakis, N. (1998). A spectral characterization of the behavior of discrete time AR-representations over a finite time interval, Kybernetika34(5): 555–564.
Antoulas, A. and Willems, J. (1993). A behavioral approach to linear exact modeling., IEEE Transactions on Automatic Control38(12): 1776–1802.
Antsaklis, P.J. and Michel, A.N. (2006). Linear Systems, 2nd Edn., Birkhäuser, Boston, MA.
Bernstein, D.S. (2009). Matrix Mathematics. Theory, Facts, and Formulas, 2nd Edn., Princeton University Press, Princeton, NJ.
Campbell, S. (1980). Singular Systems of Differential Equations, Vol. 1, Research Notes in Mathematics, Pitman, London.
Gantmacher, F.R. (1959). The Theory of Matrices, Vols. 1, 2, Chelsea Publishing Co., New York, NY.
Gohberg, I., Lancaster, P. and Rodman, L. (2009). Matrix Polynomials, Reprint, SIAM, Philadelphia, PA.
Hayton, G., Pugh, A. and Fretwell, P. (1988). Infinite elementary divisors of a matrix polynomial and implications, International Journal of Control47(1): 53–64.
Kaczorek, T. (2007). Polynomial and Rational Matrices. Applications in Dynamical Systems Theory, Springer, Dordrecht.
Kaczorek, T. (2014). Minimum energy control of fractional descriptor positive discrete-time linear systems, International Journal of Applied Mathematics and Computer Science24(4): 735–743, DOI: 10.2478/amcs-2014-0054.
Kaczorek, T. (2015). Analysis of the descriptor Roesser model with the use of the Drazin inverse, International Journal of Applied Mathematics and Computer Science25(3): 539–546, DOI: 10.1515/amcs-2015-0040.
Karampetakis, N.P. (2004). On the solution space of discrete time AR-representations over a finite time horizon, Linear Algebra and Its Applications382: 83–116.
Karampetakis, N.P. (2015). Construction of algebraic-differential equations with given smooth and impulsive behaviour, IMA Journal of Mathematical Control and Information32(1): 195–224.
Karampetakis, N.P. and Vologiannidis, S. (2003). Infinite elementary divisor structure-preserving transformations for polynomial matrices, International Journal of Applied Mathematics and Computer Science13(4): 493–503.
Karampetakis, N., Vologiannidis, S. and Vardulakis, A. (2004). A new notion of equivalence for discrete time AR representations, International Journal of Control77(6): 584–597.
Markovsky, I., Willems, J.C., Van Huffel, S. and De Moor, B. (2006). Exact and Approximate Modeling of Linear Systems. A Behavioral Approach, SIAM, Philadelphia, PA.
Praagman, C. (1991). Invariants of polynomial matrices, Proceedings of the 1st European Control Conference, Grenoble, France, pp. 1274–1277.
Vardulakis, A. (1991). Linear Multivariable Control. Algebraic Analysis and Synthesis Methods, John Wiley & Sons, Chichester.
Vardulakis, A., Limebeer, D. and Karcanias, N. (1982). Structure and Smith–MacMillan form of a rational matrix at infinity, International Journal of Control35(4): 701–725.
Willems, J.C. (1986). From time series to linear system, II: Exact modelling, Automatica22(6): 675–694.
Willems, J.C. (1991). Paradigms and puzzles in the theory of dynamical systems, IEEE Transansactions on Automatic Control36(3): 259–294.
Willems, J.C. (2007). Recursive computation of the MPUM, in A. Chiuso et al. (Eds.), Modeling, Estimation and Control, Springer, Berlin, pp. 329–344.
Zaballa, I. and Tisseur, F. (2012). Finite and infinite elementary divisors of matrix polynomials: A global approach, MIMS EPrint 2012.78, Manchester Institute for Mathematical Sciences, University of Manchester, Manchester.
Zerz, E. (2008a). Behavioral systems theory: A survey, International Journal of Applied Mathematics and Computer Science18(3): 265–270, DOI: 10.2478/v10006-008-0024-9.
Zerz, E. (2008b). The discrete multidimensional MPUM, Multidimensional System Signal Processing19(3–4): 307–321.
Zerz, E., Levandovskyy, V. and Schindelar, K. (2011). Exact linear modeling with polynomial coefficients, Multidimensional System Signal Processing22(1–3): 55–65.