Abstract

Genetic regulatory networks are dynamic systems which describe the interactions among gene products (mRNAs and proteins). The internal states of a genetic regulatory network consist of the concentrations of mRNA and proteins involved in it, which are very helpful in understanding its dynamic behaviors. However, because of some limitations such as experiment techniques, not all internal states of genetic regulatory network can be effectively measured. Therefore it becomes an important issue to estimate the unmeasured states via the available measurements. In this study, we design a state observer to estimate the states of genetic regulatory networks with time delays from available measurements. Furthermore, based on linear matrix inequality (LMI) approach, a criterion is established to guarantee that the dynamic of estimation error is globally asymptotically stable. A gene repressillatory network is employed to illustrate the effectiveness of our design approach.

1. Introduction

Recently nonlinear differential equations have been proposed to model genetic regulatory networks. Based on this model, stability of genetic regulatory networks has been intensively studied, which is believed useful in designing and controlling genetic regulatory networks. In [1], sufficient and necessary local delay-independent stability conditions are given for several types of simplified genetic regulatory networks with a single time delay. In [2, 3], we present some sufficient and necessary conditions of local delay-independent stability conditions for general genetic regulatory networks with a single time delay and multiple time delays. Some sufficient conditions for global stability of genetic regulatory networks have been derived based on LMI approaches [46] and M-matrix theorem [7, 8].

On the other hand, to understand the dynamic behavior of genetic regulatory networks, measurements of all internal states are very useful. The internal states of a genetic regulatory network consist of the concentrations of mRNA and proteins involved in it. However, because of some limitations such as experiment techniques, not all internal states of genetic regulatory network can be effectively measured. As a result, the internal states of genetic regulatory networks cannot be completely available. Therefore, the state estimation problem can play an important role in understanding the dynamic behaviors of genetic regulatory networks. The state estimation problem addressed is to estimate the states based on available output measurements such that the dynamic of estimation error is globally asymptotically stable. Actually, the state estimation methods have been very important in understanding, designing, and controlling dynamic systems such as engineering control system [9], neural networks [10, 11], and complex systems [12].

In this study, we will study the state estimation of genetic regulatory networks with time delays modeled by nonlinear differential equations. Section 2 briefly describes delayed genetic regulatory networks with SUM regulatory logic. In Section 3 we design a full-order state observer to estimate the states of delayed genetic regulatory networks. Some properties of this observer are discussed. In Section 4, based on LMI approach we establish a sufficient condition under which the dynamic of estimation error for designed state observer is asymptotically and delay-independently stable. In Section 5, a gene repressillatory network is employed to illustrate the effectiveness of our approach described in Section 4. Section 6 gives our conclusion of this study and points out some directions of future work.

2. Delayed Genetic Regulatory Networks

A delayed genetic regulatory network consisting of mRNAs and proteins can be described by the following equations: where , represent the concentrations of mRNA and protein , respectively. and are positive real numbers that represent the degradation rates of mRNA and protein , respectively. is a positive constant representing the rate of translating mRNA to protein . is a nonlinear function of representing the regulation function of gene . Both and are positive constants indicating time delays of mRNAs and proteins, respectively.

The bottom equation in model (1) describes the translational process. The term reflects the fact that one kind of proteins is translated only from one kind of mRNA molecules. The top equation in model (1) describes the transcriptional process. One gene or mRNA is generally activated or repressed by multiple proteins in the transcriptional process indicated in the definition of . In this paper, we take , which is called the “SUM” logic [13]. That is, each transcription factor acts additively to regulate gene . The SUM logic is applicable if one gene can be regulated by several proteins independently by binding with different promoters or by a family of similar proteins independently binding to one promoter. In many natural gene networks, this SUM logic does exist [13]. The regulation function is a function of the Hill form [14] as follows: if transcription factor is a repressor of gene , or if transcription factor is an activator of gene , where and are nonnegative constants and is the Hill coefficient representing the degree of cooperativity. In this study, assume that . Note that Then system (1) can be rewritten as follows: where and ; , , and ; is an stoichiometric matrix representing regulatory relationships of the network, which is defined as follows: if transcription factor does not directly regulate gene , if transcription factor directly activates gene , and if transcription factor directly represses gene ; where is a constant and is defined as , where Rep is the set of repressors of gene . where is a monotonically increasing function. Obviously these functions with have the continuous derivatives for . From calculus, we have

3. State Observer

In practice, the information about the network states is often incomplete from the experimental measurements. For example, the concentrations of proteins might be immeasurable because of the limitation of measurement techniques. Our purpose of this study is to develop an efficient estimation system (called a state observer) in order to estimate the network states from the available measurements. In this paper, assume that measurements are the linear combinations of mRNA and protein concentrations and thus the output can be expressed as follows: where is an -dimensional vector representing the measurements and is an observation matrix. Unless the rank of matrix in (7) is , the states of system (5) cannot be exactly estimated from the static observation equation (7) only. In practice, the rank of matrix in (7) is less than . To approximately estimate the states of a dynamic system, a dynamic system similar to the original one is designed to estimate the states. In this paper, the full-order state estimator of network (5) is designed as follows: where and are the estimation of states and is estimate gain matrix to be determined.

Let the estimation error be

Then from (5), (8), and (9), the error system can be described as follows: where and .

Now designing the state estimator for network (5) is reduced to find the estimate gain matrix such that the error system (10) is globally asymptotically stable. From (6), we have Furthermore, for any nonnegative diagonal , from (11) it follows that where .

Once matrix is determined, the estimations and are numerically calculated from (8). That the same technique can be applied for solving (1) directly is the same as solving system (8) with , which results in an estimation error system (10) with . If the system (1) is unstable and the values of and are different from their true counterparts, then the estimation errors will be exponentially increased. Even if the values of and are the exact same as their true counterparts, the round-off errors can also cause the estimation errors to be exponentially increased. Therefore, in practice it is important to design matrix to make sure the estimation error system is stable. Theorems 1 and 2 in next section will guarantee that, for any values of and , the estimation errors will be asymptotically converged to zero.

4. Main Results and Proofs

In this section we will first derive the conditions under which the error system (10) is globally asymptotically stable for a given estimate gain matrix.

Theorem 1. For a given estimate gain matrix , the error system (10) has a unique equilibrium state and and is globally asymptotically stable if there exist positive definite matrices and positive definite matrices and and positive diagonal matrix , such that the following LMI holds: where , , , and .

Proof. Consider the following Lyapunov-Krasovskii functional: where Differentiating defined above along the trajectories of system (10), we have Taking inequality (12) into consideration, we have where .
From Lyapunov-Krasovskii theory [15], the error system (10) is globally asymptotically stable. From (10), and are an equilibrium state. To prove the uniqueness of the equilibrium state of the error system (10), here we use proof-by-contradiction technique. Note that Lyapunov-Krasovskii functional (18) associated with the error system (10) is independent of the equilibrium state. Therefore if the error system (10) has another equilibrium state, it is also globally asymptotically stable, which is not possible.
In Theorem 1, for a given estimate gain matrix , the stability condition of the error dynamic system (10) is established in terms of linear matrix inequality (LMI) which can be solved by standard MATLAB function. If matrix is unknown, matrix inequality (13) becomes nonlinear in matrices, , , , , and , which is not easy to be solved. However, let ; then matrix inequality (13) becomes linear in matrices, , , , , and . Therefore, we have the following theorem.

Theorem 2. If there exist positive definite matrices and positive definite matrices and , positive diagonal matrix , and an matrix such that the following LMI holds, where , and sub-matrices , , and are the same as in Theorem 1, then with the estimator gain matrix the error system (10) has a unique equilibrium state and and is globally asymptotically stable.

Proof of Theorem 2 is straightforward from Theorem 1 and thus is omitted here.

5. An Illustration Example

In this section, we employ the gene repressilatory network to show the effectiveness and correctness of our theoretical results. The gene repressilatory network consists of three genes and three proteins (lacl, tetR, and cl), each repressing the transcription of its downstream partner [16] as shown in Figure 1. This network without time delays has been studied theoretically and experimentally in [16]. The delay-independent local and global stability of this gene repressilatory network with time delays has widely been studied in [18].

The mathematical model of this gene repressilatory network with time delay is described by the following equation: where , , , and are positive constants and subscript .

In this study we consider gene repressillatory network (20) with the values of parameters set as follows: , , , , and . For system (20) with these parameter specifications, we have And for .

Case A. Assume that the concentration of all proteins is unable to be measured. The observation matrix is By using MATLAB LMI toolbox, we solve LMIs (18) with the above data for , , , , and and obtain Therefore, we have

Figure 2 depicts the estimation errors of protein concentrations of delayed genetic regulatory network (20) with specified parameters in the caption of Figure 2. From Figure 2, it can be seen that in six minutes the estimated protein concentrations are exactly the same as the true protein concentrations although they are not measured. The time that needs to exactly estimate the true states depends on the initial errors between the true states and estimated states (which are random guesses in practice). In Figure 2, the initial errors of protein estimations range from 0.1 to 0.6. If the initial errors are zero, the estimated state would be the exact true states from beginning on.

Case B. Assume that the concentration of all proteins is able to be measured while we would like to estimate the gene expressions. The observation matrix becomes By using MATLAB LMI toolbox, we solve LMIs (18) with above data for , , , , and and obtain Therefore, we have

Figure 3 depicts the estimation errors of mRNA concentrations of delayed genetic regulatory network (20) with specified parameters in the caption of Figure 3 and knowing protein concentrations. From Figure 3, it can be seen that in about ten minutes the estimated mRNA concentrations can pretty well approximate the true mRNA concentrations although they are not measured. In Figure 3, the initial errors of protein estimations range from 0.2 to 0.5.

6. Conclusion and Future Work

In this paper, we have studied the state estimation of genetic regulatory networks with time delays. Based on LMI approach, a full-order state observer is designed to estimate the states from incomplete measurements so that the state estimation error is globally asymptotically stable. The theorems presented in this paper have been illustrated by the gene repressillatory network. The simulation results have verified that our designed observer can effectively estimate the unmeasured states. In this study, we assume that all parameters of genetic regulatory networks are available. In practice, some of parameters in networks may be unknown. One direction of our future work is to employ the extended Kalman filter [17] to estimate the known parameters and state of the systems simultaneously. Parameter uncertainties and noise perturbations exist in genetic regulatory networks [4, 6, 7, 16, 18] and measured outputs, which can affect the performance of state observer. The second direction of our future work is to design robust state observer for genetic regulatory networks with parameter uncertainties and noises. Typically measured outputs are sampled at a series of time points although state variables of genetic regulatory networks are continuous. The third direction of our future work is to design a state observer for genetic regulatory networks with discretized outputs.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by Base Fund of Beijing Wuzi University and Fund for Beijing Excellent Team for Teaching Mathematics through LPT and by Natural Sciences and Engineering Research Council of Canada (NSERC) through FXW. The authors would like to thank the reviewers for their comments and suggestions.