<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Inversion of Dynamic Systems for Certain Classes of Signals</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>r Kuts</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>y Kov</string-name>
          <email>kuzenko@kpi.kharkov.ua</email>
        </contrib>
        <contrib contrib-type="author">
          <string-name>nskyy</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>National Technical University "Kharkiv Polytechnic Institute"</institution>
          ,
          <addr-line>2, Kyrpychova Str., 61002, Kharkiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Methods of inversion of dynamic systems are widely used for solving problems of control of mechanical and electrical systems. Solving the inversion problems raises a number of difficulties related to the high sensitivity of the results with respect to the accuracy of setting the parameters of a mathematical model of object parameters, instability in controlling non-minimum phase objects, and violation of the conditions of physical realizability. In this paper, an approximate method of solving the inversion problem for linear stationary dynamic systems is proposed which is largely free from those disadvantages. The method is based on the representation of the input and output signals by their approximations in the linear space of specially selected Dfunctions of time. The feature of the proposed method of inversion of dynamic systems is the representation of multidimensional polynomials approximating the input and output signals as a product of rectangular matrices and a vector of powers of time. Mathematical models of linear dynamic systems in the form of differential equations in the state space and in the equivalent input-output form, as well as SISO and MIMO dynamical systems are considered in the paper.</p>
      </abstract>
      <kwd-group>
        <kwd>dynamical systems</kwd>
        <kwd>polynomial signals</kwd>
        <kwd>quasi-harmonic functions</kwd>
        <kwd>matrix equations</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The inversion problem of dynamic systems has an extensive bibliography and a long
history. The papers [1, 2] can be considered as the fundamental work in this direction,
where the criteria and methods for constructing inverse operators are justified. A
significant contribution to the development of the theory and practice of inversion of
dynamic systems was made in the works [3–5]. In them new criteria for the
inversibility of linear dynamic systems are proposed and specific ways to solve the inversion
problem are given. A number of practical results of solving inversion problems with
regard to electrical and mechanical systems are given in [6, 7].</p>
      <p>The inversion problem become of particular importance due to the solution of the
problem of the synthesis of combined automatic control systems. Various aspects of
the inversion problem for combined control systems in the most general statement are
presented in [4]. Despite significant progress in solving the inversion problem of
dynamic systems, in practice there are a number of difficulties associated with the high
sensitivity of the results to the accuracy of the parameters of the mathematical model
of a controlled object, the instability in controlling non-minimally phase objects, and
violation of conditions of physical realizability of inverse operators. Generally, the
listed problems do not allow us to find a practically realizable solution of the problem
of finding the inverse operator in the control problem. Nevertheless, for solving a
number of practical problems, it seems natural to consider approximate mathematical
models of a controlled object and signals at its inputs and outputs, for which the
inversion problem has the correct solution. In combined control systems, these
assumptions are compensated for by the deviation control loop.</p>
      <p>Thus, the purpose of this work is to develop an approximate, practically realizable
numerical method for solving the inversion problem for linear dynamic systems.
2</p>
      <p>Statement of the research problem
We will consider linear stationary dynamical systems whose mathematical models are
presented either in the form of equations of state
x  Ax  Bu,
y  Cx,
where x  R n is the state vector, u  R m is the control vector; y  Rs the output
vector; A, B, C are matrices of the corresponding dimensions, or in the equivalent form
“input-output”:</p>
      <p>A0 y p  A1 y p1  ...  Ap y  B0uq  B1uq1  ...  Bqu ,
where A0 , A1,..., Ap are s  s matrices, B0 , B1,..., Bq are s  m matrices. In the
following, we will assume that the controlled system under consideration is
asymptotically stable, and the dimensions of the control vector and the output vector
coincide, i.e. s  m .</p>
      <p>Consider the linear space of continuous  of continuous differentiable vector
functions t  , which satisfy the condition
dt 
dt</p>
      <p>  .</p>
      <p>
        These D -functions include the class of functions of the form
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
      </p>
      <p>
        N
t    ekt Rk t sin kt  Qk t cos kt  ,
k1
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
where k , k are some constants, but Rk t  and Qk t  are vector polynomials of the
degree not higher than l . It is not difficult to verify that a function of the form (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
satisfies condition (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ). For different values of the parameters k , k , Rk t  , Qk t 
different classes of D -functions can be obtained: polynomials, trigonometric
polynomials, quasi-harmonic functions.
      </p>
      <p>
        Prove the following statement: if the input action ut  is a D -function of the 
class, then the forced response of the dynamic system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) is also a function of the 
class.
      </p>
      <p>
        To prove the statement, we will seek a solution of equation (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) in the form of an
infinite series
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
(
        <xref ref-type="bibr" rid="ref6">6</xref>
        )
(
        <xref ref-type="bibr" rid="ref7">7</xref>
        )
(
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
where Ck are some m  n matrices to be determined.
      </p>
      <p>
        After substitution (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) in (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) we get
      </p>
      <p>
xt    C k u k1t  ,</p>
      <p>k1
 
 Cku k    ACkuk1  Bu .</p>
      <p>k1 k1</p>
      <p>
        By equating matrix coefficients of derivatives u k  of the same order in the left and
right sides of (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), we obtain a system of recurrence relations for calculating matrices
Ck :
of which directly follows
      </p>
      <p>AC1  B  0 , ACk1  Ck , k  1, 
C   A1B, C2   A2 B,..., Ck   Ak B,...</p>
      <p>1</p>
      <p>
        Thus, the output response of the dynamic system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) at zero initial conditions will
take the form
      </p>
      <p>
yt   C Ak Bu k1t  .</p>
      <p>k1</p>
      <p>
        Since all u k1t  in (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) belong to the class  , their linear transformation yt  is
also an element of  , i.e. the statement is proved.
      </p>
      <p>
        Within these assumptions about the structures of the dynamic system and the
signals at the inputs and outputs, the statement of the inversion problem can be
formulated as follows: find an input action ut  on an interval t0 , t1  belonging to a certain
class  of D -functions, under which the output yt  of the system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) will be a
specified D -function of the same class  at zero initial conditions.
3
      </p>
      <p>Inverting dynamic systems in a class of polynomials
Let the set  of input and output signals be a set of vector polynomials of degree not
higher than l</p>
      <p>t   a0 a1t  a2t 2  ...  alt l ,
where a0 , a1,..., al are n -dimensional vectors of coefficients.</p>
      <p>
        Instead of polynomials of the form (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ), we will consider equivalent polynomials
t 2 t3 tl
t   b0 b1t  b2 2!  b3 3!  ...  bl l! ,
where vectors ak and bk are connected by the ratio bk  ak k!, k  0, l .
      </p>
      <p>Further, the vector polynomial (10) will be represented in a vector-matrix form.</p>
      <p>t   BT ,
where B is an n  l  1 -dimensional matrix, whose columns correspond to the
vec
tor coefficients of the polynomial (10), and T  1, t,

t 2
2!
,...,
t l T
l! 
is the l  1
dimensional column vector.</p>
      <p>Representation of multidimensional polynomials in the vector-matrix form (11)
will allow in the future to effectively apply matrix methods to solving specific
inversion problems of dynamic systems.</p>
      <p>Consider some elementary operations with polynomials and their analogues in
vector-matrix form:




addition: 1t   2 t   B  B2 T ;</p>
      <p>
        1
multiplication by number: t   BT ;
multiplication by the matrix С on the left: Ct   CBT ;
differentiation:
where the elements of the l  1 l  1 dimension matrix  are the form
ij  i, j1 , i, j  1, l  1,
(
        <xref ref-type="bibr" rid="ref9">9</xref>
        )
(10)
(11)
(12)
where the elements of the matrix k are found by the formula which is similar to
(13)
      </p>
      <p>
        Consider first the SISO system defined in the form of "input-output" (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
a0 y p  a1 y p1  ...  a p y  b0uq  b1uq1  ...  bqu ,
where a0 , a1,..., ap , b0 , b1,..., bq are constant coefficients, p  q .
      </p>
      <p>The polynomial signals at the input and at the output will be represented in a
vector-matrix form</p>
      <p>yt   YT , ut   UT ,
where Y and U are l  1 -dimensional row vector composed of the coefficients of
the polynomials yt  and ut  .</p>
      <p>After substitution (17) into (16) we get
a0YpT  a1Yp1T  ...  apYT  b0UqT  b1Uq1T  ...  bqUT .
(14)
(15)
(16)
(17)
(18)
(19)
(20)</p>
    </sec>
    <sec id="sec-2">
      <title>From (18) directly follows</title>
      <p>Y a0p  a1p1  ...  a p E   U b0q  b1q1  ...  bq E  .</p>
      <p>Introducing the corresponding notations, we rewrite (19) in the form</p>
      <p>YA  UB ,
where A and B are the square l  1 l  1 lower triangular matrices, which are
formed in accordance with the following rules:</p>
      <p>0 if j  p  i  j  j,
aij  
a j1 p if j  p  i  i  j,
0 if j  q  i  i  j,
bij  
bjiq if j  q  i  i  j,
i, j  1, l  1.
and have the form</p>
      <p>A 
B 
where 1,  2 ,..., l is the sequence of minors of matrix B , in which each successive
one is formed as a result of the bordering of the previous minor, starting from
1  bq1 – the element of the matrix b21 .</p>
      <p>An effective method for calculating minors k is a method based on the consistent
application of the Schur and Frobenius formulas [8] for calculating the determinant
and inversion of block matrices. From the computational point of view, the solution
(20) with respect to the vector U is easier to find by sequential calculation of the
components U , starting from ul . In this case, due to the triangular structure of the
matrix B , a linear equation with one unknown is formed at each step of the iterative
process. Thus, the solution of the inversion problem is found for l  1 steps.</p>
      <p>
        Consider the solution of the inversion problem for MIMO systems in the
polynomial signals environment. Let the mathematical model of the system under
consideration be of the form (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ). Then the solution of the direct control problem in the general
form is represented in the form (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ). Substitute in (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) vector-matrix expressions for
polynomials yt  and ut  , taking into account that the powers of the matrix 
satisfy the condition k  0 , k  l .
      </p>
      <p>As a result, we obtain the analytical relationship between the matrices Y and U :
l1
Y   CAk BUk1 .</p>
      <p>k1
(21)
(22)</p>
      <p>The result (21) for solving the direct control problem in the polynomial signal
environment makes it easy to solve the inverse problem by solving the matrix equation
(21) with respect to the matrix U under a specified matrix Y .</p>
      <p>The solution of the matrix equation (21) can be obtained by vectoring matrices Y
and U and constructions based on the Kronecker product of matrices [9], which leads
to a linear system of algebraic equations of m  l  1 dimension:
l1
 CAk B  k1 T vecU  vecY  0 ,
k1
where the column vectors vecU and vecY are composed of transposed rows of
matrices Y and U matched in ascending order of the row number.
4</p>
      <p>Inverting dynamic systems in the class of quasiharmonic
functions
Let the signals at the input and output of a dynamic system have the form</p>
      <p>N
t    Rk t sin kt  Qk t cos kt  ,</p>
      <p>k1
where Rk t  and Qk t  are vector polynomials of the degree not higher than l , k
are some positive numbers.</p>
      <p>Using the matrix-vector representation of polynomials, the relation (23) can be
written as</p>
      <p>N
t    Rk sin kt  Qk cos kt T ,</p>
      <p>k1
where Rk and Qk are matrices whose rows correspond to the coefficients of the
components of vector polynomials in (23).</p>
      <p>To find the derivatives of the function (24), we first consider the single-frequency
function of the form (24)</p>
      <p>t   R sin t  Q cos T .</p>
      <p>The sequence of derivative functions of the form (25) can be written as
d</p>
      <p> R  Qsin t  R  Qcos tT ,
dt
d 2
dt 2  R2  2Q  R2 sin t  Q2  2R  Q2 cos tT ,
where Rk and Qk are calculated by the recurrence formula
where  is a 2l  1 2l  1 block matrix
Rk
each block of which has a dimension of l  1 l  1 .</p>
      <p>Based on the relations (26) and (27), the sequence of matrices of polynomial
coefficients of derivatives of a single-frequency function (25) can be written as
where the matrix k is calculated by successive raising to the power of the matrix
(27).</p>
      <p>Consider the most general case when an exponential multiplier is present at a
specified output of the system, i. e.
(24)
(25)
(26)
(27)
(28)</p>
      <p>N
t    ekt Rk t sin kt  Qk t cos kt  .</p>
      <p>k1</p>
      <p>Spreading the method for finding the derivatives of a single-frequency
quasiharmonic signal, discussed earlier, we will write the sequence of derivatives of
singlefrequency functions (29) in the form
where
or in a matrix form</p>
    </sec>
    <sec id="sec-3">
      <title>Introducing the notation</title>
      <p>d k 
dt k  et Rk sin t  Qk cos tT ,
Rk  Rk1  Rk1  Qk1,
Qk  Qk1  Qk1  Rk1, k  1, l</p>
      <p>R 0  R, Q0  Q.</p>
      <p>Qk   Rk1
we obtain the final ratio to calculate the coefficients Rk and Qk of derivatives
k t  :
where the power of the matrix k are calculated by successive raising  to a power.</p>
      <p>Let the matrix representation of the input and output signals be in the form
where Ru , Qu , Ry , Qy are the q  l  1 -dimensional matrix of coefficients of
polynomial multiplier.</p>
      <p>Then the derivatives of these signals in accordance with (30) can be represented as
   E
    E
E </p>
      <p> ,
  E 
Rk</p>
      <p>Qk   R</p>
      <p>Qk ,
ut   et Ru sin t  Qu cos t T ,
yt   et Ry sin t  Qy cos t T ,
d ku
dt k  et Ruk sin t  Quk cos t T ,
d k y
dt k  et Ryk sin t  Qyk cos t T ,
where the matrix coefficients Ruk , Quk , Ryk , Qyk are found in accordance with the
formula (30).</p>
      <p>
        After substituting the (31) and (32) into (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) and reducing by et and T we get
p q
 AkY pk   BkUqk ,
k0 k0
(33)
where Y  Ry Qy  and U  Ru Qu  are matrix representations of polynomial
factors in front of functions sin t and cos t for output and input signals.
      </p>
      <p>The obtained matrix mapping (33) is symmetrical and allows us to find solutions to
both direct and inverse control problems by vectoring the desired control of matrix Y
and constructions based on the Kronecker product of matrices [9] by analogy with
(22).</p>
      <p>The obtained result is easily distributed to the SISO system. In this case, the
matrices Ak and Bk are scalars ak and bk , accordingly, and the matrix equation (33) takes
the form</p>
      <p>p q
Y  ak  pk  U  bk qk ,</p>
      <p>k0 k0
whose solution with respect to vectors Y or U (for the problem of inversion) is
conp q
nected to the procedure of inversion of matrices  ak  pk or  bk qk of
k0 k0
2l  1 2l  1 dimension.
5</p>
      <p>Software package for solving inversion problems
The software is fully developed in relation to polynomial models of input and output
signals and contains the following basic structural blocks:</p>
      <p>
        1. The block of input the initial information i.e. matrices A , B , C and their
dimensions for the case of specifying the controlled object in the form (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), and
coefficients a0 , a1,..., ap , b0 , b1,..., bq for SISO systems specified in the form of
"inputoutput" (16).
      </p>
      <p>2. A task formation block that includes a random or fixed-step selection of N
values of components of the output vector y*t  at a fixed time interval, as well as
setting the degree l of approximating polynomials y*t  and calculating their
coefficients using the least squares method. The approximation of signals by cubic splines
is provided.</p>
      <p>3. The block of formation of matrices A and B as well as the matrix of the system
of linear equations (22) and the calculation of the condition number cond  of
systems of linear equations based on the Euclidean norm. If cond   100 , then the
solution of systems (20) or (22) is followed. Otherwise, the degree of approximating
polynomials l is incremented by one.</p>
      <p>4. The correctness of the inversion problem solution is controlled by numerical
integration of the initial systems of differential equations with zero initial conditions
and comparison of the result of integration yt  to the corresponding values of the
initial output function y* t  .
6
Simplified mathematical models of signals based on polynomials and harmonic
functions with polynomial varying amplitude are proposed in the paper.</p>
      <p>A matrix representation of polynomial signals was proposed and substantiated,
which made it possible to represent controlled dynamic processes as static linear
transformations in the space of rectangular matrices. Rather simple and effective
algorithms for the numerical solution of the inversion problem, as well as a method for
estimating the degree of robustness of the results, are obtained.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Sain</surname>
            ,
            <given-names>M. K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Massey</surname>
            ,
            <given-names>J. L.</given-names>
          </string-name>
          :
          <article-title>Invertibility of linear time-invariant dynamical systems /</article-title>
          / IEEE Trans.
          <source>Automatic Control</source>
          , Vol.
          <volume>14</volume>
          (
          <issue>2</issue>
          ), pp.
          <fpage>141</fpage>
          -
          <lpage>149</lpage>
          (
          <year>1969</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Silverman</surname>
            ,
            <given-names>L.M.</given-names>
          </string-name>
          :
          <source>Inversion of multivariable linear systems // IEEE Trans. Automatic Control</source>
          , Vol.
          <volume>14</volume>
          (
          <issue>3</issue>
          ), pp.
          <fpage>270</fpage>
          -
          <lpage>276</lpage>
          (
          <year>1969</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Ilin</surname>
            ,
            <given-names>A. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Korovin</surname>
            ,
            <given-names>S. K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fomichev</surname>
            ,
            <given-names>V. V.</given-names>
          </string-name>
          :
          <article-title>Robust methods of dynamic systems inversion</article-title>
          . FIZMATLIT, Moscow (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Kostenko</surname>
          </string-name>
          , Yu. T.,
          <string-name>
            <surname>Lyubchik</surname>
            ,
            <given-names>L. M.:</given-names>
          </string-name>
          <article-title>Control systems with dynamic models</article-title>
          .
          <source>Basis</source>
          ,
          <string-name>
            <surname>Kharkov</surname>
          </string-name>
          (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Borukhov</surname>
          </string-name>
          , V. T.:
          <article-title>Criteria of invertibility of linear stationary multidimensional systems // Avtomatika i Telemekhanika</article-title>
          , Vol.
          <volume>11</volume>
          , pp.
          <fpage>5</fpage>
          -
          <lpage>11</lpage>
          (
          <year>1978</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Pukhov</surname>
            ,
            <given-names>G. E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhuk</surname>
          </string-name>
          , K. D.:
          <article-title>Synthesis of multiply connected control systems by the method of inverse operators</article-title>
          . Naukova dumka,
          <source>Kyiv</source>
          (
          <year>1966</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Krutko</surname>
          </string-name>
          , P. D.:
          <article-title>Inverse problems of dynamic control systems</article-title>
          .
          <source>Linear models. Nauka</source>
          , Moscow (
          <year>1987</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Sigorsky</surname>
            ,
            <given-names>V. P.</given-names>
          </string-name>
          : Engineering mathematics. Tekhnika,
          <string-name>
            <surname>Kyiv</surname>
          </string-name>
          (
          <year>1975</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Lancaster</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Theory of matrices</article-title>
          . FIZMATLIT, Moscow (
          <year>1978</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>