Abstract
Collective behaviors such as synchronization, consensus, and flocking have been extensively investigated over the past decades. Many important results have been disseminated concerning the properties of complex networks. Recent technological development requires performance distribution, and this motivates the resolution to the issue of performance distributability. Albeit in a simple setup, this paper presents an attempt to attacking this problem. Important results are obtained for performance redistribution under both unitary and specified specifications. Constraints are also considered revealing the tight bounds on both nodes dynamics and graph elements for fulfilling the performance distribution and redistribution requirements. Examples are presented for verification of the claims.
1. Introduction
It has been widely accepted that complex networks encode many biological, technological, and even social systems, and many important results have been disseminated over the past decade [1–6]. Fundamental issues associated with both dynamical properties and control designs for complex networks have been extensively investigated such as network formations [7–9], network propagations [10], network controllability and observability [11–13], and network estimation [14]; collective behaviors such as synchronization [15–17] and consensus and flocking [18–20] have also been analyzed with many important results on conditions for emergences.
Besides the abovementioned research themes, there is yet another important problem to be addressed: the issue of performance distribution. The concept of performance distribution comes from the practical engineering requirements where performance variables are specified with different even contradicting performance indices. For example, in the newly developed tuned mass dampers, one performance variable is required to be attenuated for vibration isolation, while another one should be significantly increased for energy harvesting purpose [21, 22]. Performance distribution is best exemplified by the unmanned aerial vehicle application where one performance variable is such tuned to harvest energy for self-controlling and self-power [23]. Indeed, such concepts have promising applications in many engineering fields, yet this new requirement has not received enough attention in complex network research. This is not curious since collective behaviors such as synchronization, consensus, or flocking are the main concern in complex networks. In these studies, the objective is usually defined by unitary performance index such as tracking error approaching zero, or a set under persistent perturbation. This is different from performance distribution where one set of performance variables are required approaching zero, while others must be maintained above certain threshold values for efficient utilization (e.g., energy harvesting). Consequently the requirement of performance distribution is close to that of multiobjective optimization where more than one objective functions need to be optimized [24, 25]. Yet, multiobjective optimization problems are usually solved by intelligent algorithms that can often become very complicated for finding compromise solutions. This is particularly true for the design of optimal parameters with constraints. Physical insights are thus lost during the optimization process. In this paper, however, a simple yet powerful method is introduced for attacking the performance distribution and redistribution problems. Important physical insights can be retained when addressing both nominal and constrained designs. Meanwhile, as technology of the future seems to be more intelligent and connected which is strongly featured by smart agents with increasingly complex interactions, it is therefore focusing on the investigation of the effect of topological graph on network performance distribution properties. The structure of the paper is as follows. Section 2 presents problem formulation, while the solutions are given in Section 3. Section 4 considers the problem under distribution specification, while Section 5 further investigates the important problem of performance distribution with parametric constraints. Finally, Section 6 draws the conclusion and discussion which are given in relation to the contribution of the current paper.
2. Problem Formulation
Consider a networked system with nonidentical yet linear nodes’ dynamics subject to exogenous disturbances:where is the state variable of the node i; is the corresponding node dynamics, and it is further assumed that and s are constants yet different, henceforth representing a heterogeneous network; is the topological interaction among the nodes, and is the interaction strength with the exogenous signal . Thus, equation (1) represents a network with N nodes and unity inner coupling [26, 27].
To proceed, transform equation into complex domain leading towhere is the complex variable. For ease of presentation, the dependence of on has been omitted. Now, at a frequency , suppose the nodes dynamics are stable; then, (2) becomes an N-simultaneous algebraic equations and henceforth can be solved for as follows:
Remark 1. The advantage of writing in the matrix representation is that network system dynamics can be captured from frequency domain identification during commission stage, and this is often crucial for large-scale interconnected networks.
To proceed, note that, for a discrete frequency , the exogenous disturbances can be expressed as , where is a complex number representing the gain and phase shift with respect to the signal . With this convention, the frequency responses of can be represented with respect to as follows:Now, denote and ; define and
. Then, the above equation becomesObviously, G is the topological graph and defines the nodes dynamics. Further manipulation leads toEquation (6) defines the disturbance distribution property of the nodes for any specific topology graph S. It thus provides a foundation for further reshaping of performance distribution for each node. Consequently, the problem of performance redistribution through topology can be posed as follows:
2.1. Problem of Performance Redistribution
Given a performance specification for all the nodes of the complex network, find a topology graph S, such that the specification is satisfied; if the specification cannot be satisfied, provide conditions explaining the failure of satisfaction.
3. Performance Redistribution
To proceed, it is envisioned that a given topology graph produces two zones of performance distribution, namely, (1) attenuation zone and (2) enhancement zone. Thus, the above problem of performance redistribution can be recast to reshape the two zones by topology redesign. Without loss of generality, it is assumed that two nodes and correspond to the two zones, e.g., is attenuated and is enhanced. Henceforth, the original performance redistribution problem can be reformulated as shaping being attenuated and being enhanced. That is, the following definition is in force:
Thus,
The topology leads to the following disturbance distribution property:
Now, the reshaping of the performance distribution requireswith redesigned parameters .
This can be reformulated as the existence of such that the following is fulfilled:
Obviously, should there be total freedom upon the choice of , (11) is always achievable; however, constraints must exist for any nontrivial networks. The most common situation is a symmetric graph. If is symmetric, so is , implying that . This reduces the number of freedom in , and a known representation in would further reduce the freedom by the number of N. While there are two sets of inequalities in both (9) and (10), two sets of conditions for the unknowns can be derived. And consequently the problem of performance redistributablity is determined by the compatibility of the two sets of conditions for the unknowns to be satisfied. This can be summarized as follows.
Proposition 1. For a symmetric graph, performance redistribution is achievable if and only if the two sets of conditions specified for the unknowns resulting from inequalities (9) and (10) are simultaneously solvable.
Example 1. In the case of two nodes, there are only one unknown variable for a symmetric graph. Assume which is symmetric. For illustration purpose, it is simply assumed that , , and are unities. Then, it can be calculated:Now, assume that the parameters satisfyThus, the problem transforms to whether there exists such that the following representations are fulfilled:Now, (13) and (14) will be satisfied with the following conditions fulfilled, respectively:Or equivalentlyObviously, for(1), appropriate values of will fulfill (16)(2), appropriate values of will fulfill (17)That is, always exists so that (13) and (14) are simultaneously solvable, excluding .
Assertion 1. For a two-node network with symmetric graph, performance redistribution is always achievable if and only if .
The above assertion has a profound implication: performance redistributability is not influenced by the element . However, it should be noted that can shape the specific performance distribution level. This is to be looked at in detail below.
4. Performance Redistribution under Specification
The above development only answers the question of feasibility of performance redistribution under unity specification. In practical situations, it is more concerned to be capable of disturbance attenuation up to a certain level. For example, it is required that the disturbance should be redistributed above 6 dB. Thus, (9) and (10) must be reformulated as
And it is required to reshape the performance to bewith redesigned parameters .
In practice, can possess simple algebraic relationship such as , , and . Then, with the redefinition of , (18) and (19) can be written as
Parallel with the development in the above section for unity specification requirement, the following result is available.
Proposition 2. For a symmetric graph, performance redistribution under specification is achievable if and only if the two sets of conditions specified for the unknowns resulting from inequalities (20) and (21) are simultaneously solvable.
Example 2. In Example 1, further consider the problem of performance redistribution under a specification; then, (13) and (14) are written asThus, the problem transforms to whether there exists such that the following representations are fulfilled:Now, (22) and (23) will be satisfied with the following conditions fulfilled, respectively:Or equivalentlyUnlike the situation in Example 1, the validity of the conditions depends not only on but also on the frequency under consideration. Indeed, even the feasibility of the specification itself is constrained by the positiveness of the right hand of the inequality:Manipulation of (27) leads toConsequently, condition (28) actually puts a fundamental constraint on performance redistributability specified by . Essentially, the following statement has been proved: for a two-node network with symmetric graph, performance redistribution is achievable only if condition (28) is fulfilled. In the following, it will be shown that this condition is also sufficient.
To proceed, given the satisfaction of (28), it can be deduced from (25):orInequality (30) is the performance redistributability condition inferred from original specification, while (26) is the performance redistributability condition inferred from redistribution requirement which can be simplified asThus, (30) and (31) must have at least an intersection set leading toTo recap, should inequality (32) be satisfied, for within (29), original performance distribution (22) and performance redistribution requirement (23) will be feasible simultaneously. The only constraint on satisfaction of (32) is condition (28). Thus, we have proved the following remarkable results.
Assertion 2. For a two-node network with symmetric graph with feasible performance distribution, performance redistribution is achievable if and only if condition (28) is fulfilled, or .
Assertion 3. For a two-node network with symmetric graph with , performance redistribution is achievable and the required topology must satisfy (32).
Remark 2. The condition relates performance redistribution specification to nodes’ dynamics and frequency, which also answers the important problem of redistributability. Hence, Assertion 2 is a fundamental result for performance redistribution under a general performance specification.
Remark 3. It is now seen clearly that Assertion 1 is a special case of Assertion 2 with .
As a typical requirement of a 6 dB redistribution being targeted (hence, ) with a feasible specification, the above assertions claim that performance redistribution is achievable if and only if . And the required topology should satisfy
5. Performance Redistribution with Constraints
As the graph can often represent physical topological connections, e.g., mass-damper-spring systems, the physical parameters are positive that would require the elements of S being positive-definite or negative-definite; meanwhile, the node dynamics in considered systems can be (non) Hurwitzian. Thus, this will further constrain the redistributability of performance. A general discussion can be preceded with detailed classifications, e.g., symmetric graph with positive-definite elements and Hurwitzian nodes dynamics and symmetric graph with negative-definite elements and non-Hurwitzian node dynamics. To clarify and illustrate the basic ideas, we shall restrict to the discussion of the situation for symmetric graph with positive-definite elements. The remaining cases can then be deduced by parallel analogy from the development below.
Giving this prelude, the following statement is a straightforward extension from Proposition 2.
Proposition 3. For a symmetric graph with positive-definite elements, performance redistribution is achievable if and only if the feasible and in (19) and (20), respectively, have elements being simultaneously positive-definite.
The above proposition is best exemplified from the following examples.
Example 3. In Example 2, further consider the constraint ; then, for the corresponding and to be feasible, there must beThus, should the element be positive, the following inequalities must hold:Manipulation leads toTogether with (28), it is seen that performance redistributability is “severely” restricted by the constraint demanded by positive . This is summarized as follows.
Assertion 4. For a two-node network with symmetric graph and positive graph elements, performance redistribution is achievable if only if (28), (36), and (37) are simultaneously satisfied.
Remark 4. As a natural consequence, the freedom for allowable node dynamics and even frequency range are also restricted whose Hurwitzianess and domains are actually already determined.
To be specific, consider a 6 dB redistribution being targeted; then, (28), (36), and (37) readFrom (38) and (39), it is seen that not only the node dynamics and but also the allowable frequency range are already prescribed through the requirement of positive . For example, for , then is restricted to be ; yet, for and , the frequency range is narrowed down to , which almost renders the performance redistribution infeasible.
Remark 5. Henceforth, as a final remark, it is noted that the performance redistribution can eventually become unachievable if more constraints exist, e.g., domain restriction to either graph elements or nodes dynamics () and magnitude constraints due to spatial restrictions. Performance distribution and redistribution requirements thus provide tight bounds on both nodes dynamics and graph elements.
6. Conclusion and Discussion
The important problem of performance distribution has been disseminated. Important results upon performance distribution under both unity and general specifications have been obtained. Numerical examples have been followed with each claim to clarify the result and better exemplify the illustrations. The contribution of the paper can be best recognized by recasting the discussed problems into the general complex networks research themes: complex networks have been conventionally approached with the consideration of synchronization, consensus, or flocking, where the objective has been defined by the performance index as a tracking error approaching zero or a set. Performance distribution, however, concerns both attenuation and enhancement. This requirement comes from the practical need from the emerging area of vibration energy harvesting, noise cloaking in military submarines, etc. Indeed, applications provide strong motivation to network control theory, and new requirement thus calls upon new theoretical development.
Therefore, other than providing detailed application-specific results, a framework is established for investigation of the new requirement of performance distribution problems. Avenues such as performance distribution and redistribution over a frequency band and nonlinear redistribution can be explored. Such a methodology would thus forge many design methods together for resolution of the important problem of performance distribution for any specific problems associated with practical engineering.
Data Availability
The data used to support the findings of the study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The authors are grateful for the financial support by the Fundamental Research Funds for the Central Universities (no. NS2020017); Foundation for University Key Teacher by the Ministry of Education of Henan Province (2018GGJS234); Central Military Commission Foundation to Strengthen Program Technology Fund (no. 2019-JCJQ-JJ-347); Central Military Commission Special Fund for Defense Science, Technology & Innovation (no. 20-163-00-TS-009-096-01); State Foreign Affairs Bureau Fund for Introduction Plan of High-end Foreign Experts (G20200010100); and Aviation Science Fund of China-Xi’an 631 Research Institute (201919052001).