Abstract

Time delay arising in a genetic regulatory network may cause the instability. This paper is concerned with the stability analysis of genetic regulatory networks with interval time-varying delays. Firstly, a relaxed double integral inequality, named as Wirtinger-type double integral inequality (WTDII), is established to estimate the double integral term appearing in the derivative of Lyapunov-Krasovskii functional with a triple integral term. And it is proved theoretically that the proposed WTDII is tighter than the widely used Jensen-based double inequality and the recently developed Wiringter-based double inequality. Then, by applying the WTDII to the stability analysis of a delayed genetic regulatory network, together with the usage of useful information of regulatory functions, several delay-range- and delay-rate-dependent (or delay-rate-independent) criteria are derived in terms of linear matrix inequalities. Finally, an example is carried out to verify the effectiveness of the proposed method and also to show the advantages of the established stability criteria through the comparison with some literature.

1. Introduction

In the past few years, genetic regulatory networks (GRNs), which describe the interactions of many molecules (DNA, RNA, proteins, etc.), have been becoming a new research area of biological and biomedical sciences [14]. Mathematical modelling based on the extracted functional information from the time-series data provides a useful tool for studying gene regulation processes in living organisms [5, 6], and a large variety of formalisms have been proposed to model and simulate GRNs, such as directed graphs, Boolean networks, and nonlinear differential equations [7]. Among them, the nonlinear differential equation model can provide more detailed understanding and insights into the nonlinear dynamical behavior exhibited by GRNs [8].

Since mRNAs and proteins in the GRNs may be synthesized at different locations, an important issue in modelling GRNs is that the slow processes of transcription, translation, and translocation result in sizable delays [911]. Time delays arising in the GRNs may lead to wrong prediction of dynamic behaviors [12, 13], which may lead to very serious consequences. The stability is essential for designing or controlling genetic regulatory networks [14]; it is of a great significance to study the influence of delays on the stability of the GRNs.

Up to now, a huge number of results on the stability of the delayed GRNs have been reported in the literature (see, e.g., [1558]). The sufficient and necessary local stability criteria were firstly given for the GRNs with constant delay in [15, 16]. However, local stability is not enough for understanding nonlinear GRNs; the globally asymptotical stability of GRNs with SUM regulatory functions has been widely investigated [1722]. Meanwhile, by taking into account the unavoidable uncertainties caused by modelling errors and parameter fluctuations, many scholars paid attentions to the robust stability analysis of the delayed GRNs [2336]. Moreover, both the intrinsic noise derived from the random births and deaths of individual molecules and the extrinsic noise due to environment fluctuations make the gene regulation process an intrinsically noisy process [59]. Thus, many researches aimed at the robust stability analysis of the GRNs in consideration of those noises [3746]. Also, some results have considered both the uncertainties and the noises [4752]. In addition, based on the definition of convergence rate index, the exponential stability problem was also studied in [5357].

On the other hand, no matter what type of stability problems is concerned, the analysis methods for finding stability criteria have always been an important topic. To the best of the authors’ knowledge, there are mainly two methods that have been used for the delayed GRNs. The first type of method is the -matrix-based method. For example, the delay- and rate-independent stability criteria were proposed in [20], the delay-independent but rate-dependent criteria were established in [23, 44], and the delay- and rate-dependent criteria were developed in [21, 22]. The stability of the GRNs through those -matrix-based criteria is judged by verifying whether or not a matrix is a nonsingular -matrix. Although the computational complexity is low, those criteria are just available for slow-varying delay case [2023, 44]. However, the time delays encountered in GRNs may be fast-varying or random changing. The -matrix-based method is inapplicable for those cases. The second type of method is based on the framework of Lyapunov-Krasovskii functional (LKF) and linear matrix inequality (LMI). The LKF-based method can be used to handle all time delays mentioned before and it is available for not only stability analysis but also many other problems, like controller synthesis, state estimation, filter design, passivity analysis, and so on [13, 5970]. Meanwhile, the LMI-based criteria can be easily checked through MATLAB/LMI toolbox for determining the system stability. Therefore, most existing researches for the GRNs are based on this type of method [1719, 2543, 4556].

The problem of stability analysis by using the LKF and the LMI is that the criterion obtained has more or less conservatism. It is well-known that the criterion with less conservatism means that it can derive an admissible maximum upper bound such that the understudied GRNs maintains global asymptotical stability. It is predictable that the form of the LKF candidate is tightly related to the conservatism of the obtained criteria. Thus, the key point of the stability analysis based on such framework is to find an LKF satisfying some requirements for ensuring the globally asymptotical stability of the GRNs.

In most researches, the used LKFs were constructed by introducing delay-based single and/or double integral terms into the typical nonintegral quadratic form of Lyapunov function for delay-free systems [17, 18, 2833, 3542, 4650, 5355]. Based on a predictable fact that the conservatism-reducing of criteria can be achieved by constructing more general LKF, two types of more general LKFs have been developed to reduce the conservatism. The first one is the delay-partition-based LKFs, which is constructed by dividing the delay interval into several small subintervals and then replacing the original integral terms with multiple new integral terms based on delay subintervals. This type of LKF has been used to investigate the robust stability of various GRNs [25, 26, 51], the exponential stability of switch GRNs [56], and the stochastic stability of jumping GRNs [27, 43, 45]. The other is the augmented LKF constructed by using various state vectors (current and delayed and/or integrated state vectors, etc.) to augment the quadratic terms of original LKFs, and it has been used to derive the improved stability criteria of the GRNs [19, 34, 52].

Beside the above-mentioned two types of improved LKFs, a new LKF including triple integral terms firstly developed in [71] is proved to be very useful to reduce the conservatism. However, only a few researches of the GRNs have applied such type of LKF. The LKF with triple integral terms was used to discuss the asymptotical stability of the GRNs [19, 34]. The following form of double integral term will be introduced into the derivative of the LKF with a triple integral term:As mentioned in [72], the effective estimation of the above term is strongly linked to the conservatism of the criteria. To the best of the authors’ knowledge, for the researches referring to the triple integral term in the LKFs, most literature directly applied the Jensen-based double integral inequality (JBDII) (see (17) for details) to achieve the estimation task [34]. Although an improved integral inequality was developed in [19], it is also derived based on Jensen inequality. Very recently, a Wirtinger-based double integral inequality (WBDII) was developed to general linear time-delay system and it was proved to be less conservative than the JBDII [72]. However, such inequality has not been used to discuss the GRNs. Furthermore, the gap between term (1) and its estimated value obtained by the WBDII still leads to conservatism. Therefore, it can be expected that the results may be further improved if a new estimation method that brings tighter gap is applied for term (1). This is the motivation of the paper.

This paper further investigates the delay-dependent stability of the GRNs by developing a more effective inequality to estimate the double integral term (1). The contributions of the paper are summarized as follows:(1)A relaxed double integral inequality, that is, Wiringter-type double integral inequality (WTDII), is established to estimate the double integral term. Compared with the widely used JBDII and the recently developed WTDII, the presented WTDII is theoretically proved to be the tightest.(2)Two less conservative stability criteria of the GRNs are derived. For the GRNs with time-varying delays satisfying different conditions, two stability criteria are, respectively, established by applying the proposed WTDII to estimate the double integral terms appearing in the derivative of the LKFs.

The rest of the paper is organized as follows. Problem statements and preliminaries are presented in Section 2. In Section 3, the development and the comparison of the WTDII approach are discussed in detail. Two stability criteria of the GRN with time-varying delay are derived through the WTDII in Section 4. An example is given to show the validity of the obtained results in Section 5. Finally, in Section 6, the conclusions are drawn.

In the Notations, the list of notations and abbreviations used throughout this paper is shown.

2. Problem Formulation and Preliminary

This section describes the problem to be investigated and gives some necessary preliminaries.

2.1. Problem Formulation

The following nonlinear differential equations have been used recently to describe the GRNs with time-varying feedback regulation delays and translational delays [28]:as shown in Figure 1, where and are the concentrations of the th mRNA and protein, respectively. and are the positive real numbers that represent the degradation rate of the th mRNA and protein, respectively. is the positive real number that represents the translating rate from mRNA to protein . is the regulatory function of the th gene. and are the transcriptional and translational delays, respectively.

Since each transcription factor acts additively to regulate the gene, it is usual to assume that the regulatory function satisfies the following SUM logic [37]:and is a monotonic function of the Hill form; that is, where is bounded constant that denotes the dimensionless transcriptional rate of transcription factor to gene ,   is a positive scalar, and is the Hill coefficient that represents the degree of cooperativity.

The transcriptional and translational delays, and , are assumed to satisfy the following two different conditions.

Case 1. and satisfy

Case 2. and satisfy

Clearly, based on (3), GRN (2) can be rewritten as [19]where with being the set of all the transcription factors which are repressors of gene ; if transcription factor activates gene ,   if there is no connection between and , and if transcription factor represses gene ; and ,   is a monotonically increasing function satisfyingwith and

GRN (7) can be expressed as the following vector-matrix form:where ,  ,  ,  ,  ,  ,  , and .

Let be the equilibrium point (steady state) of (10); that is, and . Using the transformations and , one can shift the equilibrium point to the origin and rewrite (10) as the following GRN:where and with . Then, Thus, it follows from (8) and that

This paper aims to analyze the asymptotical stability of GRN (2) and to determine the delay bounds, named as maximal admissible delay bounds (MADBs), under which the GRN is asymptotically stable. In order to achieve this aim, this paper will develop a new double integral inequality (i.e., WTDII) for estimating the double integral term (1) so as to derive some less conservative stability criteria.

2.2. Preliminaries

Several lemmas used to obtain the main results are given as follows.

For the estimation of single integral term, the most popular technique is Wirtinger-based inequality, shown as Lemma 1.

Lemma 1 (Wirtinger-based inequality [73]). For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holds:where and .

The auxiliary function-based integral inequality, which encompasses the Wirtinger-based inequality, has been developed in recent years.

Lemma 2 (auxiliary function-based integral inequality [74]). For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holdswhere ,  , and .

For the estimation of double integral term, the JBDII is widely applied in [71], and, with its improvement, the WBDII was developed in [72] very recently, respectively shown as Lemmas 3 and 4.

Lemma 3 (Jensen-based double integral inequality (JBDII) [71]). For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holds:where .

Lemma 4 (Wirtinger-based double integral inequality (WBDII) [72]). For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holds:where with given in Lemma 3.

For time-varying delay, when using the integral inequality, the reciprocally convex lemma is needed, and its simple form can be reformulated as Lemma 5.

Lemma 5 (reciprocally convex combination lemma [75]). For any vectors and , symmetric matrix , any matrix , and real scalar satisfying , the following inequality holds:

3. A Relaxed Double Integral Inequality and Its Advantages

This section develops a new integral inequality, that is, the WTDII, to estimate the double integral terms existing. The comparison of the WTDII and the existing double integral inequalities is also given.

Based on the technique of integral in parts, the following WTDII is given.

Lemma 6. For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holds:where and are defined in Lemmas 3 and 4.

Proof. For a function , the calculation through integration by parts leads to By setting ,  , that is, , the above equality is rewritten asThen the following equality is obtained for any vector and any matrix :Similarly, the following equalities are derived: Therefore, using the above five equalities and the Schur complement derives the following equality:By letting ,  , and , that is, and , then (25) leads to Thus (20) holds. This completes the proof.

Remark 7. Based on the comparison of the proposed WTDII (20) with the widely used JBDII (17) and the recently developed WBDII (18), it can be found that WTDII (20) provides the tightest estimation value of the double integral term (1). More specifically, compared with the widely used JBDII (17), the extra positive term reduces the gap between the original double integral term (1) and its estimated value; and, compared with the recently developed WBDII (18), the extra positive term reduces the estimation gap. As mentioned in [7274], it is helpful to reduce the conservatism by reducing such estimation gap. Therefore, the proposed WTDII (20) will lead to less conservative criteria than the ones derived by JBDII (17) [19] or WBDII (18).

By setting , the following lemma can be directly obtained from Lemma 6.

Lemma 8. For symmetric positive-definite matrix , scalars , and vector such that the integration concerned is well defined, the following inequality holds:where and .

4. Delay-Dependent Stability Analysis of GRN

This section derives delay-dependent stability criteria of GRN (2) by constructing the LKF with triple integral terms and applying the proposed WTDII (20) to estimate the double integral terms appearing in its derivative.

The following notations are introduced at first for simplifying the representation of subsequent parts:

4.1. Stability of GRN (2) with Delay Satisfying (5)

For GRN (2) with a delay satisfying (5), the following stability criterion is derived by using the proposed WTDII (27), together with Lemmas 1, 2, and 5, to estimate the derivative of the LKF.

Theorem 9. For given scalars ,  ,  , and , GRN (2) with the time delay satisfying (5) and regulatory function satisfying (3) is asymptotically stable, if there exist symmetric matrices ,  ,  ,  ,  ,  , and ; diagonal matrices ,  ,  , and ; and any matrices , such that the following LMIs hold:where ,  , and

Proof. Construct the following LKF candidate:whereand ,  ,  ,  ,  ,  , and   are the symmetric positive-definite matrices and ,  , are the symmetric positive-definite diagonal matrices.
Calculating the derivative of the LKF along the solutions of GRN (11) yieldswherewhere ,  , and are defined in (35), (36), and (45), respectively.
Using Lemma 2 to estimate the -dependent single integral terms in yields where and are defined in (39) and Using Lemma 1 to estimate the -dependent single integral terms in yields where is defined in (33).
Using Lemmas 2 and 5, together with (30), to estimate the -dependent single integral terms in yields where and are defined in (40) and Using Lemma 8 to estimate the -dependent double integral terms in yieldswhere is defined in (43).
Using Lemma 8 to estimate the -dependent double integral terms in yieldswhere is defined in (44).
Similarly, using Lemmas 2, 5, and 8 to estimate the single and double integral terms in and yieldswhere ,  ,  ,   and are defined in (48)–(53).
Taking into account the assumption of the activation function, (13) and (14), the following inequalities hold [76, 77]: where , and , are the symmetric diagonal matrices. Thus, the following inequality holds: where is defined in (54).
Finally, combining (64), (65), (66), (68), (69), (71), (72), (73), and (75) yields where the related notations are defined in (31).
Therefore, if LMIs (31) and (32) hold, then the following holds for a sufficiently small scalar based on convex combination method [78, 79]: which shows the asymptotical stability of GRN (2) with time delay satisfying (5). This completes the proof.

4.2. Stability of GRN (11) with Delay Satisfying (6)

For some cases, the change rates of the time-varying delays are unmeasurable, that is, time delay satisfying (6). For this case, the following stability criterion can be derived by using the proposed WTDII (27), together with Lemmas 1, 2, 5, and 8, to estimate the derivative of the LKF.

Theorem 10. For given scalars and ,  , GRN (2) with the time delay satisfying (6) and regulatory function satisfying (3) is asymptotically stable, if there exist symmetric matrices ,  ,  ,  ,  ,  , and  ; diagonal matrices ,  ,  ,  , ,  , and  ; and any matrices ,  , such that the following LMIs hold:where ,  , are defined in Theorem 9 and

Proof. The above stability criterion can be obtained by setting and in Theorem 9.

4.3. Some Remarks

This part gives some remarks for the above criteria.

Remark 11. During the proof of the above two stability criteria, the double integral terms arising in the derivative of the LKFs are estimated by using the proposed WTDII, that is, Lemma 8. As discussed in Section 3, the WTDII is tighter than the widely used JBDII (17), which was used for the GRN [19, 34], and the recently developed WBDII (18), which has not been used for the GRN. Thus, the proposed criteria are less conservative than the ones reported in [19, 34].

Remark 12. Compared with the literature, more information of regulatory function has been used during the proof of criteria. Specifically, in the literature, only (14) is used during the estimation of the derivative of the LKF, while, in this paper, extra information of regulatory function (13) is also used for estimating task. It has been proved in [77] that such additional information is helpful to reduce the conservatism.

Remark 13. The conditions given in Theorems 9 and 10 are in the form of LMI. Such LMI conditions can be easily checked by using MATLAB/LMI toolbox [80]. One can refer to [8183] for more details.

Remark 14. Although this paper has just investigated the asymptotical stability, the proposed method can be extended to the robust stability analysis by taking into account the parameter uncertainties and/or noises of the GRNs. Moreover, the proposed method can also be extended to other problems discussed in Section 2, like controller synthesis, state estimation, filter design, passivity analysis, and so on [13, 5970].

5. Illustrative Example

In this section, an example will be presented to illustrate the effectiveness of our results. As mentioned in Section 2, the important aim of the stability analysis of delayed GRNs is to determine the MADBs. And the stability criterion that provides bigger MADBs is less conservative than the one that gives smaller ones. Therefore, the advantages of the proposed criteria are demonstrated via the comparison of the MADBs calculated by various criteria. Moreover, the index of the number of variables (NoV) is applied to show the complexity of criteria.

Example 1. For the GRN model which is theoretically predicted and experimentally investigated in Escherichia coli in [4], the genetic network is composed of three repressilators (lacl, tetR, and cl) which form a cyclic negative feedback loop, each repressor protein inhibits the transcription of its downstream repressor gene, as shown in Figure 2, the protein of represses the gene transcription of , and the protein of inhibits the gene transcription of simultaneously, and, finally, the transcription of is inhibited by , which completes the cycle.
The kinetics of the genetic network are modelled as the GRN (2) with the following parameters [19]:

It follows from (9) and (29) that

(1) Calculation Results. The first study case is that the changing rates of the time-varying delays are measurable; that is, delays satisfy (5). Assume that ,  ,  , and   [19], and the MADBs of with respect to various obtained by the proposed criteria are given in Table 1, where the MADBs reported in the literature are also listed for comparison.

The second study case is that the changing rates of the time-varying delays are nonmeasurable; that is, delays satisfy (6). Assume that and  , and the MADBs of with respect to various obtained by the proposed criteria, together with the ones provided by the least literature [19], are given in Table 2.

Moreover, the NoVs of criteria reported in the least literature [19] and that of criteria established in this paper are also given in tables to compare the computation complexity.

From the results in the tables, it can be easily found that the proposed stability criteria can provide the larger MADBs for two cases compared to those given in the existing literature. It shows that the proposed criteria are indeed less conservative than the ones reported in the literature. On the other hand, it is found that the NoV of the proposed criteria (Theorem 9) is smaller than the one reported in [19], and for any . Both of those observations show the advantages of the proposed criterion.

(2) Simulation Verification. From the given parameters, the equilibrium points of the GRN can be obtained as

Simulation studies for the following two types of time-varying delays are carried out.

Case 1. The initial conditions ,  , and ,  , and the following delays satisfy ,  ,  ,  ,  , and  :

Case 2. The initial conditions ,  , and ,  , and the random delays satisfy ,  ,  ,  .

Based on Tables 1 and 2, the GRN with the above delays, respectively, is stable. The trajectories of the concentrations of mRNA and protein are shown in Figures 3 and 4. The results show that they are stable at their equilibrium points.

6. Conclusions

This paper has investigated the stability of the GRN with time-varying delays, and its contributions have been revealed from two aspects. The novel WTDII has been developed for the estimation of the double integral terms, and it has been also proved to be tighter than the widely used JBDII and the recently developed WBDII for the same task. Then, with benefit from the WTDII, two LMI-based stability criteria with less conservatism have been derived for checking the stability of the GRN with time delays. Finally, the advantages of the proposed inequality and the established criteria have been verified through an example.

Notations

:The Euclidean vector norm
:The set of all real matrices
  ():The transpose (inverse) of the matrix
: is a real positive-definite matrix
:A block-diagonal matrix
:The identity (zero) matrix
:
:
GRNs:Genetic regulatory networks
LKF:Lyapunov-Krasovskii function
LMI:Linear matrix inequality
JBDII:Jensen-based double integral inequality
WBDII:Wirtinger-based double integral inequality
WTDII:Wiringter-type double integral inequality
MADB:Maximal admissible delay bounds
NoV:The number of variables.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the Provincial Scientific Research Project “Research on Power Prediction and Optimal Control of New Energy Generation” under Grant no. 12C0915 and the 61st Postdoctoral Science Fund Project of China under Grant no. 163612.