Advances in Decision Sciences

Advances in Decision Sciences / 2010 / Article

Research Article | Open Access

Volume 2010 |Article ID 809481 | 19 pages | https://doi.org/10.1155/2010/809481

Input and Output Passivity of Complex Dynamical Networks with General Topology

Academic Editor: Stefanka Chukova
Received17 Aug 2009
Accepted28 Dec 2009
Published30 Mar 2010

Abstract

The input passivity and output passivity are investigated for a generalized complex dynamical network, in which the coupling may be nonlinear, time-varying, and nonsymmetric. By constructing some suitable Lyapunov functionals, some input and output passivity criteria are derived in form of linear matrix inequalities (LMIs) for complex dynamical network. Finally, a numerical example and its simulation are given to illustrate the efficiency of the derived results.

1. Introduction

In the past few decades, the passivity theory provides a nice tool for analyzing the stability of systems and has found applications in diverse areas such as stability, complexity, signal processing, chaos control and synchronization, and fuzzy control. Many interesting results in linear and nonlinear systems have been derived (see [121]). Especially, the passivity of neural networks [5, 7, 1113, 21] and fuzzy systems [6, 10, 16, 19] have been extensively investigated because of their great significance for both practical and theoretical purposes.

Recently, the complex networks have been gaining increasing recognition as a fundamental tool in understanding dynamical behavior and the response of real systems across many fields of science and engineering. In particular, synchronization is one of the most significant and interesting dynamical properties of the complex networks which has been carefully studied [2246]. However, few authors have considered the problem on the passivity of complex dynamical networks. Therefore, it is interesting to study the passivity of complex dynamical networks.

It is well known that the power supply is an important role for stability analysis and controller synthesis of linear or nonlinear systems. Based on the concept of power supply, the input passivity is introduced. For instance, Chang et al. [19] dealt with developing the relaxed stability conditions for continuous-time affine Takagi-Sugeno (T-S) fuzzy models by applying the input passivity and Lyapunov theory. However, to the best of our knowledge, the intput passivity of complex dynamical networks with time-varying delays has not yet been established in the literature. Therefore, it is interesting to study input passivity of complex dynamical networks possessing general topology. As a natural extension of input passivity, we also introduce the output passivity in order to study dynamical behavior of complex networks much better.

It should be pointed out that many literatures on the dynamical behavior of complex dynamical networks are considered under some simplified assumptions. For instance, the coupling among the nodes of the complex networks is linear, time invariant, symmetric, and so on. In fact, such simplification does not match the peculiarities of real networks in many circumstances. Firstly, the interplay of two different nodes in a network cannot be described accurately by linear functions of their states because they are naturally nonlinear functions of states. Secondly, many real-world networks are more likely to have different coupling strengths for different connections, and coupling strength are frequently varied with time. Moreover, the coupling topology is likely directed and weighted in many real-world networks such as the food web, metabolic networks, World-Wide Web, epidemic networks, document citation networks, and so on. Hence, it is interesting to remove the assumptions mentioned above in order to investigate the passivity of complex networks much better. Additionally, it is well known that the phenomena of time delays are common in complex networks, in which delays even are frequently varied with time. Therefore, It is interesting to study such a complex dynamical network model with nonlinear, time-varying, nonsymmetric, and delayed coupling.

Motived by the above discussion, we formulate a delayed dynamical network model with general topology. The objective of this paper is to study the input and output passivity of complex networks. Some sufficient conditions on input and output passivity are obtained by LMI and Lyapunov functional method for complex dynamical networks.

The rest of this paper is organized as follows. In Section 2, a complex dynamical network model is introduced and some useful preliminaries are presented. Some input and output passivity conditions are presented in Section 3. In Section 4, a numerical example and its simulation are given to illustrate the theoretical results. Finally, conclusions are drawn in Section 5.

2. Network Model and Preliminaries

In this paper, we consider a dynamical network consisting of N identical nodes with diffusive and delay coupling. The mathematical model of the coupled network can be described as follows:

where , is continuously differentiable function, = ,,, is the state variable of node , is the time-varying delays with , , is the output of node , and is the input vector of node , , and are known matrices with appropriate dimensions, =,,, and = ,,, are continuously functions that describe the coupling relations between two nodes for nondelayed configuration and delayed one at time , respectively, and represent the topological structure of the complex network and coupling strength between nodes for nondelayed configuration and delayed one at time , respectively, and the diagonal elements of and are defined as follows:

One should note that, in this model, the individual couplings between two connected nodes may be nonlinear, and the coupling configurations are not restricted to the symmetric and irreducible connections or the nonnegative off-diagonal links. In [47], Yu and his colleagues investigated a linearly hybrid coupled network with time-varying delay, in which the coupling is linear, time invariant. In addition, the coupling relation and the coupling configuration are not related to the current states and the delayed states. Hence, the complex dynamical network discussed in this paper can describe the real-world networks much better.

In the following, we give several useful denotations, definitions, and lemmas.

Let be the n-dimensional Euclidean space and the space of real matrices. means matrix is symmetrical and semipositive (seminegative) definite. means that matrix is symmetrical and positive (negative) definite. is the Euclidean norm. denotes the real identity matrix.

Definition 2.1 (see [3, 4, 19]). Network (2.1) is called input passive if there exist two constants and such that for all .

Definition 2.2. Network (2.1) is called output passive if there exist two constants and such that for all .

Lemma 2.3 (see [32]). For any vectors and square matrix , the following LMI holds:

3. Main Results

In order to obtain our main results, two useful assumptions are introduced.

(A1)There exist two constants such that hold for any . Here are time-varying vectors.(A2)There exist two positive constants such that hold for any . Here are time-varying vectors.

In the following, we first give some input passivity criteria.

Theorem 3.1. Let (A1) and (A2) hold, and . Suppose that there exist matrices , , and two positive constants such that where , denotes the real identity matrix. Then the network (2.1) is input passive.

Proof. Firstly, we can rewrite network (2.1) in a compact form as follows: where In the following, construct Lyapunov functional for model (3.5) as follows: The derivative of satisfies where Then we have Applying Lemma 2.3, then we can easily obtain Hence, we have According to (A1) and (A2), we have It follows from inequalities (3.12) that By integrating (3.13) with respect to over the time period 0 to , we get From the definition of , we have . Thus, for all . The proof is completed.

Theorem 3.2. Let (A1) and (A2) hold, and . Assume that there exist two matrices , , , , and two positive constants such that where denotes and denotes where , . denotes the real identity matrix. Then the network (2.1) is input passive.

Proof. Firstly, construct the following Lyapunov functional for system (3.5): The derivative of satisfies Then we can easily obtain Set We have According to LMI (3.17)-(3.18), we have Since (A1), we can easily obtain It follows from inequalities (3.12) and (3.26) that By integrating (3.27) with respect to t over the time period 0 to , we get From the definition of , we have . Thus, for all . The proof is completed.

In the above, two sufficient conditions are given to ensure the input passivity of network (2.1). In the following, we discuss the output passivity of network (2.1).

Theorem 3.3. Let (A1) and (A2) hold, and . Suppose that there exist matrices , , and two positive constants such that where denotes the real identity matrix. Then the network (2.1) is output passive.

Proof. Firstly, we construct the same Lyapunov functional as (3.7) for system (3.5), then we can obtain Then we have Applying Lemma 2.3, we have Hence, we can easily obtain It follows from inequalities (3.12) that By integrating (3.36) with respect to over the time period 0 to , we get From the definition of , we have . Thus, for all . The proof is completed.

Theorem 3.4. Let (A1) and (A2) hold, and . Assume that there exist two matrices , , , , and two positive constants such that where denotes the real identity matrix. Then the network (2.1) is output passive.

Proof. Similarly, we construct the same Lyapunov functional as (3.20) for system (3.5), then we can obtain Then, we can easily obtain Set So, we have According to LMI (3.40), we have It follows from inequalities (3.12) and (3.26) that By integrating (3.49) with respect to over the time period 0 to , we get From the definition of , we have . Thus, for all . The proof is completed.

Remark 3.5. The conditions in the above theorems do not restrict the coupling among the nodes of the complex networks to be linear, time invariant, symmetric, and so on. Therefore, our criteria are flexible and convenient.

4. Example

In this section, we give an example and its simulation to show the effectiveness of the above obtained theoretical criteria.

Example 4.1. Consider the following dynamical network (2.1) with the system parameters: It is obvious that we can take and and the coupling is not restricted to linear, symmetric, and the nonnegative off-diagonal.
Firstly, we analyze the input passivity of network (2.1) with different time-varying delays.
Set then we have , for , ,
Using the MATLAB LMI Toolbox, we can find the following positive-definite matrix satisfying the LMI (3.3) with , and ,
According to Theorem 3.1, we know that network (2.1) with above given parameters is input passive. Then, set and the simulation results are shown in Figure 1.
In the following, we analyze the output passivity of the network (2.1) with different time-varying delays.
Set