<!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>Inverse Dynamic Models in Chaotic Systems Identification and Control Problems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Leonid Lyubchyk</string-name>
          <email>lyubchik.leonid@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Galyna Grinberg</string-name>
          <email>glngrinberg@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>. Department of Computer Mathematics and Data Analisys, National Technical University “Kharkiv Polytechnic Institute”</institution>
          ,
          <country country="UA">UKRAINE</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>. Department of Economic Cybernetics and Management, National Technical University “Kharkiv Polytechnic Institute”</institution>
          ,
          <country country="UA">UKRAINE</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2018</year>
      </pub-date>
      <fpage>1</fpage>
      <lpage>3</lpage>
      <abstract>
        <p>Inverse dynamic models approach for chaotic system synchronization in the presence of uncertain parameters is considered. The problem is identifying and compensating unknown state-dependent parametric disturbance describing an unmodelled dynamics that generates chaotic motion. Based on the method of inverse model control, disturbance observers and compensators are synthesized. A control law is proposed that ensures the stabilization of chaotic system movement along master reference trajectory. The results of computational simulation of controlled Rösller attractor synchronization are also presented.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>I. INTRODUCTION</title>
      <p>Controlled systems and processes with chaotic dynamics
are a matter of unflagging interest in modern control theory
and practice [1, 2]. The problem of synchronization of
chaotic systems is intensively studied; in this case, control
law is designed in such a way that the controlled variables of
the slave system follow the reference output of the master
system or nonlinear oscillating system stabilized along given
reference trajectory in the presence of uncertainties and
external disturbances [3, 4].</p>
      <p>A typical model of a chaotic system is a linear system
with additional nonlinear components dependent on the state,
the presence of which determines the appearance of chaotic
regimes [5]. Because the system nonlinearity may be treated
as a parametric disturbance of nominal model, chaos
synchronization problem may be reduced to the disturbance
rejection problem, namely, unknown and unmeasurable
disturbances eliminating from the systems output along with
reference signal tracking.</p>
      <p>Recently a number of model-based control methods have
been developed for disturbance rejection taking into account
the requirements of accuracy, dynamic performance, stability
and robustness [6, 7]. In this paper the inverse model control
approach [8] is applied for chaotic systems synchronization.
Inverse models are used for both parametric disturbance
identification and compensation, which made it possible to
synthesize disturbance decoupling controller, ensure
reference signal tracking.</p>
      <p>The proposed approach was studied through
computational modeling using the example of a controlled
Rösller attractor with signal and parametric disturbances.</p>
    </sec>
    <sec id="sec-2">
      <title>II. PROBLEM STATEMENT</title>
      <p>
        Consider a state-space model of controlled chaotic system
with a distinguished nonlinear component, which causes the
emergence of chaotic dynamics and interpreted as an
uncertain parametric disturbance
x(t) = Ax(t) + Bu(t) + Nf (x(t),δ),
y (t)
c
=Cx(t), y (t)
m
=Mx(t),
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
where x(t) ∈ R n – chaotic system state vector, u(t) ∈ R m –
control variables vector, f (x(t),δ) ∈ R q – state-dependent
parametric
disturbance
with uncertain parameters
δ ,
yc (t) ∈ R r ,
ym (t) ∈ R p
–
      </p>
      <p>output controlled and
measured variables respectively.</p>
      <p>
        Disturbance f (x(t),δ) ∈ R q may be treated as unknown
input signal for system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ).
      </p>
      <p>
        Matrices SCB (α1) = CAα1−1B, SMN (α2 ) = MAα2 −1N
are known as Markov parameters of system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ).
      </p>
      <p>Without loss of generality, for simplicity reason, we will
assume that rank SCB
=rank m, SMN</p>
      <p>=m,where
SCB
•</p>
      <p>
        =(
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), SCB SMN =SMN(
        <xref ref-type="bibr" rid="ref1">1</xref>
        ).
      </p>
      <p>Consider two main inverse model problems:</p>
      <p>Chaotic system identification, namely, obtaining
unknown parametric disturbance estimate ˆf (t) using
available measurements ym (t) and known control
•</p>
      <p>Chaotic
system</p>
      <p>control, namely, control law
u(y(t), y* (t), ˆf (t)) design, which ensure control
signal u(t) ;
goal achieving</p>
      <p>lim || ec (t) ||2 ≤ ε* , t → ∞.
where ec (t)</p>
      <p>
        =y* (t) − yc (t) – control error, y* (t) –
setpoint signal given by the reference model
y∗ (t) =A∗ ⋅ y∗ (t) + yref (t) ,
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
we can obtained the minimal-order state and disturbance
observer in the form of system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) inverse model [10]:
(
        <xref ref-type="bibr" rid="ref11">11</xref>
        )
(12)
(13)
(14)
x (t) =RΠN AQ ⋅ x (t) + RΠN AP ⋅ ym (t) +
      </p>
      <p>+ RNS M+N ⋅ ym (t) + RΠN B ⋅ u(t),
ˆx( t ) = P ⋅ ym (t) + Q ⋅ x (t),
ˆf (t) =CN [ym (t) − MAQ ⋅ x (t) −</p>
      <p>− MAP ⋅ ym (t) − SMBu(t)],
where Π Ν = In − NS M+N M , ΩN = I p − SMN S M+N ,
CN =S M+N + N + PΩN .</p>
      <p>
        From (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), (
        <xref ref-type="bibr" rid="ref11">11</xref>
        ) it follows, that estimate errors vectors
ex (t) =x(t) − ˆx(t), e f (t)
by the equations:
      </p>
      <p>=(x(t),t) f − ˆf (t) are given
ex (t)</p>
      <p>=F ( R ) ⋅ ex (t),
ex (t) = Q ⋅ ex (t)
e f (t)</p>
      <p>=−CN MAQ ⋅ ex (t).</p>
      <p>III. INVERSE MODEL-BASED CONTROLLER DESIGN</p>
      <p>The disturbance rejection control law will be constructed
as a function of reference signal and disturbance estimate:
u* (t) =SC−B1 ⋅[yref (t) + CA ˆx(t) − SCN ˆf (t)],
CA</p>
      <p>=A∗C − CA.</p>
      <p>If system structure non-singularity condition takes place
ε* – some sufficiently small constant.</p>
      <p>
        In the chaos synchronization problem, reference model
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) can be considered as a master system [3].
      </p>
      <p>
        Dynamic system with state vector x (t) ∈ R n−q
x (t) = AI x (t) + B I u(t) + B1I y(t) + B2I y (t),
fˆ (t) =C I xk + D I u(t) + D1I y(t) + D2I y (t),
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
the following conditions take place: x (t) − Rx(t)
will be referred to as inverse dynamic model of system (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), if
2
→ 0 ,
      </p>
      <p>
        Then fˆ (t) may be treated as unknown input signal f (t)
dynamic estimate, obtained by inverse model (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ).
      </p>
      <p>III. INVERSE DYNAMIC MODEL DESIGN
fˆ (t) − f (t)</p>
      <p>2
aggregate matrix.</p>
      <p>→ 0 , if t → ∞ , where Rn−q×n – some</p>
      <p>RT ) = n .</p>
      <p>Take state vector estimate in the form</p>
      <p>ˆx(t) = P ⋅ ym (t) + Q ⋅ x (t),
where matrices P ∈ R n× p , Q ∈ R n×n− p are such that</p>
      <p>MP =I p , RQ =In− p , PM + QR =In ,
MQ
=p,n− 0 p , RP
=0n−p,p.</p>
      <p>be
aggregated</p>
      <p>auxiliary
is some aggregate
matrix, so
minimal-order unknown-input observer (UIO) [9]:
x (t) =Fx (t) + G1 ym (t) + Hym (t) + G0u(t).</p>
      <p>
        The UIO (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) parameters are determined from disturbance
estimate invariance conditions [9, 10]
( R − HM ) A − F ( R − HM )
      </p>
      <p>=GM ,
RN − HMN =0, G − RB =0, G =G − FH .</p>
      <p>
        0 1
A solution of linear matrix equations (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) are obtained as
      </p>
      <p>F
=RΠAQ, G</p>
      <p>N 0
G
1
=RΠAP, H</p>
      <p>N
Π =I − BS + M ,</p>
      <p>N n MN</p>
      <p>=RB,
=RNS+ ,</p>
      <p>MN
Taking the unknown disturbance estimate as</p>
      <p>
        ˆf (t) = N + ( ˆx(t) − Aˆx(t) − Bu(t)) ,
We obtain the aggregated vector z(t) estimate x (t) by
rank S
=m + q, S
(
        <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>
        )
(
        <xref ref-type="bibr" rid="ref9">9</xref>
        )
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
      </p>
      <p>
=</p>
      <p>Im
 CN SMB</p>
      <p>SC−B1 SCN </p>
      <p></p>
      <p>Iq 
or equivalently</p>
      <p>det Φ ≠ 0, Φ = Iq − CN SMB SC−B1 SCN , (15)
disturbance estimate may be eliminated from the controller
equations, which is therefore be regarded as disturbance
decoupling controller.</p>
      <p>In reality, situations often arise when conditions (14), (15)
are not met. In such a case the realizable control law may be
obtained using the disturbance estimates, dynamically
transformed by the internal auxiliary "fast" filter with small
parameters.</p>
      <p>As a result, realizable controller are designed by including
in its structure an additional internal low-pass filter with
small time constant [11]:
u* (t) =SC−B1 ⋅[y∗ (t) + CA ˆx(t) − SCN f (t)],</p>
      <p>
εf (t) =− f (t) + (1 − μ) ⋅ ˆf (t),
(16)
where 0 &lt; ε &lt;&lt; 1,</p>
      <p>0 &lt; µ &lt;&lt; 1 - small filter parameters.</p>
      <p>From (13), (16) follows, that disturbance compensator
equation with internal additional filter take the form:
ˆf1(t )</p>
      <p>=x2 (t ) + π2 y1(t ),
ˆf2 (t ) = y2 (t ) + cy2 (t ) − x2 (t ) − π2 y1(t ) − u2 (t ).
f1(t )
=δ f , f2 (x1(t ), x3 (t ))
=δc x3 (t ) + (1 + δ x )x1(t )x3 (t ), as a step wave function, reference model input signal yref (t )
(17)</p>
      <p>As a result disturbance decoupling controller with internal
filter equation is obtained in the form:
εu (t ) =ν1x1(t ) − x2 (t ) + (ζ1 − π2 )y1(t ) − α1 y2 (t ),
u2 (t ) =u (t ) + ν1x1(t ) − 2 x2 (t ) +</p>
      <p>+ (ζ1 − 2π2 ) ⋅ y1(t ) + (c − α1 − ε−1) ⋅ y2 (t ),
ζ1 =α1 +ν1π1 −1,</p>
      <p>ν1 =k − α1 − a</p>
      <p>Proposed disturbance observer and decoupling controller
are investigated by computational simulation.</p>
      <p>Simulation results for Rösller attractor model
parameters a = 0.2, c = −5.7 , observer and controller
parameters π1
=−1, π2
=−2, ε = 0.01, μ
=0, k
=2.2 ,
(18)
and
reference
model
parameters
α0
=5,α1
=6
are
presented below.</p>
      <p>Disturbance f1(t ) was modeled input signal disturbance
(22)
(23)
εu(t ) =−μu(t ) + (1 − μ) ⋅[φ1(t ) +</p>
      <p>+ SC−B1 SCN φ2 (t )],
u* (t ) =u(t ) + φ1(t ),
φ1(t )</p>
      <p>=SC−B1 ⋅[yref (t ) + CA ˆx(t )],
φ2 (t ) =CN ⋅[ym (t ) − MAQ ⋅ x (t ) − MAP ⋅ ym (t )].</p>
      <p>III. CHAOTIC SYSTEM INVERSE MODEL CONTROL</p>
      <p>As an example of proposed approach consider inverse
model control of the Rösller attractor under uncertainties:
x1(t )</p>
      <p>=−x2 (t ) − x3 (t ),
x2 (t ) = x1(t ) + ax2 (t ) + u1(t ) + f1(t ),
x3 (t )</p>
      <p>=−cx3 (t ) + u2 (t ) + f1(t ) + f2 (x1(t ), x3 (t )),
where
are
input
and
parametric
disturbances
respectively
with δ f ,δc ,δ x uncertain parameters.</p>
      <p>Using the measurements y1(t ) = x1(t ), y2 (t ) = x3 (t )
find the control so the controlled output yc (t ) = x1(t ) will
track set-point signal y* (t ) , generated by reference model
y∗ (t ) + α1 y* (t ) + α0 y* (t )
=yref (t ) .</p>
      <p>(19)</p>
      <p>The control law, which ensures attractor synchronization
with reference model, is the following:
u2 (t ) = (α0 −1) ⋅ ˆx1(t ) + (k − a − α1) ⋅ ˆx2 (t ) +
+ (c − α1) ⋅ ˆx3 (t ) − 2 ˆf1(t ) − f2 (t ) − yref (t ),
(20)
u1(t ) = −kˆx2 (t ),</p>
      <p>
εf (t ) =− f (t ) + (1 − μ) ⋅ ˆf2 (t ),</p>
      <p>The state estimates for system (18), obtained by
reducedorder UIO, are:
x1(t ) = ρ1x1(t ) + x2 (t ) +</p>
      <p>+ (1 + π1ρ1 +π2 ) ⋅ y1(t ) + π1 y2 (t ),
x2 (t ) =π2 x1(t ) + π1π2 y1(t ) + π2 y2 (t ),
(21)
ˆx1(t ) = y1(t ),
ˆx1(t )
=x1(t ) + π1 y1(t ), ˆx3 (t )</p>
      <p>=(t y2 ),
where ρ1 = (π1 + a − k ), π1 π2 are tuning parameters.</p>
      <p>Corresponding disturbance estimates are
adopted in the form of harmonic function.</p>
      <p>At Fig.1, 2 the state variables and phase plane of controlled
Rösller disturbed attractor are presented.</p>
      <p>Disturbances estimations obtained by (21), (22) are
depicted in Fig. 3, 4 and control and output variables
obtained in accordance the control law (20), (23) are
presented at Fig. 5, 6.</p>
      <p>Fig.3. Disturbances estimation f1(t), ˆf1(t) in open-loop system
Fig.4. Disturbances estimation f2(t), ˆf2 (t) in open-loop system
Fig.6. Set-point signal y* (t) and output variables yc (t)</p>
      <p>Simulation results for chaotic system synchronization
problem demonstrated high accuracy of disturbances
decoupling for broad range of parameters deviation.</p>
    </sec>
    <sec id="sec-3">
      <title>IV. CONCLUSION</title>
      <p>In this paper we presented inverse model-based approach
to chaotic systems synchronization problem. The proposed
method allows us to decompose the problem into the stage of
structural synthesis of inverse models and their parametric
synthesis or optimization. This significant advantage of the
method of inverse dynamic models is the possibility of
realtime reconstruction of signals of complex shape in the
absence of information on their structure. This, in turn, makes
it possible to efficiently solve problems of compensation of
nonlinear state-dependent, which makes it possible to
suppress sources of chaotic dynamics and simplifies the
solution of synchronization problems. Thus proposed
approach seems to be quite universal and can be used to solve
various problems of controlling chaotic systems.</p>
      <p>The implementation of the proposed control requires
differentiating the measured output signals in real time, for
which differentiators based on sliding modes can be used.
Further development of the proposed approach is associated
with the development of robust methods for inverse models
design under conditions of uncertain deviations of the
parameters of the chaotic object model.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>G.</given-names>
            <surname>Chen</surname>
          </string-name>
          , (Ed), “
          <article-title>Controlling Chaos and Bifurcations in Engineering Systems”</article-title>
          , CRC Press, Boca Raton, USA,
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Fradkov</surname>
            ,
            <given-names>A</given-names>
          </string-name>
          . Pogromsky, “
          <article-title>Introduction to control of oscillations and chaos”</article-title>
          ,
          <source>World Scientific, Singapore</source>
          ,
          <year>1998</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Ju</given-names>
            <surname>Park</surname>
          </string-name>
          , ”
          <article-title>Chaos synchronization of a chaotic system via nonlinear control”</article-title>
          , Chaos, Solitons and Fractals, no.
          <issue>25</issue>
          , pp.
          <fpage>579</fpage>
          -
          <lpage>584</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>S.</given-names>
            <surname>Mohammadpour</surname>
          </string-name>
          , T. Binazadeh, “
          <article-title>Robust finite-time synchronization of uncertain chaotic systems”</article-title>
          ,
          <source>Systems Science &amp; Control Engineering</source>
          , vol.
          <volume>6</volume>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Shen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Xiong</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Y.</given-names>
            <surname>Wu</surname>
          </string-name>
          , “
          <article-title>Uncertain Unified Chaotic Systems Control with Input Nonlinearity via Sliding Mode Control”</article-title>
          , Mathematical Problems in Engineering, Hindawi, vol.
          <year>2016</year>
          , 9 p.,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <surname>Wolovich</surname>
            <given-names>W.A.</given-names>
          </string-name>
          ,
          <source>“Automatic Control Systems: Basic Analysis and Design”</source>
          , Philadelphia, PA: Saunders,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Ya. Tsypkin</surname>
          </string-name>
          , U. Holmber, “
          <article-title>Robust stochastic control and internal model control”, Intern</article-title>
          .
          <source>Journal of Control</source>
          , vol.
          <volume>61</volume>
          , no 4, pp.
          <fpage>809</fpage>
          -
          <lpage>822</lpage>
          ,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>L.</given-names>
            <surname>Lyubchyk</surname>
          </string-name>
          , “
          <article-title>Disturbance rejection in linear discrete multivariable systems: inverse model approach”</article-title>
          ,
          <source>IFAC Proceedings Volumes</source>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Hou</surname>
          </string-name>
          , P. Muller, “
          <article-title>Design of observers for linear systems wits unknown inputs”</article-title>
          ,
          <source>IEEE Trans. on Automatic Control</source>
          , vol.
          <volume>37</volume>
          , pp.
          <fpage>871</fpage>
          -
          <lpage>875</lpage>
          ,
          <year>1992</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>L.</given-names>
            <surname>Lyubchyk</surname>
          </string-name>
          , “
          <article-title>Inverse model control and sub-invariance in linear discrete multivariable systems”</article-title>
          ,
          <source>in Proc. of 3-rd European Control Conference., Roma</source>
          , vol.
          <volume>4</volume>
          , part 2, pp.
          <fpage>3651</fpage>
          -
          <lpage>3659</lpage>
          ,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>J.</given-names>
            <surname>Lunze</surname>
          </string-name>
          , “Robust Multivariable Feedback Control”, Prentice Hall,
          <year>1988</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>