<!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>
      <journal-title-group>
        <journal-title>Method for unit self-diagnosis at system level. International
Journal of Intelligent Systems and Applications 11 (2019) 1-12. doi: 10.5815/ijisa.2019.01.01.
[13] O. Mashkov</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.1109/IDAACS.2017.8095253</article-id>
      <title-group>
        <article-title>Approach to Solve the Problems of Filtration and Extrapolation in the Construction of Functionally Stable Stochastic Systems with Delay</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Victor Chumakevych</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ivan Dyyak</string-name>
          <email>ivan.dyyak@lnu.edu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Victoria Chumakevych</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Igor Puleko</string-name>
          <email>pulekoigor@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vadym Ptashnyk</string-name>
          <email>ptashnykproject@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Lviv Polytechnic National University</institution>
          ,
          <addr-line>S. Bandery str. 12, Lviv, 79013</addr-line>
          ,
          <institution>Ukraine Ivan Franko National University of Lviv</institution>
          ,
          <addr-line>Universytetska str. 1, Lviv, 79000</addr-line>
          ,
          <institution>Ukraine Zhytomyr Polytechnic State University</institution>
          ,
          <addr-line>Chydnivska srt. 103, Zhytomyr, 10005</addr-line>
          ,
          <institution>Ukraine Lviv National Agrarian University</institution>
          ,
          <addr-line>Vol. Velykogo str. 1, Dubliany-Lviv, 80381</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2017</year>
      </pub-date>
      <volume>2</volume>
      <fpage>1088</fpage>
      <lpage>1093</lpage>
      <abstract>
        <p>Filtration and interpolation problems play an important role in the theory of complex technical object control. To improve the operating efficiency control of these objects, it is necessary to improve the mathematical models of the control objects. A large number of objects can be attributed to stochastic discrete objects with limited delay and, under a priori uncertainty, to stochastic discrete objects with unlimited delay as well. It is important to substantiate the application of stochastic analysis methods to solve problems of filtration and interpolation of systems with delay. The problem of conditionally optimal filter design is substantiated.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Filtration</kwd>
        <kwd>interpolation</kwd>
        <kwd>functional stability</kwd>
        <kwd>recovery control</kwd>
        <kwd>discrete stochastic systems with limited delay</kwd>
        <kwd>discrete stochastic systems with unlimited delay</kwd>
        <kwd>filtration estimation</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>In the last quarter of the last century, due to the increase of the level of requirements for reliability
and preciseness of the complex technical systems functioning, they became more complicated in their
structure and more sophisticated in their control systems. That was the time of significant advances in
aviation and cosmonautics. It is natural that exactly such complex systems headed the development of
scientific theory. Exactly in aviation and cosmonautic systems, advanced scientific inventions were
implemented. That was the time of arising new control theories mainly dedicated to spacecraft. That
time refers to a range of crucial changes: the first instrument landing systems, the latest approaches to
information exchange arrangement in the onboard hardware of aircraft, the new orbital space stations,
the attempts of docking of spacecraft and orbital stations in space (the first attempts were not
successful), reusable space systems, etc. All of them had a rather complicated structure and tight
connections between their elements and had a significant impact on the environment. New specific
approaches to the mathematical description of a scenario for such systems appeared as well as a
theory of optimal control and then adjustment control, etc.</p>
      <p>Problems of the mathematical description of complex technical system operating and their
control are described in various sources, which offer the use of various approaches and theories [1–4].
As we can see, the range of the systems is quite diverse: the first steps were directed to the linear
continuous dynamic systems, and today we move ahead with new fuzzy controllers for steel-smelting
furnaces, unmanned aircraft control, and the up-to-date network technology. At present time, the
theory of functional stability has become widespread [5–9]. The theory arose at the cross-section of
many approaches to ensuring the stable functioning of complex technical systems: improvement of
reliability of the system operation, improvement of repairability conditions, the possibility of recovery
of some features, and self-adjustment. Such systems are supposed to be self-controlled and
selfadjusted, redistribute tasks within a system to achieve the set tasks. The peculiarity of this theory
application is a number of requirements to be met by the system for its application. It is important to
take into account the costs both of hardware and software. In fact, on boards of aircraft and cosmic
systems, the hardware redundancy was used, i.e. there were 3-4 sets of the onboard control unit
blocks.</p>
      <p>Concerning software of computing complexes, booting of processors and memory of onboard
computers did not exceed a third of all capacities. Such an approach to arrangement allowed us to do
maneuvers and to add the new features to the complexes. For the years of its existence, this theory has
spread from space systems literally to all shears of industry. Especially, it has found application in
intellectual control systems of network technology, including the control of individual or group
unmanned aircraft. In [10–15], it was shown its usage possibility for complex technical systems with
hardware or software operating at a loss. An important feature proved to be the ability of a system to
self-check and find out failures in its operation. In this way, the theory of recovery control appeared.
The essence of this theory consists in an ability of a system to change the program of its operation,
and when necessary, to change the interconnections between the elements to attain the set goal [16].
For instance, when an airplane's elevator fails, it is possible, using the engine thrust and the wing
mechanization, to cope with a change in flight altitude. With this, it is necessary to take into account
that in such a case, the airplane response for the change of commands of control will be definitely
different than in its ordinary operation. The main indicators of the transition processes will be
significantly exceeded; therefore there is the expediency of additional investigations of the limits of
application of such theories. Also, in [16–18], the study of the application of recovery control theory
to functionally stable systems was carried out and positive outcomes of preliminary studies were
revealed. An important element of any theory is the modeling apparatus and model parameter
estimates.</p>
      <p>First, the simple linearized differential equations were used as mathematical models, and then a
stochastic component was added, which made it possible to partially take into account the
peculiarities of real systems functioning. Here, it should be noted that the complication of
mathematical models being used in the control systems necessitates the search for compromises [17].
That is, it is necessary to find a compromise between the accuracy of the system operation
description, the time devoted to the operations, and the onboard capacities for the realization of the set
tasks.</p>
      <p>
        In the general case, stochastic differential systems with a state vector Z, characteristic functions
a(Z, t), b(Z, t) during a stochastic process W can be described by the equation:
dZ  a(Z , t )dt  b(Z ,t )dW .
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
      </p>
      <p>In previous studies [17], there was obtained the equation for the conditionally optimal extrapolator
based on expansion in terms of Hermite polynomials:</p>
      <p>
        C  M{q ( / i )[i Ta(z,t ) X(b(z,t )T ; t )exp(i T z)} 
[qm( / i )T g1( ,t )] 0m  tr{[qk ( / i )g1( ,t )] 0 K .
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
      </p>
      <p>It has been also concluded that it is possible to evaluate the accuracy of filtering extrapolation
processes and comparing different filters based on the proposed mathematical apparatus.</p>
      <p>With the widespread use of computerized control systems, stochastic discrete systems have
developed significantly. On the sampling interval T at the instant of time t(k) = kT, the state vector
values Zk and the random vector values Vk with the function k (Z, V), it is advisable to describe using
the difference equation:</p>
      <p>
        Zk1 k(Zk , Vk ) (k  0,1, ) . (
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
      </p>
      <p>The state vector Zk has an initial value Z0 and does not depend on the sequence that describes the
domain of states of the system {Vk}.</p>
      <p>In the research [18], there were considered the peculiarities of these processes for simple discrete
and discrete-continuous systems. Using the method of quasi-moments and orthogonal expansions, it is
also possible to solve the problems of filtering and extrapolation for such systems. By their notation,
the following solutions correlate with previous studies</p>
      <p>C  M{q ([T / i Z (t )Z (t )T ]T )[i Ta(Z ,t ) 
 (b(Z ,t )T  ;t )]exp(i T ZT )}0  Mqm(Z )T m  tr {Mqm(Z )K },</p>
      <p>C (t(l1) )  Mq ([ZlT1l(Zl ,Vl )T ZlT1 ]T , l  0,1, .</p>
      <p>Barbashin E. A. and Galiullin A. S. [19–21] have worked out the solution for such systems.</p>
      <p>Modern complex dynamic systems, such as aircraft systems, electromechanical systems, etc., have
a more complex structure. They include setters, calculators, and actuators, thus it is expedient to
describe them using stochastic discrete systems with delay (limited or unlimited under uncertain
operating conditions).</p>
      <p>The application of such models to determine the control effects was shown in [22–24].</p>
    </sec>
    <sec id="sec-2">
      <title>2. Description of the mathematical model</title>
    </sec>
    <sec id="sec-3">
      <title>2.1. Models of stochastic systems with delay</title>
      <p>The randomness of the complex system functioning processes complicates significantly the choice
of the mathematical body for processes and interconnections description within the system as well as
between the system and the environment. Let us first consider models of stochastic systems with
unlimited delay. All the above models are defined by the Markov random processes. In the case of
the Markov process being unable to serve as a corresponding mathematical model of the system with
a consequence, often a more general stochastic differential equation is an adequate mathematical
model of the system.</p>
      <p>
        dZ  a(Ztt , t )dt  b(Ztt ,t )dW. (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
      </p>
      <p>0 0</p>
      <sec id="sec-3-1">
        <title>In contrast to (1), a and b are functionals of Z(τ), t0   t , i.e, functions of an elementary event</title>
        <p>ω, measurable for each t  t0 with respect to -algebra induced by the values of a random process
Z(τ) (or, what is the same, by the values of a random process W(τ)) corresponding to all [t0 ,t] . By</p>
      </sec>
      <sec id="sec-3-2">
        <title>Ztt , in equation (4) the value set Zτ of the Z(τ) process for  [t0 ,t] is denoted, Ztt  {Z : t0   t } .</title>
        <p>0 0
These models are called stochastic systems with unlimited delay.</p>
        <p>
          As an example of the simplest such model, equation (
          <xref ref-type="bibr" rid="ref4">4</xref>
          ) can serve with
a(Ztt , t )  a(Z(t ),(t ),t ),
        </p>
        <p>0
b(Ztt ,t )  b(Z(t ),(t ),t ),</p>
        <p>0
were  (t ) is determined by the following integral equation:</p>
        <p>
          t t
(t )   A(t , , Z( ),( ))dt  B(t , , Z( ),( ))dW( ) . (
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
t0 t0
        </p>
        <sec id="sec-3-2-1">
          <title>In (5) and (6), a(Z, U, t ), b(Z, U, t ) are functions mapping Rp  Rr  R to Rp and Rpq ,</title>
          <p>respectively; A(t, τ, z, u) is a function mapping Rp  Rr  R to Rp , B(t, τ, z, u) is a function mapping</p>
        </sec>
        <sec id="sec-3-2-2">
          <title>Rp  Rr  R to Rpq ; the second integral in (6) is stochastic integral.</title>
          <p>
            Equations (
            <xref ref-type="bibr" rid="ref4">4</xref>
            ) and (
            <xref ref-type="bibr" rid="ref6">6</xref>
            ) are a stochastic integro-differential system of equations that determines the
extended state vector of the system [ZT  T ]. In the special case, when the functions A(t, τ, z, u) and
B(t, τ, z, u) do not depend on u, equation (
            <xref ref-type="bibr" rid="ref4">4</xref>
            ) is a stochastic integro-differential equation.
          </p>
          <p>
            In a number of cases, we have a necessity not a possibility to limit the processes in time. For
example, during the taking off, landing, docking, etc., the time for these processes is strictly limited.
Therefore, it is possible to differentiate the stochastic systems with limited delay.
(
            <xref ref-type="bibr" rid="ref5">5</xref>
            )
          </p>
          <p>
            In modeling stochastic systems with limited delay, there are a number of peculiarities. A
stochastic system with limited delay is a special case of the stochastic systems with unlimited delay
and is described by stochastic differential equations of the following form:
dZ  a(Zt , Zt 1 , , Zt  m ,t )dt  b(Zt , Zt 1 , , Zt  m ,t )dW ,
(
            <xref ref-type="bibr" rid="ref7">7</xref>
            )
where Zt = Z (t ) for t &gt; t 0, Zt = 0 and t &lt; t 0; τ1, …, τn are deterministic or random variables.
          </p>
          <p>This class of stochastic systems requires special methods of study.</p>
          <p>
            It is assumed that stochastic equations (
            <xref ref-type="bibr" rid="ref4">4</xref>
            )-(
            <xref ref-type="bibr" rid="ref7">7</xref>
            ) with corresponding initial conditions have solutions
that correspond to stable dynamical systems.
2.2.
          </p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>The solution of the analysis problem of stochastic systems with delay</title>
      <p>Let us begin the consideration with stochastic systems with unlimited delay.</p>
      <p>
        It is not possible to derive in general the equation for finite-dimensional distributions of the state
vector of the system (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ). However, for a wide class of systems, equations (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can be reduced to
stochastic differential equations.
      </p>
      <p>
        Let us first consider the stochastic systems (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) for the case when the functions A (t, τ, z, u) and
B(t, τ, z, u) have the following form:
      </p>
      <p>A(t , , z,u)  G(t , )(z,u, );</p>
      <p>B(t , , z,u)  (t , ) (z,u, ),
where G(t, τ) and Г (t, τ) – are matrix functions called the memory kernels; φ (z, u, t ), r – is a
measuring function, ψ(z, u, t ) r × q is a matrix function.</p>
      <p>In practice, the kernels G(t, τ) and Г (t, τ) usually satisfy the following conditions (physical
feasibility):</p>
      <p>
        G(t, τ) = 0; Г (t, τ) = 0; t &lt; τ, (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )

 |Gij (t , )| d   ;
 (
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
 | ij (t , )| d   ,

where Gij(t, τ) and Гij(t, τ) are matrix elements of G(t, τ) and Г (t, τ).
      </p>
      <p>For stationary kernels G(t , )  G( ) , (t , )  ( ),   t  . The Laplace transforms in this case
represent rational functions of a complex variable S , i.e the following representation holds:

 G( )exp(s )d  F(s)1 H(s);
0 (11)
 ( )exp(s )d  Q(s)1 P(s).</p>
      <p>0</p>
      <p>
        The initial stochastic system (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), and (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) can be reduced to the following stochastic differential
system:
(
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
dZ  a(z,v,t )dt  b(z ,v,t )dw;
      </p>
      <p>v  v  v;</p>
      <p>FU  H (z,v,t ); QU  P (z,v,t )w.</p>
      <p>Here F, H, Q, P are the r × r matrix differential operators of the n-th orders, m (n &gt; m) and K, l
(K &gt; l), respectively. Applying the known methods of the theory of linear systems, the last two
equations of equation (12) can be reduced to the Cauchy form by expansion of the state vector with
their subsequent presenting in the form of stochastic differential equations.</p>
      <p>Let the nonstationary kernels G(t, τ) and Г (t, τ) with fixed τ be solutions of the linear differential
equations:</p>
      <p>Ft G(t , )  Ht (t  )G(t , )  0,
Qt (t , )  Pt (t  )(t , )  0,
t  ;
t  ,
(12)
(13)
and at a fixed t are determined as follows:</p>
      <p>G(t , )  H*G(t , ) ;
(t , )  P*(t , ) ,
(14)</p>
      <p>F*G(t , )  Ir (t  ) ;</p>
      <p>Q*(t , )  Ir (t  ) .</p>
      <p>
        Here Ft = Ft(t, D), Ht = Ht(t, D), Qt = Qt(t, D), Pt = Pt(t, D), are the r × r matrix linear differential
operators of the n-th orders, m (n &gt; m) and K, l (K &gt; l), respectively, the index of the operator
denotes that the operator acts on a function considered as the function t at a fixed ε, with an asterisked
bound operator, and Ir is a unity matrix of the r-th order. In this case, equation (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can be substituted
by the following equations:
      </p>
      <p>U  U U;
FtU  Ht(z,v,t ); .</p>
      <p>QtU  Pt (z,v,t )w.</p>
      <p>
        As a result, the stochastic system (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) will be reduced to a stochastic differential system (12)
with nonstationary operators Ft, Ht, Qt, Pt,.
      </p>
      <p>
        For a wide class of more complex functions A(t, τ, z, u ) and B(t, τ, z, u), in (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), the approximation
of the form is often useful
      </p>
      <p>N
A(t , , z,u)  Gh(t , )h(z,u,t );</p>
      <p>hN1 (16)
B(t , , z,u)   h(t , ) h(z,u,t ),</p>
      <p>h1
where Gh(t, τ) and Гh(t, τ) are kernels falling into the types considered.</p>
      <p>
        In practice, due to insufficient a priori information, the functions A(t, τ, z, u) and B(t, τ, z, u) are
usually known approximately. Therefore, they can almost always be approximated by the formula (
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
or (16) with functions G(t, τ) and Г(t, τ) of one of the two above types. After that, by means of the
suggested above method, equations (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) are reduced to stochastic differential equations of the form
(12).
      </p>
      <p>
        Another special case, when the stochastic system (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can be reduced to a stochastic differential
system of the form (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) by expansion of the state vector, is the case when the functions A(t, τ, z, u) and
B(t, τ, z, u) allow the following representation
      </p>
      <p>A(t , , z,u)  A(t ) A(, z,u); B(t , , z,u)  B(t ) B(, z,u), t  . (17)
Assuming that</p>
      <p>t t
Y    A(, z,u)d ; Y    B(, z,u)dw() .</p>
      <p>t0 t0
It is possible to reduce the initial stochastic system to the following stochastic differential one:
dZ  a(z,u,t ) b(z,u,t )dw; u  A(t )Y   B(t )Y ;
dY   A(t , z,u)dt; dY   B(t , z,u).
(18)
(19)</p>
      <p>
        It should be noted that usually the functions A(t, τ, z, u) and B(t, τ, z, u) in (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can always be
approximated by expressions of the form (17) or by more general expressions:
      </p>
      <p>N
A(t , , Z(),U()   Ah(t )Ah(, Z(),U());</p>
      <p>hN1 (20)
B(t , , Z(),U()   Bh(t )Bh(, Z(),U()).</p>
      <p>h1</p>
      <p>
        Therefore, equations (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can almost always be reduced to the stochastic differential equation
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) by expanding the state vector of the system.
      </p>
      <p>
        Thus, the stochastic system of the form (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) can almost always be approximated by a further
stochastic differential system of the form (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), after which any of the described methods of stochastic
analysis can be applied.
      </p>
      <p>Let us consider stochastic systems with limited delay.</p>
      <p>
        Any stochastic system with delay of the form (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) is a case of the system (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )-(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), where the function
A(t, τ, z, u) of (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) is a linear function z, and its coefficients are delta functions of the form δ(t – τk –
τ) and B(t, τ, z, u). It is clear that none of the above considered approximations is appropriate to
these systems. Special methods should be developed here.
      </p>
      <p>In practical problems, for the analysis of systems with delay, the transfer function of the link with
pure delay is often approximated.</p>
      <p>exp(s)  1  s </p>
      <p> snn / n! (21)</p>
      <p>
        Using this approximation, introduce new variables Y1, …, Ym that satisfy the following differential
equation
nDn n! 
k
Then, equation (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) is replaced by equation (22)
dZ  a(Z ,Y1
 k D  1)Yk  Z
      </p>
      <p>
        ,Ym ,t) b(Z ,Y1
Equations (22), (23) with initial conditions
(k  1, ,m) .
describe stochastic differential systems that approximate the system with delay (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ).
      </p>
      <p>
        Substituting (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) by equations (22), (23), any of the above methods for the approximate
determination of finite-dimensional distributions of the system state vector can be used.
      </p>
    </sec>
    <sec id="sec-5">
      <title>3. Results and Discussions 3.1. The peculiarities of solving filtration and extrapolation problems in the construction of functionally stable discrete systems with delay</title>
      <p>The issues of filtering have not been enough theoretically substantiated for our class of systems
and could be applied with significant limitations for prompt estimation. Requirements for the
simplicity of computational estimates lead to the idea of conditionally optimal estimation.</p>
      <p>To operate in real time with limited computing power, there is recommended to use conditionally
optimal filtering [16–18, 22–24]. We will use simple filters (for example, to evaluate the solutions of
difference equations), which can serve as an example of filters that meet the requirements of
simplicity of calculations.</p>
      <p>For our case, we use the following approach:</p>
      <p>  AU ,</p>
      <p>Uk1  kk( yk ,uk ) k ,
where A is a constant p × N matrix, ξk(y,u) are functions mapping Rm RN to Rr ; δk, γk are arbitrary
matrices of N × r, N × 1 sizes, respectively.</p>
      <p>The choice of sequences {δk}, {γk} determines the allowed filter. The selection (selection of
parameters) of the matrix A in equation (25), the function ξk(y,u) (26), the numbers N, r is decisive
for the selection of filters. For optimal filtering, the determination of the coefficients δ, γ, ξ, η, ζ, in
(26) can be performed according to the methods described in the papers [18, 22–26].</p>
      <p>An important issue for filtering is the issue of optimality criteria. Minimizing the mean square of
the
error</p>
      <p>M | Zˆt  Zt |2 (M | Zˆk1  Zk1 |2 ) in
the
case
of
the
filtering
problem
and
M | Zˆt  Zt |2 (M | Zˆk1  Zk j1 |2 ) in the case of the extrapolation problem at any time instant
t(t(k1) ) may have no solutions. The use of the theory of suboptimal filtration for discrete systems is
shown in the papers [18, 22–26].
3.2.</p>
    </sec>
    <sec id="sec-6">
      <title>Conditionally optimal filters for discrete stochastic systems</title>
      <p>The complex system functioning (Fig. 1) implies the programmed trajectory, which can be
designed under strict conditions or be adaptive. One more important is the prompt assessment of
selfposition in space. All above requires powerful computing capacities. As it has been shown above,
(22)
(23)
(24)
(25)
(26)
there exists a mathematical body allowing significant simplification of the working models and
reduce the requirements for computing capacities.</p>
      <p>The complex system functioning (Fig. 1) implies the programmed trajectory, which can be
designed under strict conditions or be adaptive. One more important is the prompt assessment of
selfposition in space. All above requires powerful computing capacities. As it has been shown above,
there exists a mathematical body allowing significant simplification of the working models and
reduce the requirements for computing capacities.
Pk  M[(Xk ,Uk )  lk ]k ( Xk ,Uk )T ;</p>
      <p>Lk  M(Zk j1  mk )k ( Xk ,Uk )T .</p>
      <p>
        To calculate the mathematical expectations in these formulae in the case of the filtering problem
(j = 0), let us apply equation (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) and use the equation:
      </p>
      <p> n1 (29)
gk1 , kn1(1 , , n )  M exp i i1 Tl Zkl  iTn kn (Zkn ,Vkn ), (n  1,2, )
with the known function g1() and initial conditions [25–27]:</p>
      <p>
        gk1, ,kn1 ,kn1 (1 , , n )  M gk1, ,kn1 (1 , , n1  n ), (n  2,3, )
for a one-dimensional characteristic function of a random sequence {[XkT ZkTUT ]T } determined by the
k
difference equations (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) and (26). The joint solution of equations (27), (28), (29) completely solves
the problem of designing conditionally optimal filters. To find the mathematical expectations in (28)
in the case of the extrapolation problem, equations (29), (30) are added to the previous equations of
the two-dimensional characteristic function of the sequence {[XkT ZkTUkT ]T } .
3.3. Algorithms of identification and adjustment for complex discrete
dynamic functionally stable systems
      </p>
      <p>In the works [16, 22–24], the theorem on the existence of optimal control of a complex dynamic
object Figure 1 by means of a special device Figure 2 using a specialized filter Figure 3 has been
proved. Consider the features of such systems in conditions of limited computing resources and in real
time, which is inherent in the operation of a large number of mobile systems.
(27)
(28)
(30)</p>
      <p>The recurrent identification algorithms can be written as:</p>
      <p>(n)  (n 1) 1(n)(n)(n, (n 1)).</p>
      <p>Specific identification algorithms</p>
      <p> (n / n  1)  y(n)  T Z1(n  1) (n, ) ,
 (n)  (n  1)  1(n) (n) (n, (n  1)) ,
r(n)
differ from each other by the gain matrix Г 1(n ), the direction vector (n), and by the observation
vector Z 1(n – 1). References to the literature in which the specific algorithms are given and
investigated are indicated there.</p>
      <p>In the adjustment algorithms, there are residuals of one of the form</p>
      <p>(n/ n  k 1)  y(n) yˆ(n/ n  k 1) ,
(n / n  k 1)  y(n) T Z2(n  k  1)  (n, ) .</p>
      <p>The recurrent algorithms of adjustment can be written as:
(n)  (n) 2(n)u(n)(n,(n 1)).
(36)</p>
      <p>The specific adjustment algorithms (35), (36) differ from each other in the gain matrix Г 2(n ) and
the direction vector U (n ), possibly, by the observation vector Z 2(n – k– 1). Examples of adjustment
algorithms are given in Table 1.</p>
      <p>Along with the most common algorithms of the form (33) or (36), sometimes algorithms with
filtered residual occur:
(n)
P (q)
Q(q)
y(n)
()
y0 (n)
u(n)
1
b0*
Pu (q)S (q)  b0*
e(n)
(31)
(32)
(33)
(34)
(35)
(37)
where Pƒ(q) and θ(q) specially similar stable polynomials.</p>
      <p>Until a certain time, the choice of one or another identification algorithm or setting was not
sufficiently argued. In the works 18, 24, 26, 27, the necessity to use not arbitrarily taken algorithms,
but optimal algorithms, which have the maximum possible rate of convergence, has been proved. The
formation of such algorithms is based on taking into account a priori information about the structure
of dynamic objects and the characteristics of the noise that affect the object. For this purpose, we use
a generalization of the optimality condition that follows from the criterion of quadratic residual and
depends on the nonlinear transformation of residual. This condition generates the algorithm which is
optimal with respect to the gain matrix. The choice of the nonlinear transformation of residual allows
obtaining the optimal and nonlinear transformation algorithms that reach the maximum and limit rate
of the convergence.</p>
    </sec>
    <sec id="sec-7">
      <title>4. Conclusions</title>
      <p>Let us summarize.</p>
      <p>The joint solving of the obtained equations (27), (28), (29), and (30) determines the conditionally
optimal extrapolator. Systems of equations can be solved using approximate methods described in
[18, 23, 24, 26, 27]. Any of the above can be used for these purposes.</p>
      <p>The identification algorithms are generated by minimizing the corresponding quadratic and
weighted quadratic criteria of residual, and, finally, the optimal identification and adjustment
algorithms correspond to the minimum of the asymptotic error covariance matrix, which is the
criterion of convergence rate.</p>
      <p>Thus, in functionally stable systems, optimization should be carried out according to several
optimality criteria. The basic structure of the system has to meet the minimum of the quadratic error
criterion. The predictor structures have to meet a minimum of residual criteria.</p>
    </sec>
    <sec id="sec-8">
      <title>5. References</title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>O.</given-names>
            <surname>Lozynskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Lozynskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Paranchuk</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            <surname>Holovach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Tsyapa</surname>
          </string-name>
          ,
          <article-title>Fuzzy extreme control and electric mode coordinates stabilization of arc steel-melting furnace</article-title>
          ,
          <source>in: Proceedings of the 11th International Scientific and Technical Conference Computer Sciences and Information Technologies</source>
          ,
          <string-name>
            <surname>CSIT</surname>
          </string-name>
          <year>2016</year>
          , Lviv,
          <year>2016</year>
          , pp.
          <fpage>49</fpage>
          -
          <lpage>54</lpage>
          . doi:
          <volume>10</volume>
          .1109/STC-CSIT.
          <year>2016</year>
          .
          <volume>7589866</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>W.</given-names>
            <surname>Choi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I. Y.</given-names>
            <surname>Song</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Shin</surname>
          </string-name>
          ,
          <article-title>Two-stage algorithm for estimation of nonlinear functions of state vector in linear Gaussian continuous dynamical systems</article-title>
          .
          <source>Journal of Computer and Systems Sciences International</source>
          <volume>58</volume>
          (
          <year>2019</year>
          )
          <fpage>869</fpage>
          -
          <lpage>882</lpage>
          . doi:
          <volume>10</volume>
          .1134/S1064230719060169.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>O.</given-names>
            <surname>Barabash</surname>
          </string-name>
          , Yu. Kravchenko,
          <string-name>
            <given-names>V.</given-names>
            <surname>Mukhin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Kornaga</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Leshchenko</surname>
          </string-name>
          ,
          <article-title>Optimization of parameters at SDN technologie networks</article-title>
          .
          <source>International Journal of Intelligent Systems and Applications</source>
          <volume>9</volume>
          (
          <year>2017</year>
          )
          <fpage>1</fpage>
          -
          <lpage>9</lpage>
          . doi:
          <volume>10</volume>
          .5815/ijisa.
          <year>2017</year>
          .
          <volume>09</volume>
          .01.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>O.</given-names>
            <surname>Barabash</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Dakhno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Shevchenko</surname>
          </string-name>
          ,
          <article-title>Modified gradient method in a decision support system for control unmanned aerial vehicles</article-title>
          .
          <source>Science and Education a New Dimension. Natural and Technical Sciences</source>
          <volume>16</volume>
          (
          <year>2017</year>
          )
          <fpage>60</fpage>
          -
          <lpage>62</lpage>
          . doi:
          <volume>10</volume>
          .31174/
          <string-name>
            <surname>SEND-NT2017-</surname>
          </string-name>
          148V16-16.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>O.</given-names>
            <surname>Barabash</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Sobchuk</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Lukova-Chuiko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Musienko</surname>
          </string-name>
          ,
          <article-title>Application of petri networks for support of functional stability of information systems</article-title>
          ,
          <source>in: Proceedings of the IEEE First International Conference on System Analysis &amp; Intelligent Computing, IEEE Central Ukraine Joint Chapter, Kyiv</source>
          ,
          <year>2018</year>
          , pp.
          <fpage>36</fpage>
          -
          <lpage>39</lpage>
          . doi:
          <volume>10</volume>
          .1109/SAIC.
          <year>2018</year>
          .
          <volume>8516747</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>O.</given-names>
            <surname>Barabash</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Dakhno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Shevchenko</surname>
          </string-name>
          , T. Majsak,
          <article-title>Dynamic models of decision support systems for controlling UAV by two-step variational-gradient method</article-title>
          ,
          <source>in: Proceedings of the IEEE 4th International Conference Actual Problems of Unmanned Aerial Vehicles Developments</source>
          , IEEE Central Ukraine Joint Chapter, Kyiv,
          <year>2018</year>
          , pp.
          <fpage>108</fpage>
          -
          <lpage>111</lpage>
          . doi:
          <volume>10</volume>
          .1109/APUAVD.
          <year>2017</year>
          .
          <volume>8308787</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>O.</given-names>
            <surname>Mashkov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Sobchuk</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Barabash</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Dakhno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Shevchenko</surname>
          </string-name>
          , T. Maisak,
          <article-title>Improvement of variational-gradient method in dynamical systems of automated control for integro-differential models</article-title>
          .
          <source>Mathematical Modeling and Computing</source>
          <volume>6</volume>
          (
          <year>2020</year>
          )
          <fpage>344</fpage>
          -
          <lpage>357</lpage>
          . doi:
          <volume>10</volume>
          .23939/mmc2019.
          <fpage>02</fpage>
          .344.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Yu. Kravchenko</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <string-name>
            <surname>Vialkova</surname>
          </string-name>
          ,
          <article-title>The problem of providing functional stability properties of information security systems</article-title>
          , in: Proceedings of XIIIth International Conference Modern Problems of Radio Engineering, Telecommunications, and Computer Science, Lviv Polytechnic National University, Lviv-Slavsko, pp.
          <fpage>526</fpage>
          -
          <lpage>530</lpage>
          . doi:
          <volume>10</volume>
          .1109/TCSET.
          <year>2016</year>
          .
          <volume>7452105</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Korobchinskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Babichev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Lytvynenko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A .</given-names>
            <surname>Gozhyj</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Voronenko</surname>
          </string-name>
          ,
          <article-title>A fuzzy model for Gene expression profiles reducing based on the complex use of statistical criteria and Shannon entropy</article-title>
          ,
          <source>in: Proceedings of the First International Conference on Computer Science</source>
          , Engineering and Education Applications, ICCSEEA2018, National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, Kyiv,
          <year>2018</year>
          ,
          <year>2019</year>
          . pp.
          <fpage>545</fpage>
          -
          <lpage>554</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>S.</given-names>
            <surname>Babichev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Lytvynenko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Korobchynskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Taiff</surname>
          </string-name>
          ,
          <article-title>Objective clustering inductive technology of gene expression sequences features</article-title>
          .
          <source>Communications in Computer and Information Science</source>
          <volume>716</volume>
          (
          <year>2017</year>
          )
          <fpage>359</fpage>
          -
          <lpage>372</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>319</fpage>
          -58274-0_
          <fpage>29</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>