Solving of a minimal realization problem in Maple

Бесплатный доступ

In the computer algebra system Maple, we have created a package MinimalRealization to solve the minimal realization problem for a discrete-time linear time-invariant system. The package enables to construct the minimal realization of a system starting with either a finite sequence of Markov parameters of a system, or a transfer function, or any non-minimal realization. It is designed as a user library and consists of 11 procedures: ApproxEssPoly, ApproxSpace, Approxrank, ExactEssPoly, FractionalFactorizationG, FractionalFactorizationMP, MarkovParameters, MinimalityTest, MinimalRealizationG, MinimalRealizationMP, Realization2MinimalRealization. The realization algorithm is based on solving of sequential problems: (1) determination of indices and essential polynimials (procedures ExactEssPoly, ApproxEssPoly), (2) construction of a right fractional factorization of the transfer function (FractionalFactorizationG, FractionalFactorizationMP), (3) construction of the minimal realization by the given fractional factorization (MinimalRealizationG, MinimalRealizationMP, Realization2MinimalRealization). We can solve the problem both in the case of exact calculations (in rational arithmetic) and in the presence of rounding errors, or for input data which are disturbed by noise. In the latter case the problem is ill-posed because it requires finding the rank and the space of a matrix. We use the singular value decomposition as the most accurate method for calculation of the numerical rank (Approxrank) and the numerical space (ApproxSpace). Numerical experiments with the package MinimalRealization demonstrate good agreement between the exact and approximate solutions of the problem.

Еще

Discrete-time linear time-invariant systems, fractional factorization, minimal realization, algorithms for solving of realization problem

Короткий адрес: https://sciup.org/147159295

IDR: 147159295   |   DOI: 10.14529/mmp140306

Список литературы Solving of a minimal realization problem in Maple

  • Адуков, В.М. О задаче минимальной реализации/В.М. Адуков//Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. -2013. -Т. 6, № 3. -С. 5-17.
  • Adukov, V.M. Generalized Inversion of Block Toeplitz Matrices/V.M. Adukov//Linear Algebra and Its Applications. -1998. -V. 274. -P. 85-124.
  • De Schutter, B. Minimal State-Space Realization in Linear System Theory: An Overview/B.De Schutter//Journal of Computational and Applied Mathematics, Special Issue on Numerical Analysis in the 20th Century. Vol. I: Approximation Theory. -2000. -V. 121, N 1-2. -P. 331-354.
  • Пушков, С.Г. О проблеме реализации в пространстве состояний для интервальных динамических систем/С.Г. Пушков, С.Ю. Кривошапко//Вычислительные технологии. -2004. -Т. 9, № 1. -С. 75-85.
  • Sinha, N.K. Minimal Realization of Transfer Function Matrices. A Comparative Study of Different Methods/N.K. Sinha//International Journal of Control. -1975. -V. 22, N 5. -P. 627-639.
  • Kailath, T. Linear Systems/T. Kailath. -N.J.: Prentice-Hall, Inc., Englewood Cliffs, 1980.
  • Foster, L.V. Algorithm 933: Reliable Calculation of Numerical Rank, Null Space Bases, Pseudoinverse Solutions, and Basic Solutions Using SuitesparseQR/L.V. Foster, T.A. Davis//ACM Transactions on Mathematical Software (TOMS). -2013. -V. 40, issue 1. -Article No. 7 (23 pages).
  • Adukov, V.M. Fractional and Wiener-Hopf Factorizations/V.M. Adukov//Linear Algebra and Its Applications. -2002. -V. 340, N 1-3. -P. 199-213.
  • Adukov, V.M. Generalized Inversion of Finite Rank Toeplitz and Hankel Operators with Rational Matrix Symbols/V.M. Adukov//Linear Algebra and Its Applications. -1999. -V. 290. -P. 119-134.
  • Tether, A.J. Construction of Minimal Linear State-Variable Models from Finite Input-Output Data/A.J. Tether//IEEE Transactions on Automatic Control. -1970. -V. AC-15, N 4. -P. 427-436.
Еще
Статья научная