1. Introduction
Since its come up in the 70´s, decentralized control has been an important practice-oriented advanced control approach. Various decentralized control methodologies have been developed to deal with the challenge of controlling complex and/or spatially distributed systems with multiple inputs and multiple outputs (MIMO systems) such as chemical plants, interconnected electrical power systems with strong interactions, water treatment plants, etc.
Typically, complex systems are made up of several mutually interacting subsystems whereby each subsystem operates relatively independently having its own sub-objective contributing to the global objective of the overall system. In complex systems control, major problems arise due to interactions among subsystems; if they are strong, multivariable controllers have to be used. Due to practical reasons, restrictions on the controller structure may be reasonable and even inevitable. In the extreme case, when the multivariable controller of the overall system splits into individual local feedback loops it becomes a decentralized controller. Generally, such constraints on controller structure bring about a certain performance deterioration compared with centralized controllers, however counterbalanced by significant practical benefits such as simplicity of controller design as well as hardware, operation, and reliability improvements. Decentralization and decomposition are effective tools to overcome difficulties specific for complex systems namely high dimensionality, information structure constraints and uncertainty [
3].
Decentralization has gained a foothold throughout the development of modern control systems. Distributed control systems (DCS) are used in the innovative process industries as an extension of traditional controllers. Their major concept is derived from the idea of decentralizing the control unit and establishing a common network between the engineering stations with autonomous controllers distributed throughout the system with a central operator supervisory control [
4]. Since the 80’s as microprocessors became more powerful and cheaper, they could have been embedded in remote devices and components to perform dedicated specific functions including control ones in a communications network close to the processes they control. In the last few years, convergence of the cyber and the physical spaces has further transformed traditional embedded systems into cyber-physical systems (CPS) characterized by tight integration and coordination between computation and physical processes by means of networking. Examples of CPS include a wide range of large-scale engineered systems such as avionics, healthcare, transportation, and smart grid systems [
5]. In general, the use of distributed information and control structures such as networked systems, embedded systems, or cyber-physical systems requires to synthesize control laws in a constrained (decentralized) information structure.
Decentralized control has been the most common control scheme for MIMO systems since the 70’s. Various design approaches and techniques have been developed both in the time and the frequency domains. The first major frequency domain multivariable design techniques were based on a generalization of the classical SISO concepts. In the 80’s, robust approach to the decentralized control design was commonly used. Key theoretical results in the seminal paper [
6] show how classical SISO statements of the feedback design problem in face of uncertainties can be generalized to MIMO systems. Based on how the interactions between subsystems are handled in the design process, the developed design techniques have been classified as 1. fully coordinated design (simultaneous) design, 2. sequential design, and 3. independent design [
7,
8,
9,
10]. According to the first approach, diagonal controllers are designed simultaneously, and the result is theoretically optimal but offering only few of the decentralized control benefits. The second approach allows to design local controllers sequentially applying time decomposition; fast loops are closed first, and the previously designed controllers must be considered when closing subsequent slower loops. This approach, however, does not guarantee failure tolerance. By the third approach, each local controller is designed based on the respective decoupled subsystem such that each local control loop is stable. The resulting diagonal controller guarantees stability and a proper operation of individual parts of the system, however at the cost of conservative sufficient stability conditions to be met. Usually, off-diagonal interactions cannot be simply neglected but have to be appropriately considered in the local designs. In the industrial practice, decentralized controllers are frequently used with decouplers to minimize interaction or to make the system diagonal dominant prior to designing local controllers [
11,
12,
13].
In the frequency domain, stability with respect to model uncertainty (robust stability) is usually assessed by means of stability margins and sensitivity peaks. However, only a limited number of works address MIMO controller tuning in terms of gain and phase margins, mostly just for two input-two output systems and simplified models of decoupled subsystems [
14,
15]. The Equivalent Subsystems Method (ESM) is a Nyquist-based decentralized controller design method for specified performance [
16,
22,
23] further augmented to integrate the general robust stability condition into local designs [
1,
10,
17,
18]. The method is applicable for uncertain square MIMO systems with arbitrary number of subsystems modelled using non-parametric uncertainty. As the method is based upon frequency plots, individual subsystems can be of any order even with unstable zeros and time delays. The design procedure is similar for SISO and MIMO systems and both continuous and discrete-time controllers. According to the principal modification proposed in this article, local controllers of equivalent subsystems are designed using the standard QFT method [
19]. Combination of the ESM and the QFT methods brings about surprising benefits, mainly reduced design conservatism as well as possibility to specify arbitrary performance requirements for the overall system and ensure their fulfillment by translating them into frequency domain specifications for equivalent subsystems.
The article is organized as follows:
Section 2 provides a concise theoretical background on the topic and formulation of the problem to be solved. In
Section 3, principles of the Equivalent Subsystems Method (ESM) and the standard QFT compensator design are presented; these two methods are the core of the proposed enhancement of the unified robust decentralized controller design method presented in
Section 4. The developed design procedure is demonstrated in detail and verified on a case study on the robust decentralized controller design for the quadruple tank process [
2] in
Section 5. Discussion on achieved results is in
Section 6.
2. Preliminaries and Problem Formulation
Consider the standard closed- loop in
Figure 1 where P(s) is a
transfer function matrix modelling the MIMO controlled plant with m inputs and m outputs,
and C(s) is a
transfer function matrix of a controller; r, e, u, y and d denote respectively the reference, control error, control action, output and input disturbance variables.
Necessary and sufficient stability conditions for the MIMO closed loop are expressed in the Generalized Nyquist Stability Theorem.
Theorem 1. (Generalized Nyquist Stability Theorem, [7])
Suppose that P(s) and C(s) are minimal realizations of a MIMO controlled system and the controller, respectively. Then, the closed-loop inFigure 1 is internally stable if and only if
where is the open-loop transfer function with no internal right half-plane pole-zero cancellations between and is the number of anticlockwise encirclements of (0,0j) by is the number of unstable poles of is the Nyquist contour; I is the identity matrix; are characteristic functions of defined as:
Remark 1:
The Nyquist contour is a large contour in the complex plain consisting of the imaginary axis , where is a radius of a semicircle in the right half-plane large enough to encircle unstable poles of ; if there are any poles on the imaginary axis, is intended to the left-half plane to include them.
Remark 2:
Characteristic loci (CL) are traced out in the complex plane by characteristic functions of Q(s) as s traverses the Nyquist contour .
Let the mathematical description of an uncertain MIMO plant with equal number of inputs and outputs be given as a set of square transfer matrices; such a specification is used if the MIMO system has been identified in several (N) working points.
The set
of transfer matrices is given as:
where
and individual entries of the transfer matrix (5) are in the general form:
The uncertain system (4) can be modelled using the nominal model and a suitable uncertainty model that properly quantifies the difference between the real and the nominal system dynamics. The nominal model
is usually obtained as a mean value parameter model [
1,
7,
8] or can simply be selected as any from the set of transfer matrices (4), [
19].
The uncertainty can be described as parametric (structured) or nonparametric (unstructured) [
7]. When nonparametric uncertainty is considered, the set
is generated using any of 6 types of unstructured uncertainty models [
1,
7] and the upper bound on its spectral norm. In case of parametric uncertainty, knowledge of the structure of all elements of
is assumed while their parameters may vary within a given compact set.
Using parametric uncertainty, the uncertain SISO system is described by (4) where individual entries (6) have a uniform structure (
and the superscript k is omitted for readability):
with varying coefficients of numerator and denominator polynomials.
By defining interval polynomials of the numerator and denominator using the lower and upper limits of their uncertain coefficients as follows:
the corresponding interval system reads as:
A controller that guarantees closed-loop stability over the whole uncertainty region as defined by the set of uncertain plant models (4) and modelled using a selected type of uncertainty (parametric uncertainty in our case) is called a robust controller. Being designed for the nominal model selected from the set (4), the robust controller has to guarantee nominal stability first. Thus, nominal stability is a prerequisite for robust stability.
Main results on parametric approach in robust control evolve from the Kharitonov’s theorem which gives a necessary and sufficient robust stability condition of an interval family of polynomials. An overview of the robust analysis results, generalization of the Kharitonov’s theorem, the Edge theorem and related results can be found e.g. in [
20].
The frequency-domain QFT controller design methodology presented e.g. in [
19] and references therein allows to synthesize a compensator that guarantees closed-loop robust stability of the interval system (10) while respecting bounds imposed by performance requirements as well. In the sequel, we will build on this approach.
Consider the uncertain MIMO system (4) which is an interconnection of
subsystems and has
inputs and
outputs. This type of uncertain MIMO systems can be modelled as a set of square transfer function matrices (5) having the form:
To design a robust decentralized controller, the transfer matrices (11) have to be recast into a single transfer matrix which entries are in form of interval systems (8-10).
To design a decentralized controller, all transfer matrices (11) will be split according to regular splitting [
21] as follows (the superscript
is omitted for simplicity):
where the nonsingular diagonal matrix
describes the dynamics of decoupled subsystems, and the off-diagonal entries collected in
correspond to interactions.
2.1. Problem Formulation
Consider an uncertain MIMO system with
inputs and
outputs consisting of m subsystems,
given as a set of
transfer function matrices (4). Let each transfer function matrix can be split into the diagonal and the off-diagonal transfer matrices
and
, respectively:
here
and
are respectively transfer matrices of decoupled subsystems and interactions among them.
A decentralized (diagonal) controller (15)
is to be designed to guarantee closed-loop stability and required performance over the whole operating range of the uncertain system (4).
The design problem will be solved in the frequency domain as independent design based on the Equivalent Subsystems Method [
1] to allow considering parametric uncertainty in the design of local controllers as well as properly formulated performance requirements.
3. Methods Applied in the Solution
To solve the robust decentralized controller design problem as formulated in
Section 2.1, a design procedure has been developed based on two frequency-domain design methodologies:
the Equivalent Subsystem Method (ESM), which provides a framework for the independent design of local controllers constituting the decentralized controller to guarantee closed-loop stability of the overall system; and
the Quantitative Feedback Theory (QFT), to design a minimum structure local compensators guaranteeing robust stability of uncertain SISO systems with parametric uncertainty as well as fulfillment of properly specified performance requirements.
Both methods are graphical and based on nonparametric models of the controlled system and related frequency dependencies. The design procedure is thus graphical, insightful, and interactive and even intermediate results have an immediate visual interpretation.
3.1. The Equivalent Subsystems Method
The Equivalent Subsystems Method (ESM) is a Nyquist-based decentralized controller design method for stability and specified performance. It relies on the factorization of the closed-loop characteristic polynomial of the feedback system in
Figure 1:
where
is a decentralized (diagonal) controller (15).
Characteristic functions
of
are defined as follows:
In terms of stability,
can be replaced by its characteristic function matrix in the sense of the Cayley-Hamilton Theorem:
where
is one (arbitrary) selected characteristic function.
As a result, (16) modifies to:
Using the following notation in the bracketed term on the right-hand side:
the diagonal matrix of equivalent subsystems is defined by (20).
As the analytical calculation of characteristic functions is not straightforward and sometimes even unfeasible, they are computed frequency-by-frequency; as a result, individual equivalent subsystems are generated according to:
which are frequency responses of individual decoupled subsystems shaped by a selected characteristic locus of the matrix of interactions.
Substituting (20) into (19) after a small manipulation yields the key result:
Considering (21), a further manipulation of the r.h.s. of (22) results in:
From (22) and (23) results that necessary and sufficient closed-loop stability condition for the overall system under a decentralized controller is guaranteed if and only if each closed-loop equivalent subsystem under its related local controller is stable. The above development is summarized in Theorem 2 which reformulates the conditions of the Generalized Nyquist stability theorem (Theorem 1) for a MIMO system under a decentralized controller.
Theorem 2. (MIMO stability under a decentralized controller [
1])
The closed loop in Fig. 1 comprising a MIMO system (13) and a decentralized controller (14) is stable if and only if there exists
such that
From the Theorem 2 follows that a decentralized controller guaranteeing stability of the overall closed-loop system is composed from local controllers independently designed for individual equivalent subsystem using any SISO design. The ESM-based decentralized controller design is applicable for square MIMO systems of any dimension with stable interactions. By integrating robust stability conditions into the local controller designs it can be extended to design robust controllers.
Since equivalent subsystems are generated in the form of frequency characteristics, it is recommended to use following frequency domain design methods:
3.2. QFT Design
The Quantitative Feedback Theory, QFT is a frequency domain engineering method to design robust controllers developed by is Isaac Horowitz [
24], founder of an important scientific school. This robust feedback compensator synthesis methodology is based on classical feedback control theory and allows simultaneously 1. to reduce the impact of model uncertainty, while 2. satisfying properly specified performance requirements for each realization from a given set of uncertain systems.
QFT solves the above problems by designing a single (robust) compensator capable to simultaneously achieve multiple desired performance specifications (including stability, rejection of input and output disturbances, limitation of control variable, reference variable tracking, damping of oscillation, etc.) for every plant within the existing model uncertainty. It highlights the trade-off (quantification) among simplicity of the controller structure, minimization of the ‘cost of feedback’ (bandwidth), model uncertainty (parametric and non-parametric) and the achievement of the desired performance specifications at every frequency of interest [
25]. As a frequency method, QFT uses frequency tools that are illustrative and understandable by practitioners at each step of the design process.
The standard SISO QFT controller design procedure has the following steps [
19]:
Plant modelling which includes specification of the interval model and appropriate frequency range.
-
Definition of a discrete number of plants, choice of the nominal model.
By gridding each uncertain parameter of the interval model between its minimum and maximum values, another set of uncertain plant realizations is generated from all combinations of uncertain parameters values. The task is simplified if the uncertain parameters are interrelated with each other. Any model from the generated plant realizations can be selected as the nominal one; the final QFT controller will be the same no matter what nominal plant is chosen [
19].
-
Calculation of QFT templates.
QFT templates are projection of the transfer function onto the Nichols diagram considering each parameter within the uncertainty and at each frequency of interest.
-
Stability specifications.
Instead of using classical gain and phase stability margins, circles are used as a more general stability measure representing the loci of constant closed-loop magnitudes in the Nichols diagram.
-
Performance specifications.
Stability and performance requirements are specified in terms of frequency-domain inequalities based on transfer functions between the inputs and outputs of a classical two-degree of freedom closed-loop in
Figure 2.
Frequency-domain performance specifications have a general form:
where
is the considered transfer function and
is the upper limit of its magnitude and
is the set of frequencies from a selected range.
The individual inequality specification types include:
Type 1 – Stability specification
Type 2 – Complementary sensitivity specification
Type 3 – Sensitivity or plant output disturbance specification
Type 4 – Plant input disturbance specification
Type 5 – Control action reduction specification
Type 6 – Reference tracking specification.
- 6.
-
Calculation of QFT bounds.
Every plant in the
template as well as the compensator can be expressed in their respective polar form:
QFT bounds are calculated from the control specifications and considering model uncertainty. By substituting the polar forms (26) into individual selected performance specification types, they can be rearranged into quadratic inequalities in the form:
where the coefficients
are functions of
and
.
Using an appropriate algorithm [
19], the quadratic inequalities (27) are solved and translated into a set of curves in the Nichols diagram for each frequency and specification type. Thus, at each frequency
and for each specification
there is a bound
which can be dashed or solid, depending on whether the area satisfying the bound is above or below the line.
- 7.
-
Calculation of intersection of the QFT bounds and checking for their compatibility.
If more than one performance specification is considered, it is necessary to find the intersection of all bounds at each frequency.
- 8.
-
Controller design by loop shaping in the Nichols diagram.
After plotting the bounds in the Nichols diagram, it is sufficient to deal just with a single (nominal plant) to find a controller that meets the bounds. Hence, QFT provides elegant and practical solution by integrating information associated with the model uncertainty and all control specifications in a set of simple curves. The loop shaping design is carried out by adding poles and zeros until the nominal loop lies near its bounds (optimally on the top of the bounds at each frequency).
The QFT compensator has a general form:
where
denotes the zeros,
the poles,
is the natural frequency,
is the relative damping and
is the gain.
- 9.
-
Prefilter design.
A prefilter is used to solve the reference tracking problem.
- 10.
-
Analysis and validation.
This step includes:
- -
frequency domain analysis of each specification for all the significant plants within the model uncertainty,
- -
time domain simulation for linear and nonlinear system.
To easily apply the QFT theory in practical tasks, a QFT Control Design Toolbox in MATLAB has been developed in 1995 and is being continuously improved since then [
26,
27,
28]. In another version available commercially, the latest QFT techniques are implemented within a user friendly and interactive environment [
19].
4. Robust Decentralized QFT Controller Design Based on the Equivalent Subsystems Method (“ESM – QFT” method)
Development of the innovative robust decentralized controller design method based on the combination of the Equivalent Subsystems Method and the QFT method (ESM-QFT) is the main result of this article.
ESM provides the basic framework to implement the independent design of local controllers for uncertain equivalent subsystems guaranteeing fulfillment of the necessary and sufficient stability conditions according to the Theorem 2. Using the QFT method to independently design SISO controllers for uncertain equivalent subsystems guarantees robust stability and required performance of the overall uncertain system.
The proposed ESM-QFT design procedure evolves from the results given in the Theorem 2 and the QFT SISO design procedure as described in subsection 3.2.
The ESM-QFT design procedure has the following steps:
-
I.
-
Modelling the uncertain MIMO system
The uncertain MIMO system consisting of interconnected subsystems can be given either as
a set of transfer matrices (4), or
a single transfer matrix with entries having interrelated uncertain parameters.
In the latter case, the set of uncertain plant realizations is generated by gridding the uncertain parameters between their minimum and maximum values and considering all their (feasible) combinations. Then corresponds to the number of all feasible combinations of uncertain parameters.
One (any) of the realizations (4) can be chosen as a nominal system denoted as:
-
II.
Generation of uncertain equivalent subsystems
Each transfer function matrix (5) from the set (4) can be split into the diagonal and the off-diagonal transfer matrices
and
, respectively:
For each , the characteristic functions are calculated frequency-by-frequency and corresponding m sets of N characteristic loci are plotted.
Using one selected
from the m sets of characteristic functions
; respective sets of N equivalent subsystems are calculated according to (21) as follows:
-
III.
Calculation of QFT templates of equivalent subsystems
For one chosen and the respective set of uncertain equivalent subsystems (30), corresponding QFT templates are calculated and plotted in Nichols diagrams.
-
IV.
Independent design of SISO local controllers for uncertain equivalent subsystems
Independent design of local controllers for individual equivalent subsystems consists of m parallel designs according to the steps 4-9 of the QFT design procedure in 3.2. For each equivalent subsystem it includes:
- -
stability specification,
- -
performance specification,
- -
calculation of QFT bounds, of their intersection and compatibility checking,
- -
controller design by loop shaping of the nominal equivalent subsystem in the Nichols diagram.
-
V.
Analysis in the frequency and time domains
The resulting decentralized controller is composed of the individual local controllers designed for respective uncertain equivalent subsystems.
Frequency-domain analysis is carried out at the equivalent subsystem levels and includes verification of the required stability performance specifications.
Time-domain analysis relates to the overall system level when the decentralized controller is implemented in real subsystems; it is based on simulations for linear/nonlinear models under various simulation scenarios.
5. Case Study
The proposed design method was verified on a benchmark case study dealing with the design of a robust decentralized level control in a quadruple tank process [
1,
2,
10]. The freely available toolbox [
26,
27,
28] with necessary modifications performed was used to perform the independent QFT designs for uncertain equivalent subsystems.
5.1. Description of the Controlled Plant
The quadruple-tank process (
Figure 1) is a laboratory plant suitable to analyze and demonstrate different approaches to control a two input-two output MIMO system in either minimum and/or nonminimum phase configurations [
2].
Level control in the two lower tanks is performed using two pumps, their voltages are the inputs. Levels in the lower tanks , are the controlled outputs. Pump voltages define corresponding inflows . Parameters denote valve settings, i.e. relative ratios of pump flows into the lower and upper diagonal tanks (tanks 1 and 4 for and tanks 2 and 3 for ), hence .
The first principles nonlinear state space model of the device has the form:
where
and
are cross-sections of individual tanks and of their outlet holes respectively;
are levels in individual tanks; g is the gravitational acceleration.
The plant model can be configured as a minimum or nonminimum phase one depending on the relative ratios of the pump flows
For the minimum-phase configuration the following condition is satisfied:
and the nonminimum-phase condition is:
By linearization of (33) around a selected working point specified by the levels in individual tanks
4, the corresponding transfer function matrix is obtained [
2]:
where
Values of individual plant parameters were taken from [
24] and are shown in
Table 1.
5.2. Control Problem Statement
For the quadruple tank system, the aim is to control levels in the two lower tanks (h1, h2) by means of the flows delivered by the two pumps (v1, v2) in the operating range specified by valves settings ( ) which represent uncertain parameters interrelated depending on the specific plant configuration (33) or (34). Hence, the plant has subsystems, the minimum phase configuration is considered, and the decentralized control structure is to be employed.
5.3. Robust Decentralized Controller Design
The ESM-QFT design procedure described in
Section 4 was used to design the robust decentralized controller.
-
I.
-
Modelling the uncertain MIMO system
The linearized model of the uncertain plant based on parameter values in
Table 1 is:
When considering the minimum phase plant configuration, the two uncertain parameters
are interrelated according to (33). The set of realizations of the uncertain plant was generated by gridding
and considering all their combinations that meet (33). The number of all feasible combinations is
. The corresponding combinations specifying the considered uncertainty region are depicted in
Figure 4. The nominal model was selected as (37) evaluated in
To appropriately choose the frequency range to be considered in the controller design, Bode diagrams of individual entries of the transfer matrix (37) have been depicted in
Figure 5.
-
II.
Generation of uncertain equivalent subsystems
Characteristic loci of the matrices of interactions
for all realizations are depicted in
Figure 6.
Equivalent subsystems were generated according to (21) using the characteristic loci
:
respective Bode diagrams are shown in
Figure 7.
-
III.
Calculation of QFT templates of equivalent subsystems
For the set of uncertain equivalent subsystems (38), corresponding QFT templates were calculated and plotted in the Nichols diagrams (
Figure 8) for the selected frequencies
-
IV.
Independent design of SISO local controllers
for uncertain equivalent subsystems
Time-domain performance requirements for the overall system usually specified in terms time-domain measures (maximum overshoot, settling time) had to be interpreted into frequency domain measures; two following out of eight QFT stability and performance specifications [
19] similar for both equivalent subsystems were selected:
Stability specification (determines 20% maximum overshoot of output responses):
Performance specification (sensitivity constraint), determines bandwidth which is a measure of speed of response like time domain measures such as rise time or peak time [
30]:
where .
Based on performance specifications and QFT templates, the QFT bounds were calculated, their intersection was plotted in the Nichols diagram (
Figure 9).
Local controllers
were designed by loop shaping of nominal open loops
in the respective Nichols diagrams with depicted QFT bounds (
Figure 10 and
Figure 11).
Local controllers designed for equivalent subsystems constitute the resulting decentralized controller to be implemented for the real system:
-
V.
Analysis in the frequency and time domains
Frequency domain analysis includes:
verification of the fulfillment of performance requirements in equivalent subsystems by plotting Nichols plots of open-loop equivalent subsystems
for r=1, …,10 to (
Figure 12);
investigation of the fulfillment of performance requirements on the level of the overall closed-loop system by plotting the sensitivity module of the overall system under the decentralized controller (
Figure 13);
closed-loop stability verification using the generalized Nyquist stability criterion (2) (
Figure 14).
For both equivalent subsystems, Nichols diagrams in
Figure 12 prove stability and fulfillment of the Type 1 specification (39) as neither of the depicted Nichols plots intersects or touches the curve of the value
corresponding to
The required minimum bandwidth specified for equivalent subsystems by the Type 3 performance specification (40) is kept for all realizations of the overall system (
Figure 13,
is depicted in bold), the minimum bandwidth achieved is
.
The overall closed-loop system under the decentralized controller is stable as `
for all 10 plant realizations considered (
Figure 14).
Time domain analysis is based on simulations of step changes in references of the lower tanks according to scenarios depicted in the lower parts of the charts in
Figure 15 and
Figure 16. Simulations were performed using both the linear and the nonlinear models (35), (32) respectively, in the specified working point given by
for all 10 valve settings
according to
Table 2. Respective output responses are depicted in
Figure 15 (linear model) and
Figure 16 (nonlinear model); the performance on individual charts is of interest only after the variables have first settled at the respective working points.
Responses in
Figure 15 and
Figure 16 are another proof of the fulfillment of the Type 1 specification (39), as the overshoots of the responses
a
are
.
6. Discussion
The proposed ESM-QFT frequency domain method is suitable to design robust decentralized controllers for uncertain MIMO systems consisting of interconnected subsystems given as a set of square transfer function matrices. Combination of the Equivalent Subsystems Method (ESM) and the standard QFT design allows to exploit the assets of both methods.
Using the ESM, local controllers are independently designed for individual equivalent subsystems and subsequently implemented on true subsystems as a decentralized controller guaranteeing fulfillment of the necessary and sufficient stability condition according to the generalized Nyquist stability theorem. The independent design carried out for equivalent subsystems does not introduce conservatism compared with standard independent designs based on decoupled subsystems [
8].
Design of local SISO controllers for individual equivalent subsystems based on the QFT is advantageous in that it uses sets of equivalent subsystems generated directly from the transfer function matrices of the uncertain MIMO system with no need to additionally specify the unstructured uncertainty as e.g., in [
1]. Moreover, performance requirements imposed on the overall uncertain system are usually specified in the time-domain; according to the ESM-QFT method, their fulfillment is guaranteed if they are translated into frequency domain performance specifications and their fulfillment in the equivalent subsystems is ensured.
The ESM-QFT method uses nonparametric models of the controlled plant and related frequency dependencies, hence the design procedure is graphical, insightful, and interactive, and may be applied for continuous and discrete, minimum- and non-minimum phase systems as well as for systems with delays. Future research will encompass application of the developed method for these various types of MIMO systems and case studies.
Author Contributions
Conceptualization, A.K. and R.Č.; methodology, A.K.; software, R.Č.; validation, A.K. and R.Č.; formal analysis, A.K. and Š.K; investigation, R.Č.; resources, A.K. and Š.K.; data curation, R.Č.; writing—original draft preparation, A.K. and R.Č.; writing—review and editing, A.K.; visualization, R.Č.; supervision, A.K.; project administration, A.K.; funding acquisition, A.K. All authors have read and agreed to the published version of the manuscript.
Data Availability Statement
Data created during the research to verify theoretical results are based on publicly available references properly cited in the article. Calculations and simulations were performed in MATLAB & Simulink (R2018a) using the QFTCT toolbox [
28].
Acknowledgments
This article was supported by the Scientific Grant Agency of the Ministry of Education, Science and Sport of the Slovak Republic under VEGA project No. 1/0637/23.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Kozáková, A.; Veselý, V.; Kučera, V. Robust decentralized controller design based on equivalent subsystems. Automatica 2019, 107, 29–35. [Google Scholar] [CrossRef]
- Johansson, K. H. , The quadruple-tank process: a multivariable laboratory process with an adjustable zero. IEEE Trans. on Control Systems Technology 2000, 8, 456–465. [Google Scholar] [CrossRef]
- Bakule, L. , Decentralized control: an overview. Annual Reviews in Control 2008, 32, 87–98. [Google Scholar] [CrossRef]
- An overview of distributed control systems (DCS). Available online: https://www.plantautomation-technology.com/articles/an-overview-of-distributed-control-systems-dcs (accessed on 16 February 2023).
- Park, K.J.; et al. Cyber-physical systems: Milestones and research challenges. Computer Communications 2012, 36, 1–7. [Google Scholar] [CrossRef]
- Doyle, J.C.; Stein, G. Multivariable feedback design: concepts for a classical/modern synthesis. IEEE Trans. AC-26 1981, 1, 4–16. [Google Scholar] [CrossRef]
- Skogestad, S.; Postlethwaite, I. Multivariable feedback control: analysis and design, 2nd repr. ed.; John Wiley: Chichester, UK, 2008. [Google Scholar]
- Skogestad, S.; Morari, M. Robust performance of decentralized control systems by independent designs. Automatica, 1989, 25, 119–125. [Google Scholar] [CrossRef]
- Hovd, M.; Skogestad, S. Sequential design of decentralized controllers, Automatica 1994, 30, 1601–1607. Automatica 1994, 30, 1601–1607. [Google Scholar] [CrossRef]
- Rosinová, D.; Kozáková, A. Robust Decentralized PID Controller Design. In Introduction to PID Controllers –Theory, Tunning and Application to Frontier Areas; InTech: Rijeka, 2012. [Google Scholar]
- Tan, W. , Fang, F., Tian, L., Fu, C. and Liu, J. Linear control of a boiler turbine unit: Analysis and design. ISA Trans 2008, 44, 189–197. [Google Scholar]
- Vásquez, F; Morilla, F. Tuning decentralized PID controllers for MIMO systems with decouplers. IFAC Proceedings Volumes 2002, 35, 349–354. [Google Scholar] [CrossRef]
- Govind K.R., A.; Mahapatra, S. Frequency domain specifications based robust decentralized PI/PID control algorithm for benchmark variable-area coupled tank systems. Sensors 2022, 22, 9165. [Google Scholar] [CrossRef] [PubMed]
- Romero Pérez, J. A.; Balaguer Herrero, P. Extending the AMIGO PID tuning method to MIMO systems. IFAC Proceedings Volumes 2012, 45, 211–216. [Google Scholar] [CrossRef]
- Balaguer, P.; Romero, J. A. Model order reduction for decentralized PID control design on TITO processes, IFAC Proceedings Volumes 2012, 45, 205–210. IFAC Proceedings Volumes 2012, 45, 105–210. [Google Scholar]
- Kozáková, A.; Bucz, Š. Multiloop control of a drum boiler. Journal of Electrical Systems and Information Technology 2014, 1, 26–35. [Google Scholar] [CrossRef]
- Kozáková, A.; Čápková, R.; Puleva, T. Robust controller design for a boiler-turbine unit. 2022 Cybernetics & Informatics (K&I), Visegrád, Hungary, 11–14 Sept. 2022; pp. 1–6. [Google Scholar] [CrossRef]
- Balko, P.; Rosinova, D. Nonlinear boiler-turbine unit: modelling and robust decentralized control. IFAC-PapersOnLine 2016, 49, 49–54. [Google Scholar] [CrossRef]
- Garcia-Sanz, M. Robust Control Engineering: Practical QFT Solutions, 1st ed.; CRC Press, Taylor & Francis Group: Boca Raton, USA, 2017. [Google Scholar]
- Bhattacharyya S., P. Robust Control under parametric uncertainty: An overview and recent results. Annual Reviews in Control 2017, 44, 45–77. [Google Scholar] [CrossRef]
- Yeung, L.F. , Bryant, G.F. New dominance concepts for multivariable control system design. Int. Journal of control 1992, 55, 969–988. [Google Scholar] [CrossRef]
- Kozáková, A.; Vesely, V. Independent design of decentralized controllers in the frequency domain. Periodica Polytechnica Electrical Engineering 2007, 51, 33–41. [Google Scholar] [CrossRef]
- Kozáková, A.; Vesely, V.; Osusky, J. A new Nyquist-based technique for tuning robust decentralized controllers. Kybernetika 2009, 45, 63–83. [Google Scholar]
- Rosinová, D.; Kozáková, A. Robust decentralized PID controller design. In Introduction to PID controllers - theory, tuning and application to frontier areas, Panda, R.C., Ed.; InTech: Rijeka, Croatia, 2012. [Google Scholar] [CrossRef]
- Horowitz, I. Synthesis of Feedback Systems; Academic Press: New York, 1963. [Google Scholar]
- Rasmussen, S. J.; Houpis C., H. Development implementation and flight of a MIMO digital flight control system for an unmanned research vehicle using quantitative feedback theory. In Proceedings of the ASME Dynamic Systems and Control, Winter Annual Meeting of ASME, Chicago, USA, 6–11 Nov. 1994. [Google Scholar]
- Yaniv, O.; Chait, Y.; Borghesani, C. The QFT Control Design Toolbox for MATLAB. IFAC Proceedings Volumes 1997, 30, 103–108. [Google Scholar] [CrossRef]
- Borghesani, C.; Chait, Y.; Yaniv, O. QFT Frequency Domain Control Design Toolbox, 2003. Available online: https://www.terasoft.com (accessed on 21 November 2020).
- Borghesani, C.; Chait, Y.; Yaniv, O. The QFT Frequency Domain Control Design Toolbox for Use with MATLAB. In User's Guide; The MathWorks, Inc.: Massachusetts, USA, 2003. [Google Scholar]
- Franklin, G.F.; Powell, J.D.; Emami-Naeini, A. Feedback Control of Dynamic Systems, 6th ed.; Pearson Higher Education, Inc.: Upper Saddle River, NJ 07458, USA, 2010. [Google Scholar]
Figure 1.
Standard MIMO closed-loop.
Figure 1.
Standard MIMO closed-loop.
Figure 2.
A two-degrees of freedom feedback control loop. are the inputs and are the outputs.
Figure 2.
A two-degrees of freedom feedback control loop. are the inputs and are the outputs.
Figure 3.
Quadruple tank scheme.
Figure 3.
Quadruple tank scheme.
Figure 4.
Plant realizations within the uncertainty region for minimum phase configuration.
Figure 4.
Plant realizations within the uncertainty region for minimum phase configuration.
Figure 5.
Bode diagrams of individual entries of .
Figure 5.
Bode diagrams of individual entries of .
Figure 6.
Characteristic loci of .
Figure 6.
Characteristic loci of .
Figure 7.
Bode diagrams of equivalent subsystems generated according to (37).
Figure 7.
Bode diagrams of equivalent subsystems generated according to (37).
Figure 8.
QFT templates of equivalent subsystems .
Figure 8.
QFT templates of equivalent subsystems .
Figure 9.
QFT templates with respect to the nominal equivalent subsystems: a. b. .
Figure 9.
QFT templates with respect to the nominal equivalent subsystems: a. b. .
Figure 10.
a. Loop shaping of the nominal open loop ), b. zoomed detail.
Figure 10.
a. Loop shaping of the nominal open loop ), b. zoomed detail.
Figure 11.
a. Loop shaping of the nominal open loop ), b. zoomed detail.
Figure 11.
a. Loop shaping of the nominal open loop ), b. zoomed detail.
Figure 12.
Nichols plots of open-loop equivalent subsystem for r = 1, …,10: a. b. .
Figure 12.
Nichols plots of open-loop equivalent subsystem for r = 1, …,10: a. b. .
Figure 13.
Sensitivity module of the overall closed loop system under the decentralized controller (40) for all 10 plant realizations.
Figure 13.
Sensitivity module of the overall closed loop system under the decentralized controller (40) for all 10 plant realizations.
Figure 14.
Closed-loop stability verification using the generalized Nyquist stability criterion.
Figure 14.
Closed-loop stability verification using the generalized Nyquist stability criterion.
Figure 15.
Output response to reference step changes around the working point
according to various scenarios for 10 valve settings combinations
according to
Table 2 (linear model) a. tank level
, b. tank level
Figure 15.
Output response to reference step changes around the working point
according to various scenarios for 10 valve settings combinations
according to
Table 2 (linear model) a. tank level
, b. tank level
Figure 16.
Output response to reference step changes around the working point
according to various scenarios for 10 valve settings combinations
according to
Table 2 (nonlinear model) a. tank level
, b. tank level
Figure 16.
Output response to reference step changes around the working point
according to various scenarios for 10 valve settings combinations
according to
Table 2 (nonlinear model) a. tank level
, b. tank level
Table 1.
Parameter values of the quadruple tank process.
Table 1.
Parameter values of the quadruple tank process.
Para-meter |
|
|
|
|
|
|
|
|
|
|
|
Value |
30 |
35 |
0.0977 |
0.079 |
20 |
2.75 |
2.22 |
1 |
1.79 |
1.827 |
981 |
Table 2.
Plant realizations according to valve settings (32).
Table 2.
Plant realizations according to valve settings (32).
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
|
0.3 |
0.5 |
0.5 |
0.7 |
0.7 |
0.7 |
0.9 |
0.9 |
0.9 |
0.9 |
|
0.9 |
0.9 |
0.7 |
0.5 |
0.7 |
0.9 |
0.3 |
0.5 |
0.7 |
0.9 |
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).