1. Introduction
Control systems are very important in real world applications and, therefore, they have been investigated exhaustively concerning their properties of stability, stabilization, controllability control strategies etc. See, for instance, [
1,
2,
3,
4] and references therein. Some extra constraints inherent to some systems, like solution positivity in the case of biological systems or human migrations or the needed behavior robustness against parametrical changes of disturbance actions add additional complexity to the related investigations and need the use of additional mathematical or engineering tools for the research development, [
5,
6,
7]. A large variety of modeling and design tools have to be invoked and developed in the analysis depending on the concrete systems under study and their potential applications as, for instance, the presence of internal and external delays, discretization, dynamics modeling based on fractional calculus, the existence of complex systems with interconnected subsystems, [
8,
9,
10,
11,
12,
13], hybrid coupled continuous/digital tandems, nonlinear systems and optimization and estimation techniques [
14,
15,
16,
17,
18,
19] as well as robotic and fuzzy-logic based systems, [
20,
21]. In particular, decentralized control is a useful tool for controlling dynamic systems by cutting some links between the dynamics coupling a set of subsystems integrated in the whole system at hand. It is claimed to keep the main properties related to the use of centralized control such as stability, controllability, observability, etc. In summary, a centralized controller keeps all the information on the system and coupling links as available to the control designer while decentralized control ignores some of such information or even cuts on occasions some of coupling signals between the various subsystems integrated in the whole system at hand. It can be pointed out that the stability studies are often performed trough Lyapunov theory which requires to find a Lyapunov function (see [
20,
21] and some references therein). It turns out that, if the neglected couplings are strong and are not taken into account by the controller, the stabilization and other properties such as the controllability can become lost. The use of decentralized stabilization and control tools is of interest when the whole system has physically separated subsystems that require the implementation of local control actuators but the control has to be global for the whole system. An ad-hoc example provided in [
2,
3,
4,
19] where decentralized control is of a great design interest is the case of several coupled cascade hydroelectric power plants allocated in the same river but separated far away from each other. It has to be pointed out that the term “decentralized control” versus “centralized control” refers to the eventual cut of links of the shared information between tandems of integrated subsystems, or coupling signals between them, to be controlled rather than to the physical disposal of the controller. In other words, if the whole controller keeps and uses all the information on measurable outputs and control components design to implement the control law, such a control is considered to have a centralized nature even if its various sub-control stations are not jointly allocated. It is a common designer´s basic idea in mind for complex control designs to try to minimize the modeling designs and computational loads without significantly losing the system´s performance and its essential properties. For instance, in [
8], the dynamic characteristic of a discrete-time system is given as an extended state space description in which state variables and output tracking error are integrated while they are regulated independently. The proposed robust model predictive control is much simpler than the traditional versions since the information of the upper and lower bounds of the time-varying delay are used for design purposes. On the other hand, in [
9], a control law might be synthesized for a hydropower plant with six generation units working in an alternation scheme. To assess the behavior of the controlled system, a model of such a nonlinear plant is controlled by a fractional proportional/integral/derivative control device through a linearization of its set points, the fractional part being relevant in the approach on the controller derivative actions. In addition, a set of applied complex control problems are studied, for instance, in [
10,
11,
12,
13,
14,
15,
16] with the aim of giving different ad hoc simplification tools to deal with the appropriate control methodologies. In particular, a decentralized control approach is proposed in [
16].
In this paper, the decentralized control design versus its decentralized control counterpart, under eventual output linear feedback, are studied from the point of view of the amount of information that can be lost or omitted in terms of the total or partial knowledge of the coupled dynamics between subsystems necessary in the decentralized case to keep the closed-loop stability. The study is made by using the information on the worst-case deviation, in terms of norms, between the respective matrices of open-loop dynamics and the respective controller gains under which the closed-loop stability is kept. This paper is organized as follows. The problem statement is given in
Section 2 while the main stabilization results of the paper are provided in
Section 3. The proofs of some of the results of
Section 3, which are technically involved, but conceptually simple, are distributed in various technical auxiliary that are given in
Appendix A and
Appendix B. It is claimed to give a non-complex method to test the feasibility of the implementation of decentralized control and conditions for its design, which be a fast and simpler stability test compared to Lyapunov stability theory [
20,
21], for instance, under a partial removal of information or physical cuts of links of coupling dynamics between the various subsystems or state, control and output components.
Section 4 discusses several examples and, finally, the concluding remarks end the paper.
Notation
and
are the spectrum and determinant of
, respectively. For
, being in general rectangular,
denotes any unspecified norm of
,
denotes the
or spectral norm of a matrix
,
denotes its spectral radius, and
denotes the
-norm of a stable real rational transfer matrix or function,
denotes the
th identity matrix, and
is the complex imaginary unit.
Let be symmetric. Then, and are, respectively, the maximum and minimum eigenvalues of .
is the set of Metzler matrices (any off-diagonal entry is non-negative) of th order.
is the set of -matrices (any off-diagonal entry is non-positive) of th order.
is the set of -matrices (-matrices which are stable or critically stable) of th order.
Assume that . Then, the notations , and , are, respectively, equivalent to , and , meaning that , (and ) and ; , respectively. In particular, , and are reworded as is non-negative, positive and strictly positive, respectively, and , and are reworded as is non-positive, negative and strictly negative, respectively.
2. Problem Statement
Consider the following linear and time-invariant system under linear output-feedback centralized control:
where
is the state vector;
is the centralized control vector;
is the output;
,
,
and
are the system, control, output and input–output interconnection matrices, respectively, of orders being compatible with the dimensions of the above vectors; and
is the control matrix. If the system runs in a decentralized control context, we have:
where
is the state vector;
is the centralized control vector;
is the output;
,
,
and
are the system, control, output and input–output interconnection matrices, respectively, of orders being compatible with the dimensions of the above vectors; and
is the control matrix.
Basically, the differences between centralized and decentralized controls are as follows:
- (1)
In the centralized control, all control components, or more generally, all subsystems if subsystems are considered in the model, have a complete information on the output available for feedback. This means that all control components or block-control inputs are available for controlling each state component (or each individual substate including several state components in the case of a more generic decomposition structure). Basically, the matrix has a complete non-diagonal or block non-diagonal structure. In the decentralized control, the various input components or block-control inputs are not available for controlling each state component. Thus, does not have a complete free design structure of its non-diagonal part and in some cases (completely decentralized disposal) its diagonal or block diagonal.
- (2)
In a more general context, some control or output links can be cut in the decentralized case for the sake of computational simplicity or a more economic control design. In our case, the decentralized input, output and interconnection matrices , and can be distinct from the centralized ones and, roughly speaking, to a have a “more diagonal” or “sparser” structure than their centralized counterparts , and . If the parameterization of the system (or dynamics) matrix is available to the designer, then some off-diagonal block matrices of could be zeroed or simply re-disposed in a more sparse structure to construct .
- (3)
The only strictly necessary condition for the system to be subject to partially (or, respectively, fully) decentralized control is that some (or, respectively, all) of the off-diagonal entries of are forced to be zero even if the system, control, output and interconnection matrices remain identical in Equations (4) and (5) with respect to Equations (1) and (2).
Assumption 1. The system in Equations (1) and (2) is linear output-feedback stabilizable via some centralized control law (Equation (3)).
Note that Assumption 1 does not hold if the open-loop system in Equations (1) and (2) has unstable or critically stable fixed modes that cannot be removed via linear feedback.
Proposition 1. If Assumption 1 holds, then there exists a centralized stabilizing controller gain such that the matrices and are non-singular, thus the closed-loop centralized control system is solvable and given by:and asymptotically stable for any given under the generated control law:that is, the polynomial is Hurwitz. Proof. The replacement of Equation (3) into Equations (1) and (2) yields Equation (7)–(9). Since the (1) and (2) is linear output stabilizable, a stabilizing controller gain has to exist such that (7)–(9) are solvable and the closed-loop dynamics is stable. □
Assumption 2. The system in Equations (4) and (5) is linear output-feedback stabilizable via some decentralized control law (Equation (6)).
In the same way as Proposition 1, we get the following result:
Proposition 2. If Assumption 2 holds, then there exists a decentralized stabilizing controller gain such that the matrices and are non-singular, thus the closed-loop decentralized control system is solvable and given by:and asymptotically stable for any given under the control law:that is, the polynomial is Hurwitz. Proposition 3. Assume that , , and , and that the system in Equations (1) and (2) is not linear output-feedback stabilizable via some centralized control law (Equation (3)). Then, it is not stabilizable under any linear output-feedback decentralized control (Equation (6)) either.
Proof. Obviously, if there is no completely free-design matrix that stabilizes Equations (1) and (2), then there is no with at least a forced zero off-diagonal entry that stabilizes it since has extra design constraints related to . □
It can be pointed out that decentralized control has also been proved to be useful in applications. For instance, an integral-based event-triggered asymptotic stabilization of a continuous-time linear system is studied in [
17] by considering actuator saturation and observer-based output feedback are considered. In the proposed scheme, the sensors and actuators are implemented in a decentralized manner and a type of Zeno-free decentralized integral-based event condition is designed to guarantee the asymptotic stability of the closed-loop systems. On the other hand, two decentralized fuzzy logic-based control schemes with a high-penetration non-storage wind-diesel system are studied in [
18] for small power system with high-penetration wind farms. In addition, several examples concerning decentralized control are described in [
4] to illustrate the theoretical design analysis. A typical described case is that of tandems of electrical power system with a tandem disposal on the same river which are not physically nearly allocated. The next section discusses some simple sufficiency-type conditions which ensure that, provided that the system is stabilizable under linear output-feedback centralized control, it is also stabilizable under decentralized control in two cases: (a) the system matrix remains identical but the other parameterization matrices can eventually vary; and (b) the system matrix can vary as well in the decentralized case with respect to the centralized one. A result elated to the maintenance of the stability of a matrix under an additive matrix perturbation is summarized through a set of sufficiency-type conditions simple to test in Theorem A1. Theorem A2 proves sufficiency-type for the stability of the matrix function
with
stable and
being time-varying.
Appendix B includes calculations and auxiliary results to quantify the tolerance to cut some dynamics links between subsystems, state components or control centers or components while keeping the closed-loop stability of the whole coupled system. The results of
Appendix A and
Appendix B are used in the proofs of the main results in the next section.
3. Main Results
The first set of technical results which follow are concerned with centralized and decentralized control stabilizability.
Assertion 1. A necessary and sufficient condition for the system to be linear state-stabilizable via some centralized control law is that for all .
Proof. Assume that for some . Then, there is some Laplace transform such that for some and for any and some with since for some . Therefore, the closed-loop system has some unstable or critically stable solution for any given (centralized) control gain. This proves the necessary part. Sufficiency follows since, if , then for all and some which can be found so that . □
Assertion 1 is a particular adapted ad-hoc test for stabilizability of the celebrated Popov–Belevitch–Hautus rank controllability test [
6]. Note that, if there exist unstable or critically stable fixed modes (i.e., those present in the open-loop system that cannot be removed via feedback control), then neither centralized nor decentralized stabilizing control laws can be synthesized. Note that the stabilizability rank test of Assumption 1 can only be evaluated for the critically and unstable eigenvalues of
instead for all the open right-hand complex plane. In all the remaining points of such a plane, the test always gives a full rank of the tested matrix. The parallel controllability test should always be applied in the same matrix to any eigenvalues of
.
Assertion 2. A necessary condition for the system to be linear state-stabilizable via some partially or totally decentralized control is that it be stabilizable via centralized control (i.e., Assertion 1 holds).
Proof. It is obvious from Assertion 1 since any gain used for centralized or decentralized is sparser than a centralized gain counterpart so that the proof follows from Assertion 1. □
Assertion 3. A necessary condition for the system to be linear output-stabilizable via some partially or totally decentralized control is that it be stabilizable via centralized control (i.e., that Assertion 1 holds).
Proof. It is obvious from Assertions 1 and 2 that, when replacing and (see Equations (9) and (12)), the second replacement happens under sparser parameterizations. □
Now, consider the closed-loop system matrices from Equations (7) and (10) for the case
.
with its parametrical error being:
A first main technical result follows:
Theorem 1. If Assumption 1 holds, assume also that is a centralized linear output-feedback stabilizing controller gain such that the resulting closed-loop system matrix has a stability abscissa . Then, the following properties hold:
(i) is a closed-loop stability matrix under a linear output-feedback stabilizing controller gain if any of the subsequent sufficiency-type conditions holds:
(1) The -norm of satisfies ,
(2) .
Other alternative sufficiency-type conditions to Conditions 1 and 2 for the stability of are:
(3) ,
(4) ,
(5) , that is, ,
in the following particular cases:
(a) and ; and
(b) and fulfills ; .
(ii) Assume that Property (i) holds and that the number of inputs and outputs are identical, i.e., , and decompose both the controller gain matrices as sums of their diagonal and off-diagonal parts leading to and , thus . Then, the system is stabilizable under partially decentralized control linear output-feedback control in the sense that Equations (4) and (5), is asymptotically stable under a control law (Equation (6)), if is such that, if there is at least one non-diagonal zero entry in at least one of its rows in the off-diagonal controller error matrix . If , then the system is stabilizable under decentralized control.
Proof. Property (i) is a direct translation of the results of Theorem A1 in
Appendix A to the closed-loop system matrices. Property (ii) holds if Property (i) holds with an off-diagonal controller error matrix between the centralized a decentralized controller gain that has at least one non-diagonal zero at some row (or its identically zero) so that a feedback from some crossed output to some of the inputs is not provided to the control law for closed-loop stabilization the stabilization. □
The following result follows for the time-varying case from Theorem 1 and Theorem A2:
Corollary 1. Assume that and then are everywhere piecewise-continuous time-varying. Then, Theorem 1 still holds if Condition 1 is replaced with ; with and being real constants such that ; .
Remark 1. Theorem 1 (ii) has been stated for the case . Note that the case (i.e., there are more inputs than outputs) is irrelevant for the stabilization from the strict algebraic point of view since the extra inputs would be redundant. In the case that , Theorem 1 (ii) might be directly generalized to a subsystem´s decomposition philosophy if a number of subsystems of inputs and outputs and with , ; with and .
Remark 2. Theorem 1 can be easily generalized to cases when some dynamics transmission links between state, input or output components (or subsystems, in general) can be suppressed by manipulation. In more general cases, it is possible to extend Theorem 1 to combinations of the subsequent situations with the matrix decompositions having the same sense (in the various modified contexts) as that of Theorem 1 (ii):
Case 1. Suppression of some transmission links between the coupled open-loop dynamics by examining the decompositions: , , and .
(a) If there is at least one non-diagonal zero entry in at least one of its rows in the off-diagonal controller error matrix which is not a corresponding zero in ; and (b) if there is at least one non-diagonal zero entry in at least one of its rows in the off-diagonal controller error matrix , then the closed-loop system is stabilizable under a partial decentralized control even if some links of the dynamics between crossed components are cut if Theorem 1 (ii) holds. If only Condition a is addressed, then the system is stabilizable by centralized control when cutting certain transmission links between coupled dynamics in the open-loop system. This idea can be extended to total decentralized control for a purely diagonal open-loop system´s dynamics under full zeroing of the off-diagonal corresponding error dynamics. It can be also generalized to the “ad hoc” decompositions between subsystems. Other cases with similar interpretations in the new contexts are:
Case 2. Suppression of some crossed entries in the open-loop control matrix by examining the decompositions: , , and .
Case 3. Suppression of some crossed entries in the open-loop output matrix by examining the decompositions: , , and .
Case 4. Suppression of some crossed entries in the open-loop interconnection matrix by examining the decompositions: , , and .
Case 5. Any combinations of Cases 1–4.
Problem 1. Find a stabilizing decentralized family of control gains by assuming that , such that and Assumption 1 holds with being a stabilizing centralized controller gain.
The following more general result for the eventual case (that is eventually), follows from Theorem 1, Theorem A1 and Theorem A2 and Lemmas B1, B2 and B3:
Theorem 2. Define the following error matrices between the centralized and decentralized system parameterizations:such that , , , and for some and given , , , . Assume that: - (1)
Assumption 1 holds;
- (2)
is a centralized linear output-feedback stabilizing controller gain such that the resulting closed-loop system matrix has a stability abscissa and such that (so that is non-singular);
- (3)
; and
- (4)
Define , where:wherewhere the non-negative real constant is given in Equation (A17). Then, the following properties hold: (i) If (that is, ), then is stable and .
(ii) If , then is stable and where and .
(iii) If is piecewise continuous and bounded, then Property (ii) holds by replacing by .
Remark 3. Some quantified results are given in Lemmas B.2 and B.3 to modify (and hence ) in Theorem 2 by considering the second power of in the calculations of the disturbed parameterization guaranteeing the closed-loop stability in the decentralized case.
Remark 4. If the corresponding parametrical error matrices of Equation (13) have some zero off-diagonal entries (or off-diagonal block matrices in the more general case that the system is described by coupled subsystems), then we have at least a partial closed-loop stabilization under decentralized control or, eventually, cut coupled dynamic links to the light of the various Cases 1–5 described after Remark 2 such that closed-loop stability is preserved.
Remark 5. Theorem 2 also applies to the case of state-feedback control by replacing the output matrices and fixing .
Remark 6. Theorem 2 also applies directly to the cases where Equations (1)–(3) are a given nominal asymptotically stable closed-loop system configuration and Equations (4)–(6) are a perturbed one whose closed-loop asymptotic stability maintenance related to its nominal counterpart is a suited objective and which is not necessarily of partial of compete decentralized type.
4. Simulation Examples
This Section contains some numerical simulation examples to illustrate the theoretical results introduced in
Section 3.
Example 1. Consider the interconnected linear system with less inputs than outputs given by, [19]:with , and matrices defined by: This system can be cast into the form of Equations (1) and (2) by composing the matrices:
Note that matrix
is unstable with eigenvalues given by
. A static feedback output controller of the form of Equation (3) can be designed for this system, which leads to the following gain:
that places the closed-loop poles at
and thus stabilizes the closed-loop system. The static feedback gain
corresponds to a centralized controller as it can be readily observed. The question that arises now is whether a decentralized controller defined by:
is enough to stabilize the system or not. Note that
is a block-diagonal matrix with zero off-block-diagonal entries. Theorem 1 enables us to guarantee the asymptotic stability of the above system when the decentralized controller
is used. Therefore,
,
and
while the feedback gain
is restricted to the proposed particular structure. In this way, consider now
,
and
. Condition 2 of Theorem 1
(i) yields:
Consequently, we can conclude from Theorem 1 that the closed-loop system controlled by the decentralized static output gain
is asymptotically stable. Thus, we have been able to easily analyze the stability of the decentralized case from the stability property of the centralized one.
Figure 1 shows the trajectories of the closed-loop system when the gain
is deployed with initial conditions given by
,
. It can be observed in
Figure 1 that all the states converge to zero as predicted by Theorem 1.
Example 2. Consider the linear system with the same number of inputs and outputs composed of two identical pendulums THAT are coupled by a spring and subject to two distinct inputs, as displayed in Figure 2, [19]. The mathematical model of such interconnected system is given by:
with
,
and matrices defined by:
where
g represents the gravity,
accounts for the friction,
are the masses of both pendulums,
k is the spring constant and the meanings of the geometrical parameters are shown in
Figure 2. This linear model corresponds to the linearization of the pendulum nonlinear equations around the up-right position equilibrium point. The following values were used in simulation, [
19]:
This system can be cast into the form of Equations (1) and (2) as:
A static output feedback controller can be designed for this system to achieve its asymptotic stability. In this way, the feedback gain
places the closed-loop poles at
with negative real parts. Now, we implement a decentralized controller with feedback gain given by:
Theorem 2 is now used to analyze the stability of the closed-loop system when this controller is employed. This case is of practical importance and corresponds to the situation when the local controller has only available for control purposes the information regarding the local output, and not the output of the complete system. Thus, the centralized and decentralized systems are the same and only the static feedback gain changes. Theorem 2 conditions are applied with
,
while the stability condition for this special case (see
Appendix B) reads:
Accordingly, the closed-loop system attained with the decentralized controller is asymptotically stable and all the outputs will converge to zero asymptotically.
Figure 3 displays the evolution of both angles from initial conditions
,
, where it can be observed that both pendulums are stabilized in the up-right position with the decentralized controller.
Example 3. Consider the linear interconnected system given by:with matrices defined by: This system is controlled by the static output feedback gain given by:
which places the closed-loop poles at
. The decentralized system is now given by:
The decentralized system corresponds to the case when some transmission links have been suppressed from the original open-loop coupled dynamics, as considered in Remark 2. The following decentralized gain iz employed to stabilize the decentralized system in Equations (4)–(6) parameterized by the above matrices:
Theorem 2 is used to analyze the stability of the decentralized closed-loop system. To this end, we calculate:
With these values, we can compute
so that
. Since
, we are in conditions of applying Theorem 2
(i) and we can conclude that the decentralized closed-loop system is asymptotically stable. In this way, the presented results allow establishing the stability of the decentralized system by a simple method based on the stability and design of the centralized system.
Figure 4 shows the state variables evolution from the initial state
. As shown in
Figure 4, the state variables converge to zero asymptotically, as concluded from Theorem 2.