Preprint
Article

Decentralized QFT Controller Design Based on the Equivalent Subsystems Method

Altmetrics

Downloads

76

Views

24

Comments

0

A peer-reviewed article of this preprint also exists.

Submitted:

07 August 2023

Posted:

08 August 2023

You are already at the latest version

Alerts
Abstract
Since the come up in the 70´s, 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), e.g., chemical plants, power systems, water systems, etc. In general, the use of distributed information and control structures requires to synthesize control laws in a constrained (decentralized) information structure. The article presents another version of the unified frequency domain robust decentralized controller design method [1]. The proposed design procedure is appropriate for uncertain dynamic MIMO systems given as a set of transfer function matrices. Its main framework is provided by the Equivalent Subsystems Method [1, 24] guaranteeing fulfillment of the necessary and sufficient stability condition of the overall closed-loop system if individual closed-loop equivalent subsystems are stable. Generating sets of equivalent subsystems for all transfer function matrices describing the uncertain MIMO plant allows to use the QFT method [19] to independently design local robust SISO controllers that constitute the resulting decentralized controller implemented on true subsystems. The developed design procedure is verified and illustrated on a case study on robust decentralized level controller design for a quadruple tank process [2, 24].
Keywords: 
Subject: Engineering  -   Control and Systems Engineering

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   m × m   transfer function matrix modelling the MIMO controlled plant with m inputs and m outputs,   m 1 ,   and C(s) is a   m × m   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   s D :  
1 .   det I + Q ( s ) 0
2 . N 0 , det I + Q ( s ) = i = 1 m N 0 , 1 + q i ( s ) = n q ,
where   Q s = P s C ( s )   is the open-loop transfer function with no internal right half-plane pole-zero cancellations between   P s   and   C s ;   N 0 , det I + Q ( s )   is the number of anticlockwise encirclements of (0,0j) by    det I + Q ( s ) ;   n q   is the number of unstable poles of   Q s ;     D   is the Nyquist contour; I is the identity matrix;   q i s ,   i = 1 , ,   m   are characteristic functions of   Q s   defined as:
det q i s I Q ( s ) = 0 ,           i = 1 , , m .
Remark 1:
The Nyquist contour   D   is a large contour in the complex plain consisting of the imaginary axis   s = j ω ,     ω   ϵ < α ,   α >  , where   α   is a radius of a semicircle in the right half-plane large enough to encircle unstable poles of   Q ( s )  ; if there are any poles on the imaginary axis,   D   is intended to the left-half plane to include them.
Remark 2:
Characteristic loci (CL)   q i j ω ,   i = 1 , ,   m   are traced out in the complex plane by characteristic functions of Q(s) as s traverses the Nyquist contour   D  .
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:
Π P k s , k = 1 , , N ,
where
P k s = P i j k s , i , j = 1 , , m , m 1 ,
and individual entries of the transfer matrix (5) are in the general form:
P i j k s = B i j k ( s ) A i j k ( s ) = q = 0 r b i j q k s q p = 0 n a i j p k s p ,     q = 1 , , r ; p = 1 , , n ; r < n .
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
P 0 s = P i j 0 s , i , j = 1 , , m ,
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 (  i = 1 , j = 1 , m = 1  and the superscript k is omitted for readability):
P s = B ( s ) A ( s ) = a 0 + a 1 s + a 2 s 2 + . . . + a n s n b 0 + b 1 s + b 2 s 2 + . . . + b m s m ,     a n 0 , b m 0 , m n ,
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:
D s = A s : a 0 + . . . + a n s n , a k a k _ , a k ¯ , k = 0,1 , 2 , , n N s = B s : b 0 + . . . + b m s m , b k b k _ , b k ¯ , k = 0,1 , 2 , , m ,
the corresponding interval system reads as:
P s = P s = n ( s ) d ( s ) : n s ϵ N s , d ( s ) ϵ D ( s )
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   m   subsystems and has   m   inputs and   m   outputs. This type of uncertain MIMO systems can be modelled as a set of square transfer function matrices (5) having the form:
P k s = P 11 k s P 12 k s P 1 m k s P 21 k s P 22 k s P 2 m k s P m 1 k s P m m k s , k = , 1 , , N ; m 1 .
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   k   is omitted for simplicity):
P s = P d s + P n s ,
where the nonsingular diagonal matrix
P d s = P 11 s 0 0 0 P 22 s 0 0 P m m s
describes the dynamics of decoupled subsystems, and the off-diagonal entries collected in   P n s = P s P d s   correspond to interactions.

2.1. Problem Formulation

Consider an uncertain MIMO system with   m   inputs and   m   outputs consisting of m subsystems,   m 1 ,   given as a set of   N   transfer function matrices (4). Let each transfer function matrix can be split into the diagonal and the off-diagonal transfer matrices   P d k s   and   P n k s  , respectively:
P k s = P d k s + P n k s ,   k = 1 , N
here   P d k s   and   P m k s   are respectively transfer matrices of decoupled subsystems and interactions among them.
A decentralized (diagonal) controller (15)
C s = d i a g C i s , i = 1 , , m ; det C s 0 , s
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:
d e t I + P s C s = d e t C 1 s + P d s + P n s d e t C ( s )
where   C s   is a decentralized (diagonal) controller (15).
Characteristic functions   g i s , i = 1,2 , , m  of   P n s   are defined as follows:
d e t g i s I P n s = 0 , i = 1 , , m .
In terms of stability,   P n s   can be replaced by its characteristic function matrix in the sense of the Cayley-Hamilton Theorem:
P n s = g k s I , k 1 , , m ,
where   g k s , k 1 , , m   is one (arbitrary) selected characteristic function.
As a result, (16) modifies to:
N 0 , d e t I + P s C s = N 0 , d e t C 1 s + P d s + g k s I d e t C ( s ) .
Using the following notation in the bracketed term on the right-hand side:
P k e q s = P d s + g k s I = d i a g P i k e q s , i = 1,2 , , m ;   k 1 , , m ,
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:
P i k e q j ω = P i i j ω + g k j ω , i = 1,2 , , m , k 1,2 , , m , j ω D
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:
N 0 , d e t I + P s C ( s ) = N 0 , d e t I + P k e q ( s ) C ( s ) .
Considering (21), a further manipulation of the r.h.s. of (22) results in:
N 0 , d e t I + P k e q ( s ) C ( s ) = i = 1 m N 1 , P i i s + g k s C i s = n q
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   g k j ω   such that   s = j ω D  
1. d e t g k j ω I P n j ω = 0 , k 1,2 , , m 2.   i = 1 m N 1 , P i i j ω + g k j ω C i j ω = n q .
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:
  • The Neymark D-partition method [22,23] is suitable if performance requirements for the overall system are specified in terms of its degree-of-stability; the same degrees-of-stability must be achieved in equivalent subsystems. Using this SISO design, robust stability conditions cannot be directly incorporated in the design of local controllers, they can only be checked additionally which makes the robust controller design iterative.
  • Standard Bode diagram design [10,17] or the Nyquist diagram design [16]. Performance requirements for the overall system specified in terms of maximum overshoot and settling time and have to be translated into respective frequency performance measures (stability margins) to be achieved in individual equivalent subsystems. Robust stability conditions for systems with unstructured uncertainty can be easily incorporated into local designs [1,10].
  • Nichols diagram-based SISO design known as a well-elaborated QFT design technique is the next option allowing to consider uncertain systems with parametric uncertainty.

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   P j ω   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,   M c   circles are used as a more general stability measure representing the loci of constant closed-loop magnitudes   W s   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:
T k j ω i δ k ω i , ω i ϵ k , k = 1,2 , ; i = 1,2 ,
where   T k j ω i   is the considered transfer function and   δ k ω i   is the upper limit of its magnitude and   k   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   ω i   template as well as the compensator can be expressed in their respective polar form:
P j ω i = p e j θ = p θ C j ω i = c e j φ = c φ
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:
l ω i k p , ϕ , δ k , θ = a c 2 + b c + f 0
where the coefficients   a , b , f   are functions of   p , ϕ , θ   and   δ k  .
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   ω i   and for each specification   k  there is a bound   B k j ω i   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:
C s = k C i = 1 n r z s z i + 1 i = 1 n c z s 2 ω n i 2 + 2 ξ i ω n i s + 1 s r j = 1 m r p s p j + 1 j = 1 m c p s 2 ω n j 2 + 2 ξ j ω n j s + 1 ,
where   z   denotes the zeros,   p   the poles,   ω n   is the natural frequency,   ξ   is the relative damping and   k C   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   m   interconnected subsystems can be given either as
  • a set of   m × m   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   N   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:
P 0 s = P i j 0 ( s ) , i , j = 1 , , m .
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   P d r s   and    P n r s   , respectively:
P r s = P d r s + P n r s ,   r = 1 , N .
For each   P n r s ,   r = 1 , N  , the   N × m   characteristic functions are calculated frequency-by-frequency and corresponding m sets of N characteristic loci   g i r ,   i = 1 , , m ; r = 1 , , N   are plotted.
Using one selected   ( k t h )   from the m sets of characteristic functions   g k r ,     k { 1 , , m } ; r = 1 , , N  ; respective sets of N equivalent subsystems are calculated according to (21) as follows:
P i k e q _ r j ω = P i i r j ω + g k r j ω , i = 1,2 , , m ; k 1,2 , , m ; r = 1 , , N .
III. 
Calculation of QFT templates of equivalent subsystems
For one chosen   k 1,2 , , m   and the respective set of uncertain equivalent subsystems (30), corresponding QFT templates are calculated and plotted in   m   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   C s = d i a g C i s , i = 1 , , m   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   v 1 ,     v 2   [ V ]   are the inputs. Levels in the lower tanks    h 1  ,    h 2   [ c m ]   are the controlled outputs. Pump voltages define corresponding inflows   F i = k i v i , i = 1,2  . Parameters   γ i ,     i = 1,2   denote valve settings, i.e. relative ratios of pump flows into the lower and upper diagonal tanks (tanks 1 and 4 for   γ 1 ,    and tanks 2 and 3 for   γ 2  ), hence   γ 1 , γ 2 ϵ < 0,1 >  .
The first principles nonlinear state space model of the device has the form:
d h 1 d t = a 1 A 1 2 g h 1 + a 3 A 1 2 g h 3 + γ 1 k 1 A 1 v 1 d h 2 d t = a 2 A 2 2 g h 2 + a 4 A 2 2 g h 4 + γ 2 k 2 A 2 v 2 d h 3 d t = a 3 A 3 2 g h 3 + ( 1 γ 2 ) k 2 A 3 v 2 d h 4 d t = a 4 A 4 2 g h 4 + 1 γ 1 k 1 A 4 v 1 ,
where   A i   and   a i , i = 1 , , 4   are cross-sections of individual tanks and of their outlet holes respectively;   h i , i = 1 , , 4   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   γ 1 , γ 2 .  For the minimum-phase configuration the following condition is satisfied:
1 < γ 1 + γ 2 < 2 ,
and the nonminimum-phase condition is:
0 < γ 1 + γ 2 < 1 .
By linearization of (33) around a selected working point specified by the levels in individual tanks   h i 0 , i = 1 , ,  4, the corresponding transfer function matrix is obtained [2]:
P ( s ) = c 1 γ 1 T 1 s + 1 c 1 ( 1 γ 2 ) ( T 3 s + 1 ) ( T 1 s + 1 ) c 2 ( 1 γ 1 ) ( T 4 s + 1 ) ( T 2 s + 1 ) c 2 γ 2 T 2 s + 1
where
T i = A i a i 2 h i 0 g , i = 1 , , 4 c i = T i k i k c A i 2 h i 0 g , i = 1,2
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 (  γ 1 ,     γ 2  ) which represent uncertain parameters interrelated depending on the specific plant configuration (33) or (34). Hence, the plant has   m = 2   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:
P s = 0.747 γ 1 62.044 s + 1 0.747 1 γ 2 22.992 s + 1 62.044 s + 1 0.949 1 γ 1 29.995 s + 1 90.031 s + 1 0.949 γ 2 90.031 s + 1 .
When considering the minimum phase plant configuration, the two uncertain parameters   γ 1 ,     γ 2 < 0 ,   1 >  are interrelated according to (33). The set of realizations of the uncertain plant was generated by gridding   γ 1 ,     γ 2 < 0.3 ,   0.9 >  and considering all their combinations that meet (33). The number of all feasible combinations is   N = 10  . The corresponding combinations specifying the considered uncertainty region are depicted in Figure 4. The nominal model was selected as (37) evaluated in   γ 1 =     γ 2 = 0.7 .    
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   P n r s ,   r = 1 , 10   for all realizations are depicted in Figure 6.
Equivalent subsystems were generated according to (21) using the characteristic loci   g 2 r j ω , r = 1 , , 10  :
P i 2 e q _ r j ω = P i i r j ω + g 2 r j ω , i = 1,2 ; r = 1,2 , , 10 ,
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   ω = { 0.0001   0.005   0.01   0.02   0.03   0.05   0.07   0.01   0.2   0.3   0.5   1   3   5   10 } .  
IV. 
Independent design of SISO local controllers   C i ( s ) = 1,2  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):
    T 1 ( j ω ) = P i 2 e q _ r j ω C i ( j ω ) 1 + P i 2 e q _ r j ω C i ( j ω ) W s i = 1.2 ,   i = 1,2 .
  • 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]:
    T 3 ( j ω ) = 1 1 + P i 2 e q _ r j ω C i ( j ω ) δ 3 i = s / a d i s / a d i + 1 ,   i = 1,2
where   a d i = 0.01 ,   i = 1,2  .
Based on performance specifications and QFT templates, the QFT bounds were calculated, their intersection was plotted in the Nichols diagram (Figure 9).
Local controllers   C i ( s ) = 1,2   were designed by loop shaping of nominal open loops   L 0 i j ω = P i 2 e q _ 5 j ω C i j ω ,   i = 1,2   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:
C s = C 1 s 0 0 C 2 s = 1.2485 + 0.0384 s 0 0 1.4582 + 0.04487 s ,
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   P i 2 e q _ r j ω C i j ω , i = 1,2   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   20 log 1.2 = 1.58   d B   corresponding to   W s = 1.2     .  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,     δ 3 ω    is depicted in bold), the minimum bandwidth achieved is   ω B W = 0.008   s 1  .
The overall closed-loop system under the decentralized controller is stable as `  N 0 , d e t I + Q s = n q = 0   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   h i 0 ,   i = 1 ,   ,   4   for all 10 valve settings   γ 1 ,     γ 2   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   h 1 t   a   h 2 t   are   η m a x < 20 %  .

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

  1. Kozáková, A.; Veselý, V.; Kučera, V. Robust decentralized controller design based on equivalent subsystems. Automatica 2019, 107, 29–35. [Google Scholar] [CrossRef]
  2. 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]
  3. Bakule, L. , Decentralized control: an overview. Annual Reviews in Control 2008, 32, 87–98. [Google Scholar] [CrossRef]
  4. 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).
  5. Park, K.J.; et al. Cyber-physical systems: Milestones and research challenges. Computer Communications 2012, 36, 1–7. [Google Scholar] [CrossRef]
  6. 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]
  7. Skogestad, S.; Postlethwaite, I. Multivariable feedback control: analysis and design, 2nd repr. ed.; John Wiley: Chichester, UK, 2008. [Google Scholar]
  8. Skogestad, S.; Morari, M. Robust performance of decentralized control systems by independent designs. Automatica, 1989, 25, 119–125. [Google Scholar] [CrossRef]
  9. Hovd, M.; Skogestad, S. Sequential design of decentralized controllers, Automatica 1994, 30, 1601–1607. Automatica 1994, 30, 1601–1607. [Google Scholar] [CrossRef]
  10. 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]
  11. 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]
  12. Vásquez, F; Morilla, F. Tuning decentralized PID controllers for MIMO systems with decouplers. IFAC Proceedings Volumes 2002, 35, 349–354. [Google Scholar] [CrossRef]
  13. 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]
  14. 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]
  15. 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]
  16. Kozáková, A.; Bucz, Š. Multiloop control of a drum boiler. Journal of Electrical Systems and Information Technology 2014, 1, 26–35. [Google Scholar] [CrossRef]
  17. 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]
  18. Balko, P.; Rosinova, D. Nonlinear boiler-turbine unit: modelling and robust decentralized control. IFAC-PapersOnLine 2016, 49, 49–54. [Google Scholar] [CrossRef]
  19. Garcia-Sanz, M. Robust Control Engineering: Practical QFT Solutions, 1st ed.; CRC Press, Taylor & Francis Group: Boca Raton, USA, 2017. [Google Scholar]
  20. Bhattacharyya S., P. Robust Control under parametric uncertainty: An overview and recent results. Annual Reviews in Control 2017, 44, 45–77. [Google Scholar] [CrossRef]
  21. 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]
  22. 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]
  23. Kozáková, A.; Vesely, V.; Osusky, J. A new Nyquist-based technique for tuning robust decentralized controllers. Kybernetika 2009, 45, 63–83. [Google Scholar]
  24. 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]
  25. Horowitz, I. Synthesis of Feedback Systems; Academic Press: New York, 1963. [Google Scholar]
  26. 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]
  27. Yaniv, O.; Chait, Y.; Borghesani, C. The QFT Control Design Toolbox for MATLAB. IFAC Proceedings Volumes 1997, 30, 103–108. [Google Scholar] [CrossRef]
  28. Borghesani, C.; Chait, Y.; Yaniv, O. QFT Frequency Domain Control Design Toolbox, 2003. Available online: https://www.terasoft.com (accessed on 21 November 2020).
  29. 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]
  30. 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.
Preprints 81792 g001
Figure 2. A two-degrees of freedom feedback control loop.  r s , n s , d i s , d 0 s  are the inputs and   y s , u s , e s   are the outputs.
Figure 2. A two-degrees of freedom feedback control loop.  r s , n s , d i s , d 0 s  are the inputs and   y s , u s , e s   are the outputs.
Preprints 81792 g002
Figure 3. Quadruple tank scheme.
Figure 3. Quadruple tank scheme.
Preprints 81792 g003
Figure 4. Plant realizations within the uncertainty region for minimum phase configuration.
Figure 4. Plant realizations within the uncertainty region for minimum phase configuration.
Preprints 81792 g004
Figure 5. Bode diagrams of individual entries of   P r s , r = 1 , , 10  .
Figure 5. Bode diagrams of individual entries of   P r s , r = 1 , , 10  .
Preprints 81792 g005
Figure 6. Characteristic loci   g k r j ω , k = 1,2 ; r = 1 , , 10   of   P n r s  .
Figure 6. Characteristic loci   g k r j ω , k = 1,2 ; r = 1 , , 10   of   P n r s  .
Preprints 81792 g006
Figure 7. Bode diagrams of equivalent subsystems   P i 2 e q _ r j ω , i = 1,2 ;   generated according to (37).
Figure 7. Bode diagrams of equivalent subsystems   P i 2 e q _ r j ω , i = 1,2 ;   generated according to (37).
Preprints 81792 g007
Figure 8. QFT templates of equivalent subsystems   P i 2 e q _ r j ω , i = 1,2   .
Figure 8. QFT templates of equivalent subsystems   P i 2 e q _ r j ω , i = 1,2   .
Preprints 81792 g008
Figure 9. QFT templates with respect to the nominal equivalent subsystems: a.   P 12 e q _ 5 j ω ;   b.   P 22 e q _ 5 j ω  .
Figure 9. QFT templates with respect to the nominal equivalent subsystems: a.   P 12 e q _ 5 j ω ;   b.   P 22 e q _ 5 j ω  .
Preprints 81792 g009
Figure 10. a. Loop shaping of the nominal open loop   L 01 j ω = P 12 e q _ 5 j ω C 1 j ω  ), b. zoomed detail.
Figure 10. a. Loop shaping of the nominal open loop   L 01 j ω = P 12 e q _ 5 j ω C 1 j ω  ), b. zoomed detail.
Preprints 81792 g010
Figure 11. a. Loop shaping of the nominal open loop   L 02 j ω = P 22 e q _ 5 j ω C 2 j ω  ), b. zoomed detail.
Figure 11. a. Loop shaping of the nominal open loop   L 02 j ω = P 22 e q _ 5 j ω C 2 j ω  ), b. zoomed detail.
Preprints 81792 g011
Figure 12. Nichols plots of open-loop equivalent subsystem for r = 1, …,10: a.   P 12 e q _ r j ω C 1 j ω ,   b.   P 22 e q _ r j ω C 2 j ω ,  .
Figure 12. Nichols plots of open-loop equivalent subsystem for r = 1, …,10: a.   P 12 e q _ r j ω C 1 j ω ,   b.   P 22 e q _ r j ω C 2 j ω ,  .
Preprints 81792 g012
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.
Preprints 81792 g013
Figure 14. Closed-loop stability verification using the generalized Nyquist stability criterion.
Figure 14. Closed-loop stability verification using the generalized Nyquist stability criterion.
Preprints 81792 g014
Figure 15. Output response to reference step changes around the working point   h i 0 ,   i = 1 ,   ,   4   according to various scenarios for 10 valve settings combinations    γ 1 ,     γ 2   according to Table 2 (linear model) a. tank level   h 1  , b. tank level   h 2 .  
Figure 15. Output response to reference step changes around the working point   h i 0 ,   i = 1 ,   ,   4   according to various scenarios for 10 valve settings combinations    γ 1 ,     γ 2   according to Table 2 (linear model) a. tank level   h 1  , b. tank level   h 2 .  
Preprints 81792 g015
Figure 16. Output response to reference step changes around the working point   h i 0 ,   i = 1 ,   ,   4   according to various scenarios for 10 valve settings combinations    γ 1 ,     γ 2   according to Table 2 (nonlinear model) a. tank level   h 1  , b. tank level   h 2 .  
Figure 16. Output response to reference step changes around the working point   h i 0 ,   i = 1 ,   ,   4   according to various scenarios for 10 valve settings combinations    γ 1 ,     γ 2   according to Table 2 (nonlinear model) a. tank level   h 1  , b. tank level   h 2 .  
Preprints 81792 g015
Table 1. Parameter values of the quadruple tank process.
Table 1. Parameter values of the quadruple tank process.
Para-meter   A 1 , A 3     [ c m 2 ]     A 2 , A 4     [ c m 2 ]     a 1 , a 3     [ c m 2 ]     a 2 , a 4     [ c m 2 ]     h 1 0 , h 2 0     [ c m ]     h 3 0     [ c m ]     h 4 0     [ c m ]     k c     k 1     k 2     g     [ c m / s 2 ]  
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
  γ 1   0.3 0.5 0.5 0.7 0.7 0.7 0.9 0.9 0.9 0.9
  γ 2   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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated