Abstract
The fuzzy logic controller (FLC) makes it possible to control a system using IF-THEN rules through human intellect. It tackles parameter uncertainty using imprecise reasoning. The fuzzy logic controller is usually tuned using offline methods. An online evolving adaptation of fuzzy controller design is a recent trend in fuzzy rule-based systems. The robust evolving cloud-based controller (RECCo) is one such controller implemented for single-input-single-output (SISO) systems. The membership functions and consequent rules are automatically updated in real time based on the input data. In this paper, a decentralized robust evolving cloud-based controller (DRECCo) is proposed for two-input-two-output (TITO) systems. It consists of two independent loops with RECCos having a nonparametric premise facet and an adaptive proportional-integral-derivative (PID) model consequent facet. The effectiveness of the proposed method is validated for the benchmark interacting two-tank process (ITTP) and quadruple-tank process (QTP) by simulation and in real time. The results indicate that with the information of loop pairing and the forward-acting/reverse-acting nature of the process, the proposed controller can adapt itself to ensure set-point tracking and disturbance rejection.
Keywords
Introduction
Many systems available in multiple industries are of the multi-input-multi-output (MIMO) type. The control of a MIMO system is complicated because of the interaction between the regulated and the manipulated variables. Fuzzy logic controllers (FLC) have achieved substantial success in the past decades because they can operate with imprecise models and can imitate human-like decision-making. Mamdani and Takagi Sugeno (TS) are different forms of fuzzy rule-based (FRB) systems (Ross, 2010). The main advantage of fuzzy logic is the ability to convert human intelligence into a sequence of logical rules. A sequence of IF-THEN rules should be specified for designing a fuzzy logic controller. Designing membership functions and writing rules for complex processes is difficult. Even when the developers are familiar with the use of linguistic variables in stating rules, the rules specified while designing may lead to problems such as the following:
Developers may set the rules, but they are not effective.
Information may have to be updated at runtime.
The intelligence given for a rule may be exact, but it may be inexact for another operating condition.
The rules established by the developer could mislead the performance of the fuzzy logic controller at the output stage.
Cara et al. (2010) and Cara et al. (2011) proposed an online adaptive fuzzy controller that uses input-output information to update the membership function and rules of the fuzzy controller. This approach provides a way to obtain self-evolved FLC when the knowledge of plants is not or partially available.
The fuzzy membership of a data sample is correlated with more than one set of data clouds with contrasting membership grades that have been established by spatial density in all data cloud samples. The conventional approach uses predefined and predetermined membership functions, such as sigmoid, trapezoid, and triangle type. In recent machine-learning standards, Cauchy kernels, Gaussian, and others have been conquered until the distribution portrayals deal with the real data density and data distribution. Based on this, a new mechanism of simplified FRB systems is introduced as a substitute for traditional FRB systems. A completely new framework to describe the preceding component is described, which was implemented as the newest class of fuzzy structure, and the preceding part of ANYA fuzzy rule-based (AFRB) system is nonparametric and precisely reflects the actual density and distribution of data (Angelov and Yager 2011, 2012). Table 1 lists the contrast between the typical FRB methods and the proposed one.
Various FRB’s and their dissimilarities.
Costa et al. (2013) introduced the design of a self-evolving first-order controller for a coupled tank based on the ARFB system. A new fuzzy controller that uses an ARFB structure (robust evolving cloud-based controller (RECCo)) was presented in Angelov et al. (2013). The major benefit of the robust evolving cloud-based controller is that the plant model is not required. Skrjanc et al. (2014) enhanced the robust evolving cloud-based controller. The idea is to adjust the basic parameters required by the control algorithm that uses the fundamental knowledge of the regulated process, such as input-output range, sampling time, and time constant. Different real-time situations have been studied by Andonovski et al. (2015a, 2015b) that used absolute values as an updated adaptation law to enhance the performance of the robust evolving cloud-based controller in the initial phase. A newly arrived cloud is incorporated as per the global data density and a smarter way of using localized density thresholds has been discussed in Andonovski et al. (2016a, 2016b), Andonovski and Costa (2017), and Andonovski et al. (2018). Additionally, the preceding component of the AFRB acquires the density across all existing samples of data and is thereafter determined recurrently.
The performance of the robust evolving cloud-based controller was evaluated on an actual heat exchanger and two-tank plants both by simulation and in real time, and a fuzzy and an adaptive fuzzy proportional-integral-derivative (PID) controller were implemented in Bhattacharya et al. (2003) and Kayacan and Kaynak (2009), respectively, for liquid level control. Basci and Derdiyok (2016) presented an adaptive fuzzy controller using a fuzzy identifier to maintain the levels of the liquid for a coupled tank and validated it in a hardware setup to show the interacting dynamics. Musmade and Patre (2013); Zheng et al. (2016); and Zhang and Chi (2020) presented various adaptive controllers such as sliding-mode control, model-free adaptive control, and fractional-order PID controllers. Hajare and Patre (2015) and Mahapatro et al. (2019) described the design of a decentralized PID controller for two-input-two-output (TITO) systems using characteristic ratio assignment and reduced-order model techniques, respectively. Simulations were conducted to validate the applicability of the controller, and it was tested in a practical coupled tank system. The modeling and analysis of four-tank systems for various phases are discussed in Johansson and Nunes (1998); Johansson et al. (1999); Johansson (2000); Astrom et al. (2002); and Zhou et al. (2015).
Studies available in the literature that are related to robust evolving cloud-based controllers have been limited to non-interacting process systems. This paper proposes a decentralized robust evolving cloud-based controller (DRECCo) that extends the application of the robust evolving cloud-based controller beyond non-interacting process systems, that is, an interacting process system. The proposed controller was implemented for two benchmark processes both by simulation and in real time to assess its effectiveness.
The DRECCo was configured with plant specifications and was initialized with the first set of data acquired. In addition, the gain values for the controller’s initial state are initialized as zero, and the remaining gain values are adapted in real time. In this approach, loop pairing information based on approximate models is also used to track the reference model, robustness against parameter uncertainties and disturbances. The remainder of this paper is organized as follows. The DRECCo algorithm is explained in Section 2. The mathematical model and parameters of the benchmark interacting two-tank process (ITTP) and quadruple-tank process (QTP) are explained in Section 3. In Section 4, the performance of the DRECCo is validated for the benchmark processes by simulation and in a real-time hardware setup. In Section 5, a summary is presented.
DRECCo algorithm
The DRECCo algorithm has two loops containing one robust evolving cloud-based controller for each loop and one adaptive PID controller for each cloud/rule pair. The DRECCo can adapt itself, that is, by adding fresh clouds (premises) with fuzzy rules, in real time such that the integral square of deviation between the reference model output and the process output is minimized. A schematic of the proposed approach is shown in Figure 1.

Schematic block diagram.
Controller description
The DRECCo is composed of two individual loops that contains three sections namely the reference system, evolving law, and adaptation law in each loop. The reference system produces the reference model output, which is to be compared with/tracked by the process output. The evolving law updates the DRECCo structure for each dataset. The adaptation law adapts the PID controller gains to the rule to achieve the desired set point. The DRECCo has the following form
The fuzzy membership can be defined by ∼, which is linguistically interpreted as “is associated with.”

Schematic diagram of DRECCo controller.
Clouds are subsets of data samples that remain close together in the entire dataset. The closeness of a dataset to a cloud is defined by the relative density, which is computed using a preferred kernel (Cauchy), which is the distance from the current sample to all other data samples in a cloud; when the plant is started, the first cloud (i.e., first rule) is automatically formed from the first dataset, and an associated subsequent part with PID type is initialized with all its parameters being zero. The controller gains will be modified for each sample obtained, and if concrete rules are met, a new cloud will be created.
The present data
The PID model control was used for the subsequent part for every cloud. That is, each cloud has its own PID settings. The PID-type consequent facet is expressed as shown in (2)
Composition of the proposed DRECCo algorithm
The reference system
The desired closed-loop dynamics are specified in terms of the reference model given in equations (3) and (4)
Where
Evolving law
The evolution process of the proposed controller is described in this section. The following three conditions must be satisfied to obtain a new cloud during the evolving process:
How close is the new dataset to the current dataset in the clouds?
How much time should be taken to form a new cloud?
How many clouds are allowed?
All the conditions were checked with the expressions
The relative density can be calculated recurrently as
where
Adaptation law
The DRECCo uses two PID model subsequent facets for adaptation, and the parameter vector is expressed as (12). The leading cloud quantities are initialized with a null state (13), and the PID gains are calculated as in (14) in the preliminary state, while all successive clouds are adjusted as in (15)
By classifying the new regression coefficient in a group of clouds, the gain values are updated using the gradient-descent method (16) with a cloud having maximum local density, whereas the other clouds’ scope remains constant
βP, βI, βD, and βW are the controller gains that adapt themselves during the process, ρ is the sign of the process gain and is given as
The resultant control signal is expressed as in (18) and (19)
The integral and derivative parts of the tracking error are calculated as given in (20) and (21) for clouds C1 and C2, respectively. The weighted mean method for U1k and U2k is eventually employed to defuzzify the process using (22) and (23), and the control parameter was calculated as (24)
Implementation aspects to prevent drift in controller parameters
While addressing the adaptive controllers, it is required to know the prerequisites of instability issues caused by parameter drift while adjusting the parameters of a system (Rohrs et al., 1985). Few strategies for achieving robustness of the RECCo towards system instability were described in Andonovski et al. (2016a, 2018) and Skrjanc et al. (2014). These methods are used in the proposed DRECCo algorithm to mitigate the negative influence of dependents and process disturbance and finally eradicate the pure integral operation of the adaptive law. They are explained are as follows.
Dead zone
The system’s stability is always jeopardized when parameters are adapted in a closed loop. The adaption is triggered with an error signal which is the difference between the plant dynamics and the perturbations. If the error is small, continuous adaptation may lead to an inaccurate adaption (Peterson and Narendra, 1982). Instead of conserved perturbations, the main idea of the dead-zone strategy is to halt the adaptation law when the normalized value of the tracking error becomes less than the lower limit. Therefore, the algorithm requires a dead zone in (15) to augment the strength under unclear confined disturbances and computational mistakes
In order to improve the controller’s adaptiveness, the dead zone parameter dD must be somewhat bigger than the process perturbations. A higher margin value signifies a faster adaptation time and greater deviation in terms of error, whereas a lower margin value indicates parameter drift. The dD value is taken as 0.05 for all the experiments.
Parameter computation
Mapping or computing the parameters onto a compact set is a simple way to avoid parameter drift (Kreisselmeier and Narendra, 1982). For the positive plant gain, all parameters should be constrained by 0 at the lower limits and the upper limits may be provided or not. This strategy was intended to ensure that the parameter computation remained within the deterministic region
In this work, the lower limit (
Leakage
The leakage concept is based on the fact that the discrete integration in adaptive law (15) poses a possible danger to the adaptive scheme. There are various kinds of leakages, such as σ modification (Ioannou and Kokotovic, 1984), which strengthens the control algorithm to achieve better robustness. The use of leakage in the adaptation law is a prominent/familiar method to improve the robustness of the control algorithm (Andonovski, et al., 2016a, 2018; Skrjanc et al., 2014). The inclusion of leakage in (15) enhances the robustness of the algorithm, which results in the adaptation law
where σLeak = amount of the leakage.
Interruption
The variation of PID gains (
Computation procedure
Mathematical modeling
The modeling of the ITTP and QTP is illustrated in this section.
ITTP
The ITTP is a benchmark process for TITO systems comprised of two interlinked tanks and two pumps. In this type, two inputs are given to the two tanks separately and both the outputs are coupled together for interaction with each other. Figure 3 presents the schematic design of the ITTP. Tanks T1 and T2 were identical cylindrical tanks. These two tanks were interlinked using a manually operated valve. P1 and P2 are variable-frequency drive pumps feeding T1 and T2, respectively. The T1 and T2 tank levels are referred to as h1 and h2, respectively. The tank levels are maintained at a certain value by varying the input of the variable-frequency drives that control pumps P1 and P2, respectively.

Schematic diagram of ITTP.
For ITTP, the mass balance equation at an unsteady state is given by
The nonlinear equations are derived as
where h1= height of Tank1 (cm), h2 = height of Tank2 (cm), A1= cross-sectional area (Tank1, cm2), A2= cross-sectional area (Tank2, cm2), a1= cross-sectional area (Tank1’s outlet, cm2), a2= cross-sectional area (Tank2’s outlet, cm2),a12 = cross-sectional area (interacting pipe (Tanks 1 and 2, cm2), Qin1, Qin2= tanks’ rate of inflow (cm3/s), g= specific gravity(cm3/s), k1,k2 = valve ratio of the outlet of Tanks 1 and 2, k12 = interacting valve ratio= pump constant for Pumps1 and 2(cm3/v-s), u1, u2 = input voltage for Pumps 1 and 2 (volts).
QTP
The QTP is a benchmark process that comprises four interlinked tanks and two pumps. A schematic of the process is shown in Figure 4. The process inputs are

Schematic diagram of quadruple tank process.
From the basic first principles
where
The transfer matrix is as follows
where
Results and discussions
In this segment, the proposed DRECCo was implemented for two benchmark processes, and a reference signal with a flight of stairs was chosen to cover the maximum range of the process. The parameter values used for both the simulation and the hardware setup are presented in Table 2.
Control parameters used in the simulation and hardware setup.
Hardware setup
The hardware setup used for the two benchmark processes is illustrated in Figure 6. It is a multitank setup that can be made to operate in several configurations by adjusting the ball valves. The bottom tanks T1 and T2 are used for the ITTP. For the QTP, four cylindrical tanks (T1, T2, T3, and T4) were configured as shown in Figure 5. Pressure transmitters (LT1 and LT2) were used to measure the height of the tanks. They are calibrated such that a maximum height of 38 cm gives a value of 100% (i.e., 100%=38cm). The input flow rates can be adjusted by setting the frequency of the variable-frequency drives (VFD) running the pumps. The hardware setup was interfaced with a computer running Laboratory Virtual Instrument Engineering Workbench (LabVIEW). All the preliminary parameters that were provided during the simulation were provided as initial parameters while performing the experiments.

Open loop response of interacting two tank process.

Hardware setup of the tank system.
The open-loop response for the ITTP is shown in Figure 5. The heights (h1, h2) of the tanks (T1 and T2) were initially maintained at 50% and 40% of their rated height, respectively, by running the pumps (P1, P2) at 50% and 40% of their rated speed using variable-frequency drive 1 (VFD1) and variable-frequency drive2 (VFD2), respectively. Then, the speed of P1 is changed from 50% to 60% of its rated speed by keeping the P2 speed constant, and the heights of the tanks are logged. The same procedure is repeated by changing the speed of P2 from 40% to 50% of its rated speed by keeping the P1 speed constant.
Loop interaction analysis (ITTP)
The interaction in the process brings the system to nonlinear behavior; hence, it is important to pair the exact input to control the exact output. The relative-gain array (RGA) is a classical method for selecting the optimal input-output pairing for multi-variable process control systems, which is denoted as (
The transfer function is taken from the open-loop response of the ITTP
The steady-state gain matrix is given by putting s=0 in (34)
The output is represented as
where gij=steady-state gains of the process transfer function G(s)
where * is the scur product
The below is from the guidelines to be adopted for input-output pairs (Luyben, 1999; Kadhim et al., 2016; Seborg and Edgar, 2011):
Select the matching input-output pairs that are suited to the RGA elements closer to 1.
Avoid coupling with vast or pessimistic RGA elements.
Therefore, in the decentralized loop control, the control input
The operating points for the QTP at the NMP and transfer function are resolved as follows
The interaction of loops (QTP)
The RGA for the MP to maintain the height of the tanks is as follows
From this analysis, the control input u1 is paired with output y1, and the control input u2 is paired with output y2.
The RGA for the NMP to maintain the height of the tanks is as follows
Therefore, in the decentralized loop control, the control input u1 is paired with y2, and the control input u2 is paired with y1.
Simulation results
The simulation starts with zero fuzzy rules. The membership functions were automatically learned and adapted to throughout the simulation process. The dead zone (dD) was selected as 1% of the process range. The minimum and maximum bound are chosen as 0 and ∞ for the PID controller gains; at the same time, compensation gain is -∞ for minimum bound and the σLeak is given as 10-6. The algorithm was examined using integral performance indices.
Integral absolute error (IAE) is as follows
Integral squared error (ISE) is as follows
where
For ITTP
The closed-loop response along with the step change and output perturbation of the proposed controller is shown in Figure 7. The top plots in the figure show the desired set points, the response of the reference models, and the response of the process. The middle plots similarly show the control actions, and the tracking errors are depicted in the lower plots. The step changes in set points are applied at regular intervals (500 s) until the 2500 s and irregular intervals for the remaining period. Positive step disturbances of magnitude 2 cm were added to the output at 130 s and 1800 s, respectively. Similarly, negative step disturbances of magnitude 2 cm were added to the output at 3100 s and 3600 s, respectively. It can be observed from the figures that even if the controller is started with zero fuzzy rules and with bare minimum knowledge of interaction, it is capable of building the fuzzy rules and tracking the reference model output and eliminating the effect of disturbances in the outputs. The formation of clouds is shown in Figure 8. Table 3 shows the performance and step response measures of the proposed controller for the second step (i.e., 500–1000 s).

Closed loop response of ITTP.

Formation of clouds.
Performance and step response measures for the ITTP.
Robustness of the proposed controller
The unique feature of the ITTP is that, based on the height of the liquid level in both tanks, the direction of the interflow between the tanks reverses, which results in a discrete jump of the process model from one mode to another. To test the robustness of the DRECCo against the discrete change in the dynamics of the process, a step change is initially provided such that h1>h2. Once the process is settled, another step change is applied, such that h2>h1. That is, in the beginning, the height of T1 is 25 cm and that of T2 is 15 cm until 750 s. After that, the reference height of tank T1 was set as 15 cm and that of T2 was set as 20 cm, and the results are shown in Figure 9. Because the controller starts with zero fuzzy rules, it takes some time for the controller to learn. During the first step, the response has more overshoot. Once the controller has learned some information, it is capable of tracking the reference model outputs, as can be observed from the second step. In addition, a step disturbance of +2 is applied to the first tank output between400 s and 600 s. Again, a step disturbance of -3 was applied between1100 s and 1300 s in the second tank output. The proposed controller maintained the level of both tanks.

Closed loop response with H2 greater than H1.
For QTP
The closed-loop responses for MP and NMP are shown in Figures 10 and 11, respectively, in which the top plots show the desired set points, the output of the reference models, and the responses of the process. Likewise, the middle plots show the control actions and tracking errors in the lower plots. Step changes in set points are applied at regular intervals (500 s) until 2500 s and irregular intervals for the remaining period. Positive step disturbances of magnitude 3 cm were added to the output at 1300 s and 1800 s, respectively.

Closed loop response with input and output perturbation (MP).

Closed loop response with input and output perturbation (NMP).
Similarly, negative step disturbances of magnitude 3 cm were added to the output at 3200 s and 3800 s, respectively. From the figures, it can be observed that even if the controller is started with zero fuzzy rules and with bare minimum knowledge of interaction, it is capable of building the fuzzy rules and tracking the reference model output in addition to eliminating the effect of disturbances in the outputs. For the second step, that is, 500 to 1000 s, the performance and step response measures for the MPand NMP are tabulated in Tables 4 and 5.
Performance and step response measures for the QTP (MP).
Performance and step response measures for the QTP (NMP).
Hardware results
For ITTP
Initially, the process was started under an open loop. When the process is in a steady state, a DRECCo is turned ON. The response of the process after the DRECCo is turned ON as shown in Figure 12. It shows the desired set points, the response of the reference models, and the response of the process. Step changes in set points are applied at irregular intervals, and an external disturbance of 350 ml and 400 ml of water was added to T1 and T2 at 750 s and 1050 s, respectively. From the graph, it can be observed that the reference model is tracked, and disturbances are eliminated.

Closed loop response of ITTP.
For QTP
Figures 13 and 14 show the closed-loop responses of the QTP for MP and NMP, respectively, which show the desired set points, the output of the reference models, and the responses of the process. Step changes in the set points were applied at irregular intervals. At external disturbance of 400 ml, 350 ml of water is added in Tank 1 and Tank 2 at 900 s and 500 s, respectively, for the MP. For the NMP, an external disturbance of 400 ml of water is added in both tanks at 700 s and 980 s, respectively. From the graph, it can be observed that the output tracks the reference model and eliminates disturbances.

Closed loop response of QTP (MP).

Closed loop response of QTP (NMP).
Conclusion
In this study, a DRECCo was proposed. The key benefit of the proposed controller is that it requires minimum initial parameters, such as loop pairing information based on an approximate model and can start with zero antecedent parameters and fuzzy rules. The DRECCo was implemented on two benchmark nonlinear processes (ITTP and QTP) in the simulation as well as in the hardware setup. Reference model tracking and disturbance rejection responses are presented. It can be observed that a DRECCo can track the reference model output for the entire operating range once it learns some information about the process. The robustness of DRECCo against disturbances and variations in process dynamics was also discussed. However, a DRECCo has limitations in its ability to overcome strong interactions, as in any other decentralized controller. Future research may focus on developing centralized RECCo that can operate against strong interactions, even with zero process knowledge.
Footnotes
Acknowledgements
The authors express their gratitude to Thiagarajar College of Engineering, India, for their extensive support. The authors take this opportunity to express their sincere gratitude to Dr S. Baskar and Mr M. Varatharajan for their valuable guidance.
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by The Institute of Engineers (INDIA) IEI R&D Grant-in-Aid Scheme, (Ref: R.6/2/DR/2019-20/DR2020015, dated 7 February 2020).
