Abstract
This work is devoted to studying the stochastic stabilization of a class of neutral-type complex-valued neural networks (CVNNs) with partly unknown Markov jump. Firstly, in order to reduce the conservation of our stability conditions, two integral inequalities are generalized to the complex-valued domain. Secondly, a state-feedback controller is designed to investigate the stability of the neutral-type CVNNs with performance, making the stability problem a further extension, and then, the stabilization of the CVNNs with performance is investigated through a sampling-based event-triggered (SBET) control for the first time that the transmission event is not triggered except when it violates the event-triggered condition. Finally, two examples are given to illustrate the validity and correctness of our obtained theorems.
1. Introduction
In terms of the wide application in electromagnetic processing, light wave and sound wave, the neural networks have attracted much attention in recent decades [1–3]. In the meantime, complex-valued signals occur inevitably in practice, and more and more scholars began to make investigations on CVNNs [4–12]. There are two methods usually used in the study of CVNNs: one is to divide the neural networks into the real part and imaginary part, then, the original CVNNs will be changed into real-valued neural networks [8–10]. The other method is when the activation function in CVNNs cannot be separated, the stability condition of the system will be sure by the complex-valued LKFs under the condition that the activation function satisfies the complex-valued Lipschitz continuity [11, 12], and it would increase the difficulty of the analysis. Considering the network works which are transformed in the first method are real-valued systems, it is easier to understand. Unfortunately, the dimensions of the obtained real-valued neural networks are twice the dimension of the original CVNNs. Also, the partial derivatives of the real and imaginary parts of state variables of the activation function are required not only to exist but also to be continuous and bounded, resulting in problems in our analysis and the application of the obtained conclusions would be limited. According to the state of the art, the LKFs method is often used to deal with neural networks problems because of its simplicity and effectiveness [10, 13–15], so it is necessary to construct LKFs with conjugate transpose of state vector to study the CVNNs by the method which do not separate the original system.
Due to the complexity of the reality, certain systems are sometimes difficult to apply to the reality, making the research of uncertain systems more valuable and practical [16]. control provides a good method of dealing with unstructured uncertain systems, and research related has grown over the past two decades. Besides, it was increasingly used to analyse problems in the field of robotics, aerospace, and power systems [13, 16–20]. Reference [16] was concerned with the stabilization problem for uncertain T-S fuzzy systems with time-varying delays via a robust state-feedback controller. And more general LKFs method with relaxed conditions was constructed through an improved time-delay interval segmentation method. The state-feedback control problem of time-delay systems is studied in [13], and the reciprocal convex inequality was used to obtain stability conditions of the system. However, the research we mentioned is all committed to the real systems; there is little related research on the performance of CVNNs, and it is one of the main tasks in this paper. Furthermore, many scholars have specialized in the dynamic system with Markov jumping on account of the universal of Markov phenomenon, and abundant achievements have been made [14, 21–27]. In the applications of practical engineering, the analysis and control synthesis of Markov jumping systems are troubled by many dicey factors, such as the partial unknown transmission probability and the uncertainty of transmission rates. Some preliminary results have been obtained in the study of Markov jumping systems with partially unknown transmission probability [21, 23, 24, 27]. To our knowledge, less effort has been made on CVNNs with Markov phenomenon. To sum up, it is necessary to analyze the stability and performance of Markov jumping CVNNs in the case of partially unknown transmission probability.
In the past few years, the sampled-data control and event-triggered control as a discrete control have attracted much attention from scholars [15, 28–40]. The so-called event-triggered control refers to a control of the tasks; whether to be executed is determined by the given event-triggered conditions in advance rather than according to the time. The control tasks would execute d immediately when the event-triggered mechanism is broken out. Comparing to the controller with time mechanism [32], events-triggered control can save the computing resources, battery energy, and communication resources obviously. Note that the event-triggered was continuous in the inchoate phase and that special hardware is needed to monitor the status continuously. Yue dong et al. proposed the (SBET) control, which is a discrete one [34]. And the monitor only needs to observe the state of the system at discrete instants with a SBET scheme that can effectively reduce the number of control tasks and save the communication resources significantly. In literature [37], the global asymptotic stability of the CVNNs under the framework of event-triggered control was studied by dividing the system into real and imaginary parts. There is an output-feedback control under the event-triggered framework with nonuniform sampling used to explain the stability of networked control systems by Peng and Zheng [33]. Unfortunately, there is almost no research on CVNNs with a SBET control. So, how to stabilize the CVNNs by designing a sampling-based event-triggered controller is of our interest.
To date, this paper focuses on the stabilization of CVNNs with partly unknown Markov jump and time-varying delay. Firstly, a state-feedback control is proposed to explain the stability of neutral-type CVNNs; to our knowledge, there is little research about the stabilization of neural networks in the complex field. Secondly, the stabilization of Markov jumping neutral-type CVNNs with performance is considered under the framework of a SBET controller. And it is the first time to study CVNNs with a sampling-based event-triggered mechanism while avoid splitting the system into two parts, which reduces the computational complexity greatly.
Notations: throughout this work, denotes the complex field and is the n dimensional complex space. (or ) means that is a positive Hermitian matrix (or negative Hermitian matrix), , where and , respectively, mean the conjugate transpose matrix and transpose matrix of , in a matrix denotes the self-conjugate part of the Hermitian matrix.
2. Problem Description and Preliminaries
2.1. Problem Description
Consider a class of neutral-type CVNNs with partly unknown Markov jump as follows:where is the state vector, which is described as and expresses the state of the th neuron. is the external disturbance, is a control input, is the control output, is the time-varying delay, and is the initial value condition. , denotes a Markov process with on the probability space , which is right-continuous, and it takes values in set with the transition rate matrix given by
However, not all the information of our transition rates can be obtained; then, the transition rate matrix with modes can be expressed aswhere expresses the transition rates which are unknown and, for , the set is expressed as with
With and the controllers being considered as , then system (1) would be reexpressed as
2.2. The SBET Scheme
To economize resource, we study the stabilization of the CVNNs (1) under the SBET control in this section. Assuming that the sampling device performs periodically sampling on the system state, is the sampling sequence with , and is the constant sampling period, set , , describe the event-triggered sequence, it is clear that , and the sampling-based event-triggered scheme is given aswhere and is a positive Hermitian matrix, , with , . As a matter of fact, the network-induced time delay is inevitable when signals are transmitted between the event generator and the actuator at time , which can be expressed as , and . In , the control signal is hold by a zero-order-hold (ZOH) function. For , set , and define , , , with , and the SBET controllers are represented aswith ; system (1) would be transformed to
Remark 1. The parameter can make a significant difference in whether the data would be released or not. As gets smaller, conditions (6) are more likely to be violated. : if , the SBET scheme would be degenerated into that all the sampled data would be transmitted, and the SBET scheme (6) reduces to a periodic time-triggered one. : if the right-hand side of the inequality is a constant , the SBET scheme would be changed intoand then, the SBET scheme (6) is converted from a relative threshold event-trigger condition to a fixed threshold event-trigger condition. However, an event-triggered control with the condition in case 2 may cause the system to be unstable and fail to achieve the control intention.
The following assumptions are put forward to draw the main results.
Assumption 1. Each activation function in (5) satisfies the following condition:where and with .
Definition 1. (see [28]). System (5) is said to be stochastically stable if the following inequality holds:
Definition 2. If the CVNNs satisfy Definition 1 under the initial condition, and , that is,then we say system (5) possesses performance with attenuation index .
Several essential lemmas are given before the proof of our theorems.
Lemma 1 (see [12]). For any vector , there is a scalar , and is a positive defined matrix, matrices , and is considered asIf the matrix satisfies , then
Lemma 2 (see [41, 42]). is a Hermitian matrix, for any continuous and differentiable function ; the following inequality holdswhereBy combining Lemma 1 with Lemma 2, we have the following lemma.
Lemma 3. For Hermitian matrix and arbitrary matrices , which belong to , setting , we havewhere
Proof. By dividing the left-hand side of inequality (18) into two parts, the following formula is obtained:estimating the two parts of the right-hand side of the above inequality, respectively, by Lemma 2, and then, combining the obtained parts via Lemma 1, we havewithand this ends the proof.
Remark 2. A similar conclusion has been obtained in real domain. Lemma 3 is an extension which can apply to the complex domain with complex-valued matrices and vectors . It is worth noting that the quadratic form is in the real number field because is a Hermitian matrix.
Lemma 4 (see [35]). Set as an arbitrary matrix in , and is a vector with appropriate dimensional. Thus, the following inequality is obtained:for any and vector with appropriate dimensional are not dependent on integral variables.
This lemma is currently only used in the real number field; the following corollary will extend it to the domain of complex numbers.
Corollary 1. is a positive defined Hermitian matrix, and is a complex vector with appropriate dimensional. Thus, the following inequality is obtained:for any and vector with appropriate dimensional are not dependent on integral variables.
Proof. is a Hermitian matrix; for complex vectors with appropriate dimension, we havethat is to say,and, then, the following conclusion is obtained:This ends the proof.
Remark 3. In the proof of Corollary 1, we can clearly see that and cannot be merged into because it may be an imaginary number. Also, the condition in Lemma 4 is changed into , which is a positive defined Hermitian matrix, which can ensure that both sides of the inequality are real numbers so that the magnitudes can be compared. Therefore, the above inequality can be used in the complex domain in the form of Corollary 1.
3. Main Result
Two main theorems will be presented in this section. In the first place, we study the stabilization of system (5) with performance without a SBET scheme; and then, by employing the SBET scheme (6), we derive a sufficient condition for the stability of system (8). Now we define the following vectors and matrices for clarity:
Theorem 1. Under the condition of Assumption 1, for given scalar and , if there exist positive defined Hermitian matrices in , , are positive diagonal matrices, and any matrices , nonsingular matrix with proper dimension such that the following LMIs, are established with :whereThen, system (5) is asymptotically stable via with disturbance attenuation and the controller gain matrices are designed as .
Proof. Consider the following LKF:wherewithAdopting the weak infinitesimal operator in [21], which acts on asthen, similar to the computation in [26, 27], we haveand considering the transition rate matrix includes not only the known part but also the unknown part, the following equations would hold for matrices :Then, (36) and (37) are equal to the following equations:Via easy calculations, the following equations are given:Dealing with the integral term containing the Markov jump, by pre- and postmultiplying and with (30), we haveand then, the following inequalities are obtained:For arbitrary matrices , because of Lemma 3, in (42) will be processed as follows: by dividing it into two parts, we haveestimating the two parts of the right-hand side of the above inequality, respectively, by Lemma 2, and then, combining the obtained parts via Lemma 1, we haveThus,On the other hand, for diagonal matrices , Assumption 1 implies thatOne can also obtain the following equation from (5) for any nonsingular matrix with the appropriate dimension, we defined , and it is clearly that is also nonsingular, such thatThrough the analysis in (39)–(50), we havewhereDefiningand then, by pre- and postmultiplying and with , (29) is obtained. Combining (29) with (51) and using the Schur complement, we haveand integrating the formula above from 0 to , we haveand, with the zero initial condition , we have , ; thus,This completes the proof.
Next, based on Theorem 1 and Lemma 3 and Corollary 1, a sampling-based event-triggered controller will be used to study the stabilization and performance of CVNNs with uncertain Markov jump.
Theorem 2. For the given positive scalars and , if there exist Hermitian matrices , , in , , and are positive diagonal matrices, matrices , and nonsingular matrix are proper dimension matrices with , such that the following conditions hold:where