<!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>First Workshop on Online Learning from Uncertain Data Streams, July</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>of Unknown Dynamic Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Daniel Leite</string-name>
          <email>daniel.furtado@uai.cl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Evolving Control, Granular Computing, Dynamic Systems, Chaos</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Adolfo Ibanez University (UAI)</institution>
          ,
          <addr-line>2640 Diag. Las Torres, Santiago</addr-line>
          ,
          <country country="CL">Chile</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <volume>18</volume>
      <issue>2022</issue>
      <abstract>
        <p>We present an approach for data-driven modeling and evolving control of unknown dynamic systems called State-Space Evolving Granular Control. The approach is based on elements of granular computing, discrete state-space systems, and online learning. First, the structure and parameters of a granular model is developed from a stream of state data. The model is formed by information granules comprising ifrst-order diference equations. Partial activation of granules gives global nonlinear approximation capability. The model is supplied with an algorithm that constantly updates the granules toward covering new data; however, keeping memory of previous patterns. A granular controller is derived from the granular model for parallel distributed compensation. Instead of diference equations, the content of a control granule is a gain matrix, which can be redesigned in real-time from the solution of a relaxed locally-valid linear matrix inequality derived from a Lyapunov function and bounded control-input conditions. We have shown asymptotic stabilization of a chaotic map assuming no previous knowledge about the source that produces the stream of data.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <sec id="sec-1-1">
        <title>1.1. Evolving Granular Systems</title>
        <p>Evolving granular-computing models are structures with online learning, and summarizing
and representational capabilities [1, 2, 3, 4]. An evolving granular model is equipped with
an incremental algorithm that gradually builds its structure of interconnected elements. The
elements are called information granules. Granules features, their location, size and geometry
on search spaces, and the content they carry, may change at any time according: (i) to the
spatio-temporal patterns noticed on a numerical, word, image, or relatively-finer granular-data
stream; and (ii) to inter-granular relationships. From the dynamic aggregation of the local
estimates – ofered by the content of the current set of active granules – emerging nonlinear
and time-varying behaviors and outputs can be produced by the model, including those often
needed to track concept drifts and shifts.</p>
        <p>Evolving granular systems [1] is a general-purpose online-learning framework to construct
classifiers, regressors, predictors, and controllers in which at least one of several possible
https://sites.google.com/site/danfl7 (D. Leite)
aspects of a problem may assume a granular value. In other words, non-pointwise uncertain
characterization (e.g., interval, fuzzy, rough, statistical, and mixtures of uncertain objects) can
be admitted to: original data instances, pre-processed or space-transformed instances; to model
parameters, learning equations, covering regions, and so on [1, 3, 5]. Generalized constraints,
in the sense of Zadeh’s general theory of uncertainty [6], are used to delimit granules. Data
granulation, granular computation, and mapping granules of diferent domains are attractive
features to manage data uncertainty, to reduce complexity, and to reason in a structured and
more meaningful way from the point of view of human-centered systems [7, 8, 9].</p>
        <p>Evolving granular systems are aligned with issues and needs of Big data processing, fully
autonomous systems, and eXplainable Artificial Intelligence. The incremental evolution of
the structure of a granular model can be performed by supervised [10, 11], unsupervised
[12, 13], semi-supervised [14, 15], and weakly (inaccurately) supervised [16] algorithms. As the
algorithms operate on an instance-per-instance basis, they are generally very fast compared to
machine learning algorithms in general. Nonetheless, time granulation – aiming at reducing
the sampling rate of fast data streams and/or synchronizing concurrent data streams that are
provided at random time intervals – has also been discussed [1]. A time granule describes
the data stream for a certain time period. The result of dynamic time granulation is a unique
granule per segment, which can further be used as an input for spatial computation. Of concern
to the rest of this paper is state-space evolving fuzzy granular control only.</p>
        <p>Fuzzy control, as an instance of granular control, is a well-founded framework to deal with
complex nonlinear systems [17, 18, 19]. If the equations that describe a dynamical system are
known, an exact fuzzy representation can be obtained, e.g., by the Sector Nonlinearity method
[19, 20]. Thus, the accurateness on the assumptions toward obtaining nonlinear equations is
the sole aspect that restricts the performance of a fuzzy model-based controller applied to a
physical system to be similar to the performance required from the controller in computer
simulations. Data-stream-driven fuzzy control comes into play when the system equations
are time-varying, uncertain, and/or partially known or unknown [21, 22, 23]. In particular,
time varying systems imply a clear drawback on the use of ofline-designed model-based and
model-free control methods in general, since some initial assumptions and some parameters
inherent to the system change over time [21].</p>
        <p>Adaptive and evolving control, as well as model-free and model-based control, should be
diferentiated. Evolving control is a step toward a higher level of autonomy compared to adaptive
control and classical parameter identification methods [ 24, 25]. The evolving aspect accounts
for unbounded amounts of data, changing concepts, and structural adaptation. Evolving control
does not depend upon prior structural knowledge. In model-free control, the controller generally
receives error-related variables (after comparing sensor data and reference values) and outputs
control signals. In model-based control, besides accurate control signals, the accompanying
model may carry meaningful information about the underlying process and, therefore, allow
analysis of closed-loop system properties and the design of a controller oriented to attain certain
performance requirements. The possibility of analyzing stability, performance, and robustness
has given rise to a keen interest in model-based control [21, 26, 27].</p>
        <p>This paper presents a state-space variety of evolving granular model, which we call SS-EGM,
and an evolving granular control approach that we call SS-EGC. SS-EGC is designed based on
the SS-EGM aiming at parallel distributed compensation in a sense that closed-loop Lyapunov
stability and bounded control inputs are guaranteed [19, 21]. While stability is a fundamental
concern in control design, bounded inputs may avoid actuator saturation. SS-EGM observes
the dynamical system from a state data stream. The model provides one-step state estimates.
Its structure gives support to control design. Model granules and their contents may change
at any time step. In this case, the corresponding granules of the controller have their gains
redesigned from the solution of a relaxed linear matrix inequality (LMI). Eficient LMI parser
and solver, Yalmip’18 [28], and Mosek’20 [29], are utilized so that new gains for the changed
control granules are secured quickly in online environment.</p>
        <p>The efectiveness of the SS-EGM as a one-step predictor, and that of SS-EGC on regularizing
a chaotic system, known as the Henon map [30], is demonstrated. Chaotic systems are
nonlinear systems whose trajectories are sensitive to the initial conditions, parameter variations,
and perturbation. The stabilization of unknown chaotic systems is challenging since slightly
inaccurate parameter estimates may trigger undesired closed-loop behavior [31]. Although
trajectories of chaotic systems are bounded, this is not the case when the system is influenced by
control, that is, the solution may escape in finite time [ 32]. Broadly speaking, we have achieved
stabilization of unknown, nonlinear and nonstationary systems using no a priori information
and fully-autonomous online granular learning. We visualize applications on secure
communication, such as in smart IoT and synchronization of cyber-physical systems; suppression of
interference and artifacts in cardiac, electroencephalogram, and speech signals; and control
of switched and time-varying systems in general, such as mobile robots and unmanned aerial
vehicles, to mention some.</p>
      </sec>
      <sec id="sec-1-2">
        <title>1.2. Problem definition</title>
        <p>
          Consider a discrete, nonlinear and time-varying system,
x( + 1) =  (x(), u(),  )
y( + 1) = ℎ (x(),  ),
in which x() ∈   , u() ∈   , and y() ∈   are the state, input and output vectors at time step
 . The maps  and ℎ describe the relations (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ). Consider all states accessible. Then, y() = x() ,
and the output equation is omitted. The goal is to design a state feedback control law
u() =  (x(),  ),
such that a fixed point of the unknown map  , in particular the origin, is stabilized.
        </p>
        <p>
          Since  is unknown, the control law,  , can only be designed based on  ′ – a model of  . An
evolving granular model  ′ constructed from a stream of state data is considered. As  is time
varying in general, the model  ′ must be provided with mechanisms for learning from stream
data x() ,  = 1, ... . In other words,  ′ must be evolved over time to track the behavior of  . It
is expected that  is stabilized by the control u() if  ′ is a relatively accurate approximation of
 , and  is an appropriately designed control law.
(
          <xref ref-type="bibr" rid="ref1">1</xref>
          )
(
          <xref ref-type="bibr" rid="ref2">2</xref>
          )
        </p>
        <p>
          A solution x∗() of (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ), with initial condition x∗(0), is called chaotic if it is Lyapunov
unstable and all the solutions starting from some neighborhood of x∗(0)are bounded on (−∞, ∞).
        </p>
        <sec id="sec-1-2-1">
          <title>Stabilizing x∗() means to drive the states x() to x∗() , i.e.,</title>
          <p>
            lim (x() − x∗()) = 0.
→∞
(
            <xref ref-type="bibr" rid="ref3">3</xref>
            )
          </p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>2. State-Space Evolving Granular Model</title>
      <p>A discrete state-space fuzzy variety of evolving granular model is described. SS-EGM learning
emphasizes data coverage and memory of the past. The model aims to assist online LMI-based
control design for parallel distributed compensation.</p>
      <sec id="sec-2-1">
        <title>2.1. Basic framework</title>
        <p>We give an online learning algorithm to build a granular model with state-space consequent
from a stream of data generated by an unknown dynamical system. In general, the original
system equations are unknown, nonlinear and time-varying. A finite number of past states
x(), x( − 1), ..., x( − ) ; control inputs u(), u( − 1), ..., u( −  ) ; and other external variables
can be considered attributes. Nonetheless, we use descriptors of granules of the form</p>
        <p>THEN x ( + 1) =   x() +   u()
in which x() = [ 1() ...   () ...  Ψ()] , and u() = [ 1() ...   () ...  Φ()] . A variable
amount of rules   ,  = 1, ...,  , describes smooth granules boundaries and the granules content.
In evolving modeling,   is a matrix of appropriate dimension with variable coeficients; and
ℳ ,  = 1, ..., Ψ , are normal (height 1) trapezoidal membership functions defined by strictly
increasing parameters, ℳ
 = ( , 




, Λ


,</p>
        <p>), which are updated in light of changes of the system
states reflected on the data stream. We assume 
 = [1 0 ... 0 ] common to all rules, i.e., the
control input is applied to  1, without loss of generality. Superscript  on the left-hand side of
the consequent equation refers to a local one-step estimate.</p>
        <p>Afine terms are added to consequent matrices and state and control vectors as follows,
1</p>
        <p>0
 ̃ = [ 0   ],  ̃= [  ], x̃= [
a

0
x ], ũ = [  u0 ],
1
in which a0 = [ 10 ...  0 ...  Ψ0] ; and  0 is the controller ofset term, which is obtained

straightforwardly from the design method (Section 3). Granule descriptors are rewritten as</p>
        <p>THEN x ̃( + 1) =  ̃ x̃() +  ̃ũ()
We omit ‘() ’ from the time-varying membership functions ℳ</p>
        <p>The overall state estimate of the granular model is given by
 and system matrices   .</p>
        <p>
          (
          <xref ref-type="bibr" rid="ref4">4</xref>
          )
(
          <xref ref-type="bibr" rid="ref5">5</xref>
          )
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
(
          <xref ref-type="bibr" rid="ref7">7</xref>
          )
in which   is the rescaled activation degree of the  -th rule,

=1
x̃( + 1) = ∑
        </p>
        <p>x̃( + 1),

 =</p>
        <p>∑ 
=1
, so that   ≥ 0 and ∑</p>
        <p>= 1.

=1
Let the expansion region of ℳ</p>
        <p>be
obtain   from a similarity measure as follows.</p>
        <p>Rules activation degrees   ,  = 1, ...,  , can be determined by any T-norm aggregation [33],
i.e.,   =  ( 
1, ...,  Ψ), in which   is the membership degree of   () in ℳ

 . Nonetheless, we

 = [  − ,   + ],


in which  is the maximum width that ℳ</p>
        <sec id="sec-2-1-1">
          <title>In other words,</title>
          <p />
          <p>−   ≤ , ∀ ,  , at any time step  .
hyperbox enclosing the support of ℳ , that is, supp(ℳ ) ⊆ E .</p>
          <p>ℳ</p>
          <p>Define
a dynamical system. ℳ is obtained from the cylindrical extension of its components across the
 = [ℳ1 ... ℳΨ] as a Ψ-dimensional information granule within the state space of
state space. E = [ 1 ...  Ψ] is the expansion region of the granule ℳ . Geometrically, E is a</p>
          <p>Given a numerical instance x at instant  , the activation degree of the  -th granule is   =
( x, ℳ ) if x ∈ E – being (.) a similarity measure; otherwise   = 0. We use

, ∀ ,  , is allowed to expand to enclose a datum   .
( x, ℳ ) = 1 − 1
6Ψ  =1
Ψ
∑(| 
−   | + 2|  −  
 | + 2|  − Λ | + |  −   |).</p>
          <p>
            The value of  is equal to 1 – indicating maximum activation – if the trapezoids ( , 
∀ , are degenerated in singletons, and match x. The similarity reduces linearly as x withdraws
from ℳ
 in any dimension. In particular, the summatory function in Eq. (
            <xref ref-type="bibr" rid="ref8">8</xref>
            ) determines a



, Λ
, 


Hamming-like distance [11, 34].
          </p>
          <p>In online environment no granule exists a priori. Model granules are created and updated to
cover the state space. The amount of granules,  , increases by a unit if   = 0, ∀ . In this case,
 +1 = 1, i.e., the new granule matches the instance responsible for its own creation. A granular
structure and a granular input-output map evolve without human in the loop.</p>
        </sec>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. Online learning</title>
        <p>whose parameters match x() ,
An SS-EGM is generally built from scratch. The model retains new patterns if changes or
new behaviors arise in the flowing data. We describe a learning method that deals with
timevarying nonlinear dynamical systems and avoids time-consuming batch training – common to
conventional ofline and some online window-based learning methods.</p>
        <p>
          Expansion regions, E , (
          <xref ref-type="bibr" rid="ref7">7</xref>
          ), are essential to the decision on whether or not a new instance
belongs to a granule ℳ . Diferent values of the hyperparameter  ∈ (
          <xref ref-type="bibr" rid="ref1">0, 1</xref>
          ) produce diferent
granular representations of the same dynamical system. The lower the value of  , the larger the
amount of descriptors, and the greater the details the model can seize. However, if  approaches
0, a granule is created for each non-coincident instance, and the model becomes excessively
complex. In contrast, if  is equal to 1, a single granule covers all instances in the unit hypercube
(rescaled data), which is insuficient to nonlinear modeling and control.
        </p>
        <p>
          A granule is created if one or more entries of x() do not belong to the expansion regions E of
ℳ , ∀ ,  = 1, ...,  . The new granule ℳ+1 is built from trapezoidal fuzzy sets ℳ+1 ,  = 1, ..., Ψ ,

(
          <xref ref-type="bibr" rid="ref8">8</xref>
          )
 ),
ℳ+1 = ( ,   , Λ ,   )+1 = (  ,   ,   ,   ).
        </p>
        <p>
          (
          <xref ref-type="bibr" rid="ref9">9</xref>
          )
This is a bottom-up procedure since a granule starts as a point, and tends to enlarge shortly
afterwards. The opposite – top-down procedure – is also possible, that is, a granule can be
initialized as large as possible based on  , and shrink gradually.
        </p>
        <p>Subsequently, when x( + 1) is available, a supervised learning step is given by considering
the input-output pair, (x(), x( + 1)), and the Recursive Least Squares method [21, 24]. Thus,
 ̃+1 = [ a+1
1
0</p>
        <p>0
 +1 ] and  ̃+1 = [  +1 ],
0
with ofset coeficients initialized as

 0
+1 =
  ( + 1)
  ()</p>
        <p>,  = 1, ..., Ψ.
 ∗, in which
 ∗ =  
=1,...,
max (( x, ℳ ))
 +1 = [1 0 ... 0 ] is constant.</p>
        <p>Updating a granule ℳ</p>
        <p>
          ∗]of its components. Among all granules ℳ that can be expanded to include an x() ,
that with the highest similarity, ℳ
 ∗ consists in enlarging the support [ ∗, 


 ∗] and updating the core
is chosen. (.) is obtained from (
          <xref ref-type="bibr" rid="ref8">8</xref>
          ). Granular coverage of the space of states and model memory
to support control design are emphasized by: (i) avoiding typical granule deleting and merging
procedures [35, 36]; (ii) keeping the model granularity  constant; and (iii) considering the
following updating relations, which keep granules centers static:
for  = 1, ..., Ψ . Core parameters are updated from
        </p>
        <p>If   () ∈ [ 

∗
− ,   ∗] then   ∗( + 1) =   ()</p>
        <p>If   () ∈ [ 

∗
, 
 ∗ + ] then   ∗( + 1) =   ()</p>
        <p>Otherwise, 
 ∗( + 1) =  

 ∗() and   ∗( + 1) =   ∗()</p>
        <p>∗( + 1) = Λ  ∗( + 1) =


 ∗( + 1) +   ∗( + 1)

2
.</p>
        <p>The Recursive Least Squares method updates  ̃ ∗ [21, 24].</p>
        <p>The learning method creates a new granule ℳ+1 or adapts the parameters of ℳ ∗, accordingly.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Control Design</title>
      <p>
        From the granular state-space model, SS-EGM, we formulate conditions for closed-loop
Lyapunov stability and bounded control inputs as an LMI feasibility problem. The gain matrices of
the granular controller, SS-EGC, are derived automatically from the solution of a relaxed LMI
solved only for active granules in a time step. Some SS-EGC local gains are quickly redesigned
when their corresponding SS-EGM granules change.
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
(11)
(12)
(13)
(14)
(15)
(16)
in which   is the rescaled activation degree (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ).
      </p>
      <p>
        Having model and controller  rules, (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) and (17) combined yield the closed-loop system
ũ( + 1) = ∑
      </p>
      <p>ũ ( + 1),
x̃( + 1) = ∑
∑ 



  x̃(),</p>
      <sec id="sec-3-1">
        <title>3.1. Closed-loop system</title>
        <p>We consider parallel distributed compensation, i.e., evolving granular model and controller
share the same attributes. A control rule is given by</p>
        <p>THEN ũ ( + 1) =   x̃()
in which x̃() = [1  1() ...  Ψ()] and ũ() = [ 0()  1() ...  Φ()] .   ∈ ℜ(Φ+1×Ψ) is a gain
matrix – with ofset terms in the first column – to be determined in order to make the closed
loop system asymptotically stable and/or to drive the states faster and smoother to a reference.
Superscript  on the left-hand side of the consequent state feedback law means a local control
input. The overall control signal, efectively sent to actuators, is
(17)
(18)
(19)
(20)

=1
 
=1 =1

=1

&lt;
 ( x) = ∑ 
 x   x,
in which   &gt; 0, ∀ (positive definiteness). A stabilization result for the closed-loop system (18)
based on (20) is as follows [37].</p>
        <p>Result: The system (18) is asymptotically stable if there exist positive definite matrices
  = (  )−1 and matrices   and   ,  = 1, ...,  , such that
in which   ∶=  ̃ +  ̃  , or, equivalently,


=1
x̃( + 1) = ∑(  )2  x̃() + 2 ∑ 
  (

  +  
2
) x̃().</p>
        <p>If the unforced system is stable,   ∀ may be used to improve the transient response. Unstable
systems require suitable   ’s for stabilization primarily. An issue in online environment is that
granules ℳ , system matrices   , and the number of rules  , are time-varying. Local   ’s should
be reviewed after changes of the corresponding model granules.</p>
      </sec>
      <sec id="sec-3-2">
        <title>3.2. Lyapunov stability</title>
        <p>A fuzzy Lyapunov function is a fuzzy combination of quadratic functions of the system states,
  =   (  )−1,  = 1, ..., .</p>
        <p>The number of granules afects the complexity of the LMI analysis. Finding a Lyapunov
function for a large ‘ ’ may be dificult [ 19, 21, 26]. In view of the features of the SS-EGM
learning method, namely, inactive granules do not change, then, recalculation of gains (22) is
needed only for the active granules at a time step. Therefore, the number of rows and columns
of (21) can be greatly reduced by considering active granules only.</p>
        <p>Definition : The number of active granules,  , for an instance x() is equal to the number of
terms that make the rescaled activation degree   (x()) &gt; 0,  = 1, ...,  .</p>
        <sec id="sec-3-2-1">
          <title>Additionally, we reduce the number of concatenated rows in (21) by making matrices   ∀ and   ∀ equal to   ∀ , with   symmetric, to obtain a theorem.</title>
          <p>Theorem: The closed-loop system (18) is asymptotically stable if there are positive definite
matrices   = (  )−1, and matrices   ; ,  = 1, ...,  , such that
[</p>
          <p>− 
    +    
  (  ) +(  ) (  )
− 
are satisfied for all combinations of ,  = 1, ...,  – being  the number of active granules for an
instance x() .</p>
          <p>If a feasible solution to (23) is found, then the control gains assigned to the active control
granules are redefined as
[
  − (  ) −  
    +    
(  ) (  ) +(  ) (  )
−  
holds true for all combinations of , ,  = 1, ...,  . See [37] for a proof. If a feasible solution for
(21) is found, the controller gains are</p>
          <p>=     , ,  = 1, ..., .</p>
          <p>The gains related to inactive granules are kept as computed in previous time steps.</p>
          <p>The feasibility problem (23) is dynamic and convex. Finding a solution means that (20) is
Lyapunov for  = 1, ...,  ; and (18) is stable using   (24). The proof of the Theorem follows
analogously to that in the appendix of [21]. Eficient LMI parser and solver, Yalmip’18 [ 28], and
Mosek’20 [29], are available.
(21)
(22)
(23)
(24)</p>
        </sec>
      </sec>
      <sec id="sec-3-3">
        <title>3.3. Bounded input</title>
        <p>Being the state x() known, the following result applies for a bounded control input [19, 21].</p>
        <p>Result: Given positive definite matrices   , and matrices   =     ,  = 1, ...,  , as in (24). The
constraint ||u( + 1)|| 2 ≤  is enforced if
[ x(1)
x()</p>
        <p>] &gt; 0 and [  
(  )
 2
hold true for ,  = 1, ...,  . See [19] for a proof. We replaced the initial state x(0)in (25) by the
current state x() for online design. Parameter  bounds the maximum input, thus keeping it
within the operation range of actuators. The equations (25) are appended to (23) for a stable
granular controller satisfying input constraints.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Control of Chaotic Map: Result and Discussion</title>
      <p>The efectiveness of the SS-EGM and associated SS-EGC is assessed through a deterministic
chaotic system, the Henon map [30]. We use the Henon equations to generate a data stream.
State-space granular modeling and control are performed on the fly.</p>
      <sec id="sec-4-1">
        <title>4.1. Henon map</title>
        <p>The nonlinear equations of the Henon map are:
 1( + 1) =  2() + 1 −  1() 1()
 2( + 1) =  1().
(25)
(26)
(27)
The phase portrait for  = 1.4 ,  = 0.3 , and initial state x(0) = [1 0 ]is shown in Figure
2. In this case, [0.6314 0.1894]and [−1.1314 − 0.3394]are the fixed points of the map. In
general, if the orbit or trajectory spreads over the phase plane, we have a stochastic process.
As we see a deterministic orbit, then, we have chaos. In fact, the Henon map is a model of the
Poincaré section of the Lorenz system. Notice that the orbit of the unforced system settles into
an irregular oscillation – confined in a fractal set – which never repeats exactly.</p>
        <p>Aiming at stabilizing (26), i.e., driving the chaotic orbit x() to the origin x∗ = [0 0 ],
lim→∞ (x() − x∗) = 0, we add a control input, () , to the first relation. Thus,
 1( + 1) =  2() + 1 − 1.4 1() 1() + ()
 2( + 1) = 0.3 1().</p>
        <p>The online model-based granular controller is designed to opportunely inject values () to
lead the states x() to the origin x∗. The Henon system as in (27) is completely controllable
and observable. The states are considered measurable.</p>
      </sec>
      <sec id="sec-4-2">
        <title>4.2. Online modeling and one-step estimation</title>
        <p>Consider the controller, SS-EGC, of for   time steps. Then, () = 0,  = 1, ..., 

. We want
to assess the accuracy of the model, SS-EGM, in one-step prediction. The model is built from
scratch, with no knowledge about the dynamic system that produces the data stream.</p>
        <p>Let the root mean square error be
1


∑
  =1 √=1</p>
        <p>
          RMSE =
∑ (  ( + 1) − ̃( + 1) ) ,
2
(28)
in which x( + 1) is the actual value given by (27); and x̃( + 1) , given by (
          <xref ref-type="bibr" rid="ref5">5</xref>
          ), is the SS-EGM
estimate. Table 1 shows the one-step prediction results for   = 500, and diferent maximum
widths,  , allowed for the model granules.
One-step SS-EGM prediction based on diferent model granularities
        </p>
        <p>Granularity ( )</p>
        <p>Final Structure (# granules) RMSE
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
60
32
20
16
10
9
7</p>
        <p>We notice from Table 1 that the number of resulting granules and, therefore, the number of
SS-EGM parameters, reduces with the increasing of  , which facilitates further control design.
However, the SS-EGM accuracy reduces, and, in this case, the controller is designed for a worse
picture of the original system, which may lead worse-than-expected transient responses and
instability. A trade-of between accuracy and model compactness is observed.</p>
        <p>Figure 3 shows how the state space is granulated for  = {0.1, 0.2, 0.3, 0.5} , yielding more
detailed or coarser fuzzy partitions. Notice in the last of the graphs how wider supports of fuzzy
granules (larger boxes) start to embrace data on both upper and lower parts of the Henon moon
so that locally-valid estimates given by linear diference equations start to get confused with
respect to a positive or negative slope. As a consequence, some red dots (one-step prediction)
are noticed a bit farther from the black dots (actual values), specially in the middle, more curvy,
part of the moon. Figure 4 shows the SS-EGM structural evolution. The smaller the support
of the fuzzy granules, the more accurate the local model, but the more complex the LMI to be
solved for further controller adaptation.</p>
        <p>As an example, the parameters of an SS-EGM descriptor, using  = 0.3 at  = 500 , are:
Granule 1:
ℳ11 = (0.9382, 1.1437, 1.1437, 1.3491)
ℳ21 = (−0.1194, 0.0046, 0.0046, 0.1285)
Vector  1 = [0 1 0 ], which is common to all descriptors.
(29)</p>
      </sec>
      <sec id="sec-4-3">
        <title>4.3. Closed-loop stabilization</title>
        <sec id="sec-4-3-1">
          <title>Let the energy  x of the states x, for  ≠ 0 , be</title>
          <p>The granular controller, SS-EGC, is designed based on the model SS-EGM. Nonetheless, the
output of the SS-EGC is applied to the original Henon system (27). Thus, x is the actual system
state, i.e., we want to control a completely unknown chaotic system on the fly.</p>
          <p>Define the settling time,   , as the number of time steps from the application of the control
input,  , until all states, x, enter and remain within a 2% band around the origin, x∗. The
range of values of the system (26) are  1 ∈ [−1.2836, 1.2727]and  2 ∈ [−0.3851, 0.3818 ]. Thus,
 1() ≤  1(2%) = 0.0256, and  2() ≤  2(2%) = 0.0077, ∀ , after  ≠ 0 , determines   .
 x = ⟨x(), x()⟩ = ∑</p>
          <p>∑ |  ()| 2.

=1  ≠0
(30)
Particularly,  = 2 is the number of states; and  x is a measure of the energy of the closed-loop
system during the stabilization transient. We turned the controller on at  = 500 , and of
at  = 600 . The lower the values of   and  x, the better – as this implies that the chaotic
behavior was dissipated faster. Table 2 summarizes the SS-EGC closed-loop results for diferent
granularities,  , and upper bounds on the control input,  .</p>
          <p>We notice from Table 2 that an intermediate granularity,  = 0.3 , and a wider operation range
for inputs,  = 1.5 , provide the best closed-loop performance. As expected, larger values of 
cause higher modeling error, such that the controller is designed based on a less accurate model.
Therefore, in cases such as for the granularities 0.5 and 0.6, despite converging evidence, the
states still spiral on a band larger than 2% around x∗ after the 100 time steps with  ≠ 0 . To
illustrate the regularization of the chaotic behavior, Figure 5 shows the states convergence when
 is enabled at  = 500 . Figure 6 highlights the asymptotic convergence to the origin (0, 0)from
the phase plane perspective. Notice that the Henon states backtrack to their chaotic orbit when
the control is turned of at  = 600 .</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusion</title>
      <p>We described an evolving state-space variation of granular method to model and control
unknown nonlinear dynamical systems. The model SS-EGM and the controller SS-EGC have their
structures developed from scratch and their parameters updated over time. The online learning
method is particularly devoted to cover the data space and keep memory of past patterns.
Control gains are derived from a relaxed LMI feasibility problem and guarantee closed-loop
Lyapunov stability and bounded control inputs from parallel distributed compensation. Bounded
inputs avoid actuator saturation.</p>
      <p>We have shown asymptotic stabilization of the Henon chaos as an example. The results
remark a relatively low RMSE in one-step SS-EGM prediction, 0.0359; and a settling time of 17
steps using the original Henon equations in the loop and an intermediate granularity, 0.3. The
Henon equations are assumed unknown for any modeling and control design purpose. SS-EGM
notices the dynamic system by means of the data stream only. In the future we envision a
diversity of applications, such as on secure communication, artifact suppression in physiological
signals, and control of nonlinear time-varying systems in general, such as mobile robots and
unmanned aerial vehicles, to mention some. We should also address trajectory following control
and LMI-optimal design issues. A higher level of autonomy, structural adaptability, human-level
interpretability, and the possibility to deal with heterogeneous data streams have been achieved
by means of evolving granular computing.
Uncertain data modeling based on evolving ellipsoidal fuzzy information granules, IEEE
Transactions on Fuzzy Systems 28 (2020) 2427–2436.
[11] D. Leite, R. Ballini, P. Costa, F. Gomide, Evolving fuzzy granular modeling from
nonstationary fuzzy data streams, Evolving Systems 3 (2012) 65–79.
[12] C. Aguiar, D. Leite, Unsupervised fuzzy eix: Evolving internal-external fuzzy clustering, in:</p>
      <p>IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), Bari, 2020, p. 8p.
[13] L. Decker, D. Leite, D. Bonacorsi, Explainable log parsing and online interval granular
classification from streams of words, in: IEEE International Conference on Fuzzy Systems
(FUZZ-IEEE), Padua, 2022, p. 8p.
[14] D. Leite, L. Decker, M. Santana, P. Souza, Egfc: Evolving gaussian fuzzy classifier from
never-ending semi-supervised data streams – with application to power quality disturbance
detection and classification, in: IEEE International Conference on Fuzzy Systems
(FUZZIEEE), Glasgow, 2020, p. 9p.
[15] D. Leite, P. Costa, F. Gomide, Evolving granular neural network for semi-supervised data
stream classification, in: International Joint Conference on Neural Networks (IJCNN),
Barcelona, 2010, p. 8p.
[16] L. Decker, D. Leite, L. Giommi, D. Bonacorsi, Real-time anomaly detection in data centers
for log-based predictive maintenance using an evolving fuzzy-rule-based approach, in:
IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, 2020, p. 8p.
[17] R.-E. Precup, T.-A. Teban, A. Albu, A.-B. Borlea, I. A. Zamfirache, E. M. Petriu,
Evolving fuzzy models for prosthetic hand myoelectric-based control, IEEE Transactions on
Instrumentation and Measurement 69 (2020) 4625–4636.
[18] A. Nguyen, T. Taniguchi, L. Eciolaza, V. Campos, R. Palhares, M. Sugeno, Fuzzy control
systems: Past, present and future, IEEE Computational Intelligence Magazine 14 (2019)
56–68.
[19] K. Tanaka, H. O. Wang, Fuzzy control systems design and analysis: a linear matrix
inequality approach, John Wiley &amp; Sons, 2004.
[20] C. Aguiar, D. Leite, D. Pereira, G. Andonovski, I. Skrjanc, Nonlinear modeling and robust
lmi fuzzy control of overhead crane systems, Journal of the Franklin Institute 358 (2021)
1376–1042.
[21] D. Leite, R. M. Palhares, V. C. Campos, F. Gomide, Evolving granular fuzzy model-based
control of nonlinear dynamic systems, IEEE Transactions on Fuzzy Systems 23 (2015)
923–938.
[22] A. Bento, L. Oliveira, I. Scola, V. Leite, F. Gomide, Evolving granular control with high-gain
observers for feedback linearizable nonlinear systems, Evolving Systems 12 (2021) 935–948.
[23] L. Oliveira, A. Bento, V. Leite, F. Gomide, Evolving granular feedback linearization: design,
analysis, and applications, Applied Soft Computing 86 (2020) 105927.
[24] K. J. Astrom, B. Wittenmark, Adaptive Control, Prentice-Hall, Addison-Wesley, Boston,
2nd edition, 1994.
[25] L. Ljung, System Identification - Theory for the User, Prentice-Hall, Englewood Clifs, NJ,
1988.
[26] G. Feng, Analysis and Synthesis of Fuzzy Control Systems: A Model-Based Approach,</p>
      <p>Boca Raton, FL, US: CRC, 2010.
[27] A. Sala, T. M. Guerra, R. Babuska, Perspectives of fuzzy systems and control, Fuzzy Sets
and Systems 156 (2005) 432–444.
[28] J. Lofberg, Yalmip: A toolbox for modeling and optimization in MATLAB, in: IEEE</p>
      <p>International Conference on Robotics and Automation, 2004, pp. 284–289.
[29] E. Andersen, K. Andersen, The mosek interior point optimizer for linear programming:
An implementation of the homogeneous algorithm, in: High Performance Optimization,
Springer, 2000, pp. 197–232.
[30] M. Hénon, A two-dimensional mapping with a strange attractor, Communications in</p>
      <p>Mathematical Physics 50 (1976) 69–77.
[31] D. Leite, M. Santana, A. Borges, F. Gomide, Fuzzy granular neural network for incremental
modeling of nonlinear chaotic systems, in: IEEE International Conference on Fuzzy
Systems (FUZZ-IEEE), Vancouver, 2016, pp. 64–71.
[32] A. L. Fradkov, R. J. Evans, B. R. Andrievsky, Control of chaos: methods and applications in
mechanics, Philosophical Transactions of the Royal Society A: Mathematical, Physical
and Engineering Sciences 364 (2006) 2279–2307.
[33] G. Beliakov, A. Pradera, T. Calvo, et al., Aggregation functions: A guide for practitioners,
volume 221, Springer, 2007.
[34] V. Cross, T. Sudkamp, Similarity and compatibility in fuzzy set theory: Assessment and</p>
      <p>Applications, volume 93, Springer, 2002.
[35] I. Skrjanc, J. A. Iglesias, A. Sanchis, D. Leite, E. Lughofer, F. Gomide, Evolving fuzzy
and neuro-fuzzy approaches in clustering, regression, identification, and classification: A
survey, Information Sciences 490 (2019) 344–368.
[36] D. Leite, I. Škrjanc, F. Gomide, An overview on evolving systems and learning from stream
data, Evolving Systems 11 (2020) 181–198.
[37] G. Feng, Analysis and synthesis of fuzzy control systems: A Model-Based Approach,
volume 37, CRC press, 2018.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>D.</given-names>
            <surname>Leite</surname>
          </string-name>
          ,
          <source>Evolving Granular Systems, Ph.D. thesis</source>
          , School of Electrical and Computer Engineering, University of Campinas,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>D.</given-names>
            <surname>Leite</surname>
          </string-name>
          , G. Andonovski,
          <string-name>
            <given-names>I.</given-names>
            <surname>Skrjanc</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Gomide</surname>
          </string-name>
          ,
          <article-title>Optimal rule-based granular systems from data streams</article-title>
          ,
          <source>IEEE Transactions on Fuzzy Systems</source>
          <volume>28</volume>
          (
          <year>2020</year>
          )
          <fpage>583</fpage>
          -
          <lpage>596</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>C.</given-names>
            <surname>Garcia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Leite</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Škrjanc</surname>
          </string-name>
          ,
          <article-title>Incremental missing-data imputation for evolving fuzzy granular prediction</article-title>
          ,
          <source>IEEE Transactions on Fuzzy Systems</source>
          <volume>28</volume>
          (
          <year>2020</year>
          )
          <fpage>2348</fpage>
          -
          <lpage>2362</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>L.</given-names>
            <surname>Decker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Leite</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Viola</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Bonacorsi</surname>
          </string-name>
          ,
          <article-title>Comparison of evolving granular classifiers applied to anomaly detection for predictive maintenance in computing centers</article-title>
          ,
          <source>in: IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS)</source>
          ,
          <year>Bari</year>
          ,
          <year>2020</year>
          , p.
          <fpage>8p</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>D.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Pedrycz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <article-title>Granular data aggregation: An adaptive principle of the justifiable granularity approach</article-title>
          ,
          <source>IEEE Transactions on Cybernetics</source>
          <volume>49</volume>
          (
          <year>2019</year>
          )
          <fpage>417</fpage>
          -
          <lpage>426</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>L.</given-names>
            <surname>Zadeh</surname>
          </string-name>
          ,
          <article-title>Generalized theory of uncertainty (gtu) - principal concepts and ideas</article-title>
          ,
          <source>Computational Statistics and Data Analysis</source>
          <volume>51</volume>
          (
          <year>2006</year>
          )
          <fpage>15</fpage>
          -
          <lpage>46</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>W.</given-names>
            <surname>Pedrycz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Skowron</surname>
          </string-name>
          , V. K. (Eds.),
          <source>Handbook of Granular Computing</source>
          , Wiley,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>W.</given-names>
            <surname>Pedrycz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Gomide</surname>
          </string-name>
          ,
          <article-title>Fuzzy systems engineering: toward human-centric computing</article-title>
          , John Wiley &amp; Sons,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Yao</surname>
          </string-name>
          ,
          <article-title>Perspectives of granular computing</article-title>
          ,
          <source>in: IEEE International Conference on Granular Computing</source>
          ,
          <year>2005</year>
          , pp.
          <fpage>85</fpage>
          -
          <lpage>90</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>L. A. Q.</given-names>
            <surname>Cordovil</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. H. S.</given-names>
            <surname>Coutinho</surname>
          </string-name>
          , I. V. de Bessa,
          <string-name>
            <surname>M. F. S. V. D'Angelo</surname>
            ,
            <given-names>R. M.</given-names>
          </string-name>
          <string-name>
            <surname>Palhares</surname>
          </string-name>
          ,
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>