Construction of algebraic and difference equations with a prescribed solution space

Lazaros Moysis ; Nicholas P. Karampetakis

International Journal of Applied Mathematics and Computer Science, Tome 27 (2017), p. 19-32 / Harvested from The Polish Digital Mathematics Library

Résumé

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.

Détail

Publié le : 2017-01-01

Zbl 1355.93086

EUDML-ID : urn:eudml:doc:288103

Bibliographie

[000] Antoniou, E., Vardulakis, A. and Karampetakis, N. (1998). A spectral characterization of the behavior of discrete time AR-representations over a finite time interval, Kybernetika 34(5): 555-564. | Zbl 1274.93174

[001] Antoulas, A. and Willems, J. (1993). A behavioral approach to linear exact modeling., IEEE Transactions on Automatic Control 38(12): 1776-1802. | Zbl 0792.93008

[002] Antsaklis, P.J. and Michel, A.N. (2006). Linear Systems, 2nd Edn., Birkhäuser, Boston, MA. | Zbl 1189.93001

[003] Bernstein, D.S. (2009). Matrix Mathematics. Theory, Facts, and Formulas, 2nd Edn., Princeton University Press, Princeton, NJ. | Zbl 1183.15001

[004] Campbell, S. (1980). Singular Systems of Differential Equations, Vol. 1, Research Notes in Mathematics, Pitman, London. | Zbl 0419.34007

[005] Gantmacher, F.R. (1959). The Theory of Matrices, Vols. 1, 2, Chelsea Publishing Co., New York, NY. | Zbl 0085.01001

[006] Gohberg, I., Lancaster, P. and Rodman, L. (2009). Matrix Polynomials, Reprint, SIAM, Philadelphia, PA. | Zbl 1170.15300

[007] Hayton, G., Pugh, A. and Fretwell, P. (1988). Infinite elementary divisors of a matrix polynomial and implications, International Journal of Control 47(1): 53-64. | Zbl 0661.93016

[008] Kaczorek, T. (2007). Polynomial and Rational Matrices. Applications in Dynamical Systems Theory, Springer, Dordrecht. | Zbl 1114.15019

[009] Kaczorek, T. (2014). Minimum energy control of fractional descriptor positive discrete-time linear systems, International Journal of Applied Mathematics and Computer Science 24(4): 735-743, DOI: 10.2478/amcs-2014-0054. | Zbl 1309.93093

[010] Kaczorek, T. (2015). Analysis of the descriptor Roesser model with the use of the Drazin inverse, International Journal of Applied Mathematics and Computer Science 25(3): 539-546, DOI: 10.1515/amcs-2015-0040. | Zbl 1322.93067

[011] Karampetakis, N.P. (2004). On the solution space of discrete time AR-representations over a finite time horizon, Linear Algebra and Its Applications 382: 83-116. | Zbl 1175.15017

[012] Karampetakis, N.P. (2015). Construction of algebraic-differential equations with given smooth and impulsive behaviour, IMA Journal of Mathematical Control and Information 32(1): 195-224. | Zbl 1308.93064

[013] Karampetakis, N.P. and Vologiannidis, S. (2003). Infinite elementary divisor structure-preserving transformations for polynomial matrices, International Journal of Applied Mathematics and Computer Science 13(4): 493-503. | Zbl 1115.93019

[014] Karampetakis, N., Vologiannidis, S. and Vardulakis, A. (2004). A new notion of equivalence for discrete time AR representations, International Journal of Control 77(6): 584-597. | Zbl 1059.93027

[015] 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. | Zbl 1116.93002

[016] Praagman, C. (1991). Invariants of polynomial matrices, Proceedings of the 1st European Control Conference, Grenoble, France, pp. 1274-1277.

[017] Vardulakis, A. (1991). Linear Multivariable Control. Algebraic Analysis and Synthesis Methods, John Wiley & Sons, Chichester. | Zbl 0751.93002

[018] Vardulakis, A., Limebeer, D. and Karcanias, N. (1982). Structure and Smith-MacMillan form of a rational matrix at infinity, International Journal of Control 35(4): 701-725. | Zbl 0495.93010

[019] Willems, J.C. (1986). From time series to linear system, II: Exact modelling, Automatica 22(6): 675-694. | Zbl 0628.62088

[020] Willems, J.C. (1991). Paradigms and puzzles in the theory of dynamical systems, IEEE Transansactions on Automatic Control 36(3): 259-294. | Zbl 0737.93004

[021] Willems, J.C. (2007). Recursive computation of the MPUM, in A. Chiuso et al. (Eds.), Modeling, Estimation and Control, Springer, Berlin, pp. 329-344. | Zbl 1136.93306

[022] 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.

[023] Zerz, E. (2008a). Behavioral systems theory: A survey, International Journal of Applied Mathematics and Computer Science 18(3): 265-270, DOI: 10.2478/v10006-008-0024-9. Zerz, E. (2008b). The discrete multidimensional MPUM, Multidimensional System Signal Processing 19(3-4): 307-321.

[024] Zerz, E., Levandovskyy, V. and Schindelar, K. (2011). Exact linear modeling with polynomial coefficients, Multidimensional System Signal Processing 22(1-3): 55-65. | Zbl 1211.35086