Optimal Distributed Controller Design for Nonlinear Coupled Dynamical Networks
This paper is concerned with the optimal distributed impulsive controller design for globally exponential synchronization of nonlinear dynamical networks with coupling delay. By the Lyapunov-Razumikhin method, a novel criterion is proposed to guarantee the global exponential synchronization of the coupled delayed network with distributed impulsive control in terms of matrix inequalities. The sum of coupling strengths of the distributed impulsive control is minimized to save the control effort. Finally, the effectiveness of the proposed method has been demonstrated by some simulations.
During the last decade, a great amount of effort has been devoted to the study of synchronization of coupled networks due to their applications in many fields including secure communication, neural networks , and information science [2–10]. It is well known that there are three primary methods to be used to study the synchronization of the coupled network, that is, the Master Stability Function method, Lyapunov's direct method, and Connection Graph Stability method. Based on these methods, many research results have been reported on the synchronization from different points of view. Bounded synchronization and state estimation for discrete time-varying stochastic complex networks over a finite horizon have been investigated in . A time-varying complex dynamical network model and its controlled synchronization criteria have been considered in . In , pinning synchronization of directed and undirected complex dynamical networks has been studied. An adaptive feedback controller has been proposed in  to synchronize a general complex dynamical network with delayed nodes.
In recent years, there are many control schemes that have been introduced to realize the network synchronization. For example, robust impulsive synchronization [11, 12], pinning control , and adaptive control . In impulsive control, the impulse signal is input into the nodes only at impulsive instance. The essential benefit of the impulsive control approach is derived from the fact that such control requires much less information, computational power, and bandwidth in sensing data communications in coupled networks and increases the robustness against the disturbance. Hence, the impulsive control is more effective compared with the control approaches using continuous measurement. In [13, 15–17], impulsive controllers for the stabilization or synchronization of complex dynamical networks are applied. Considering the impulsive effect as disturbance of the system, many researchers have done investigation to analyze the bound of the impulsive interval, parameter of the node, and topology of the network [11, 18–22]. In these references, the impulsive controller or disturbance only effect on the local sensor or node and the coupling of the impulsive effect has not been considered. However, in this paper, the distributed impulsive controller is designed to synchronize the coupled network not only based on its local measurement but also on its neighboring measurement according to the topology of distributed impulsive controller. Although the synchronization of coupled networks has been investigated intensively in recent years, however, to our best knowledge, the distributed impulsive control for nonlinear coupled networks has received little attention, in particular the optimal of the coupling strength. This motivates the current study.
In this paper, we aim to deal with the synchronization of nonlinear coupled networks with time-varying delay via distributed impulsive control and specify the minimum coupling strengths of the corresponding links in the distributed controller topology. The rest of the paper is organized as follows. In Section 2, the problem we are considering is described and some useful lemmas and definitions are presented. Section 3 provides the main results of this paper. The distributed impulsive controller is designed to synchronize the coupled networks with time-varying delay and the sum of the coupling strength of the controller is minimum. An example is presented in Section 4 and some simulations are presented to illustrate the effectiveness of the proposed methods. Finally, the conclusions are given in Section 5.
Notations. For vector and matrix , and denote 2-norms of and , respectively. A real matrix denotes being a positive (negative) definite matrix, and means . denotes the transpose of matrix . The identity matrix of order is denoted as (or simply if no confusion arises). Moreover, matrices are assumed to have compatible dimensions if not explicitly stated. denotes the symmetric block of a symmetric matrix, and denotes the block diagonal matrix. and are used to denote the maximum and minimum eigenvalue of matrix , respectively. is the set of all positive natural numbers.
2. Preliminaries and Problem Formulation
We consider a dynamical network consisting of linearly coupled oscillators. Each node of the network is an -dimensional dynamical system, which is described by where is the state of the th oscillator, is a continuous function, and there exists a unique continuous solution for any initial condition. Suppose that the uniform Lipschitz condition holds; that is, for any . Then, there exists a positive constant such that . is the inner-coupling matrix, and is the coupling strength from the th oscillator to the th oscillator, where means that the th oscillator is coupled with the th oscillator directly and means that the th oscillator is decoupled from the th oscillator. Suppose that the communication topology is strongly connected . is the time delay between nodes which satisfies [13, 24–26]. Moreover, are the controllers designed for the network.
The topology of the coupled networks in (1) is described as a directed graph of order with the set of nodes , and the elements in are the oscillator's indexes. is a set of directed link sets, and when oscillator is coupled with oscillator directly, there is a directed link from node to node ; that is, . The set of neighbors of vertex is denoted by . In the following, we introduce some definitions and lemma that are essential for the development of main results in this paper.
Definition 1. The coupled network (1) is said to be globally exponentially synchronous if there exist constants and , such that for any initial conditions the inequality holds for .
Definition 2. A coupling matrix is defined as
where denotes the constant matrices corresponding to the directed links and each only contains two nonzero entries, that is, at the th entry and at the th entry. From Definition 2, the coupled network (1) can be rewritten in a compact form:
where , , and . Define matrices and as
where . By the multiplication of on (4), one has
In order to achieve synchronization of coupled network (1) and inspired by the controller proposed in , a distributed impulsive controller for the th node is designed as where denotes the coupling strength corresponding to the directed links , which need to be designed. The impulsive instant sequence satisfies , . is the Dirac impulsive function; that is, for , and . In many applications, the Dirac delta function is usually used to model an impulse. Taking integral on both sides of (1) from to , where , one has where , , and , with discontinuity instants . Without loss of generality, it is assumed that ; that is, is left continuous at . Equation (10) implies that the node will suddenly update its state variables not only according to the state variables of itself but also its neighbors at instant .
Since the distributed controller can use the original topology of the coupled network and will not cause additional effort in building new links, the topology of the distributed controller is designed as the same with the coupled network (1). Hence, the coupling matrix of the distributed impulsive controller can be defined as where is defined in (3). Then, one can rewrite (10) into a compact form: where , . By the multiplication of on (12), one has where , , , and , .
From (7) and (13), the impulsively controlled error system can be described by the following impulsive differential equation: where .
Lemma 3 (see ). For matrices , and with appropriate dimensions, one has
In the following section, the exponential synchronization of coupled networks with distributed impulsive control is investigated based on this model.
3. Main Results
In this section, a novel contradiction method is proposed to analyze the global exponential synchronization of system (1) to obtain an optimal distributed impulsive control law.
Theorem 4. Let , given positive scalars , and , if there exists matrix , matrix , and positive scalar , such that the following inequalities hold; then the coupled network (1) can achieve global exponential synchronization.
Proof. In the following, for convenience, we assume . For , we denote the solution of (14) by . Consider a Lyapunov function candidate for the error dynamic system (14) as where . Calculating the Dini derivative of along the solution of the system (14) for , one has where . Noting that and inequality (16), there exist positive scalars , , and , where , such that the following linear matrix inequality is satisfied: From (17), one has Hence, Let ; then Let be a fixed number. In the following, we will prove that , . Note that for . We will first prove that via contradiction. Suppose this is not the case; that is, there exists a such that . Set ; then one has Noticing (24), one has . Set ; then one has Hence, one has that, for , where , . Noticing (20), one has then the last inequality is derived by using (27) and . Since , inequality (31) becomes which contradict to (26). Now we have proved that inequality (25) holds. Next, we assume that We want to prove that Suppose this is not the case; that is, there exists a such that Set ; then From (22) and (33), we have Set ; then , and for . One has for . Hence, which yields a contradiction to (36). Therefore, inequality (34) holds. By mathematical induction we have On the other hand, note that ; one has thus from Definition 1, the coupled network (1) is globally synchronized under the distributed controller (9).
Remark 5. Theorem 4 outlines the principle of determining the distributed controller gains. However, it does not provide an optimal coupling strength. Next, the sum of all coupling strengths is minimized by solving the following optimisation problem:
Remark 6. When the coupled network (1) is given, then the coupling strength is known; consequently, is also known. The topology of the distributed controller can be designed as the same with coupled network (1). Only the coupling strength needs to be determined. Our aim is to optimize the coupling strength of the controller and make the sum of all coupling strengths being minimized. Since and are unknown matrices, inequality (17) is not linear matrix inequality and cannot be solved efficiently. We will propose the following algorithm to find a suboptimal solution of the .
Step 1. Let the positive matrix , and let be a small positive scalar.
Step 2. Solve the linear matrix inequality (17); one will have .
Step 3. Using the value of obtained by Step 2, take a positive matrix that is to be determined. Solving the optimization problem as follows: where is positive scalar.
Step 4. If , then go back to Step 2; else, terminate the algorithm.
Thus we can obtain the coupling strength with the smallest coupling sum by this iterative algorithm.
4. Illustrative Example
In this section, a numerical example of global exponential synchronization of a coupled network with Lorenz oscillators is provided to illustrate the design procedure of the proposed distributed impulsive controller. The functions of Lorenz oscillators are given by with . Let ; the inner-coupling matrix is given by and the coupling delay is set as . The coupling matrix of the given coupled network is given by then the coupling matrix of distributed controller can be designed as follows: such that the sum of coupling strengths is as small as possible. Let , , and . Solving matrix inequalities (16) and (17) by the method proposed in Remark 5, we have . The states of the coupled network without control and with distributed impulsive control are shown in Figures 1 and 2, respectively. From Figure 2, we find that the coupled network (1) is globally exponentially synchronous under the distributed controller.
In this paper, we have studied the distributed impulsive controller design for globally exponential synchronization of nonlinear networks with coupling delay. The sum of coupling strengths of the distributed impulsive control is minimized to save the control effort. Some criteria have been derived based on Lyapunov-Razumikhin method to guarantee the global exponential synchronization of the coupled network with distributed impulsive control in terms of matrix inequalities. A numerical example has been presented to demonstrate the usefulness and effectiveness of the proposed approach. Further research directions would include the investigation on more general nonlinear systems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work is supported by the National Natural Science Foundation of China (61273026, 61004028, 61272064, and 91120308), the Innovation Program of Shanghai Municipal Education Commission (12zz052), and the Fundamental Research Funds for the Central Universities.
L. X. Zhang, H. J. Gao, and O. Kaynak, “Network-induced constraints in networked control systems-a survey,” IEEE Transactions on Industrial Informatics, vol. 9, no. 1, pp. 403–416, 2013.View at: Google Scholar
Q. Zhang, J. A. Lu, and J. Zhao, “Impulsive synchronization of general continuous and discrete-time complex dynamical networks,” Communications in Nonlinear Science and Numerical Simulation, vol. 15, no. 4, pp. 1063–1070, 2010.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. G. Peng, “Delay-independent global exponential stabilization for stochastic fuzzy systems with time delay via impulsive fuzzy control,” in Proceedings of the 29th Chinese Control Conference (CCC '10), pp. 1049–1052, July 2010.View at: Google Scholar
T. H. Lee, J. H. Park, O. M. Kwon, and S. M. Lee, “Synchronization of a time-varying delayed complex dynamical network with nonidentical nodes and free coupling matrix,” in Proceedings of the International Conference on Control, Automation and Systems (ICCAS '11), pp. 1837–1840, October 2011.View at: Google Scholar
C. Yoshioka and T. Namerikawa, “Observer-based consensus control strategy for multi-agent system with communication time delay,” in Proceedings of the IEEE International Conference on Control Applications (CCA '08), pp. 1037–1042, San Antonio, Tex, USA, September 2008.View at: Publisher Site | Google Scholar
L. Huang, Linear Algebra in System and Control Theory, Science Press, Beijing, China, 1984.