A systematic design method for robust synthetic biology to satisfy design specifications
© Chen and Wu; licensee BioMed Central Ltd. 2009
Received: 02 December 2008
Accepted: 30 June 2009
Published: 30 June 2009
Synthetic biology is foreseen to have important applications in biotechnology and medicine, and is expected to contribute significantly to a better understanding of the functioning of complex biological systems. However, the development of synthetic gene networks is still difficult and most newly created gene networks are non-functioning due to intrinsic parameter uncertainties, external disturbances and functional variations of intra- and extra-cellular environments. The design method for a robust synthetic gene network that works properly in a host cell under these intrinsic parameter uncertainties and external disturbances is the most important topic in synthetic biology.
In this study, we propose a stochastic model that includes parameter fluctuations and external disturbances to mimic the dynamic behaviors of a synthetic gene network in the host cell. Then, based on this stochastic model, four design specifications are introduced to guarantee that a synthetic gene network can achieve its desired steady state behavior in spite of parameter fluctuations, external disturbances and functional variations in the host cell. We propose a systematic method to select a set of appropriate design parameters for a synthetic gene network that will satisfy these design specifications so that the intrinsic parameter fluctuations can be tolerated, the external disturbances can be efficiently filtered, and most importantly, the desired steady states can be achieved. Thus the synthetic gene network can work properly in a host cell under intrinsic parameter uncertainties, external disturbances and functional variations. Finally, a design procedure for the robust synthetic gene network is developed and a design example is given in silico to confirm the performance of the proposed method.
Based on four design specifications, a systematic design procedure is developed for designers to engineer a robust synthetic biology network that can achieve its desired steady state behavior under parameter fluctuations, external disturbances and functional variations in the host cell. Therefore, the proposed systematic design method has good potential for the robust synthetic gene network design.
In short, synthetic biology is the engineering of biological systems to fulfill a particular purpose. It does so through transformative innovation that makes it possible to build living machines from off-the-shelf chemical ingredients, employing many of the same strategies that electrical engineers use to make computer chips . The main goal of this nascent field of synthetic biology is to design and to construct biological systems with desired behaviors [2–5]. Drawing upon a set of the powerful techniques for the automated synthesis of DNA molecules and their assembly into genes and microbial genomes, synthetic biology envisions the redesign of natural biological systems for greater efficiency as well as the construction of functional "genetic circuits" and metabolic pathways for practical purposes [1, 5]. Synthetic biology is foreseen to have important applications in biotechnology and medicine, and to revolutionize how we conceptualize and approach the engineering of biological systems .
At present, even the construction of networks of inter-regulating genes, i.e. the so-called genetic regulatory networks, has demonstrated the feasibility of synthetic biology . The design of gene networks is still a difficult problem and the most newly designed gene networks cannot function properly. These design failures are mainly due to both intrinsic perturbations such as gene expression noises, splicing, mutation, evolution and extrinsic disturbances such as changing extra-cellular environments [2, 7]. Therefore, how to design a robust synthetic gene network that can tolerate intrinsic parameter perturbations, attenuate extrinsic disturbances and also function properly in a host cell is an important topic of synthetic biology [2, 7–9].
Previously, sensitivity analysis has been used for the analysis of the dynamic properties of gene networks either in the qualitative simulation of coarse-grained models or in the extensive numerical simulations of nonlinear differential equation models or stochastic dynamic models [10, 11]. But for applications in synthetic biology, these approaches are not satisfactory since the local sensitivity analysis can provide only a partial description of all possible behaviors of the nonlinear gene network. In particular, it cannot guarantee that a synthetic network behaves as expected for all uncertain initial conditions, external disturbances and parameter variations in a given range. Moreover, obtaining all the convergences of states and parameter spaces by extensive numerical simulations quickly becomes computationally intractable as the size of the synthetic networks increases . Recently, Kuepfer et al. have developed an approach based on semidefinite programming for partitioning parameter spaces of polynomial differential equation models into the so-called feasible and infeasible regions . In this approach, 'feasible' simply refers to the existence of a desired steady state of the synthetic network. More recently, an approach using robustness analysis and tuning of synthetic networks was proposed by Batt and his colleagues to provide a means to assess the robustness of a synthetic gene network with respect to parameter variations . This approach has the capability to search for parameter sets for which a given property is satisfied, using a publicly available tool called RoVerGeNe. Recently, several gene circuit design methods have been introduced to implement some circuits into or delete some circuits from an existing gene network to modify its structure so as to improve its robust stability and filtering ability [13, 14]. However, the robust synthetic gene network design is a different topic. For that, it is necessary to design a completely man-made network with enough robust stability to tolerate parameter fluctuations and with enough noise filtering ability to resist the external disturbances so that it can work properly in the host cell. More recently, a robust synthetic biology design with molecular noises was developed based on stochastic game theory. However, the intrinsic parameter fluctuations of synthetic gene network have not been considered in the design procedure . Further, some system design specifications may be given beforehand by users, so the designer must engineer an artificial gene network to meet these design specifications. Therefore, more efforts are needed to find effective design methods for robust synthetic gene networks.
Actually, many molecular-level processes of synthetic gene networks are deeply rooted in the statistical mechanical behaviors of so-called nanoscale biochemical systems, where the parameter fluctuations can be described by stochastic equations [16, 17]. In this study, the design specifications of a robust synthetic gene network are given as follows. The variances of uncertain kinetic parameters and decay rates to be robustly tolerated are all specified beforehand by the designers according to the biological environment of the host cell. The steady states of a synthetic gene network are given according to the desired behaviors of some biotechnological purposes. The feasible ranges of kinetic parameters and decay rates to be designed are also specified beforehand according to the implementation ability of biotechnology. The effects of uncertain initial conditions, external disturbances and functional variations on the desired steady states of synthetic gene networks should be attenuated below a prescribed level. In other words, given the four design specifications, i.e., the tolerable variances of intrinsic stochastic parameter variations, the feasible ranges of kinetic parameters and decay rates, the desired filtering level of external disturbances, and the desired steady state, a robust synthetic gene network is designed to achieve the desired steady state that is guaranteed to satisfy these design specifications so that it can work properly in the host cell in spite of intrinsic uncertainties, extrinsic disturbances and variations of regulation functions.
The synthetic gene network with random parameter perturbations and external disturbances in the host cell can be described by a nonlinear stochastic system with state dependent noises and external disturbances. Then the design of robust synthetic gene networks essentially depends on how to specify some appropriate kinetic parameters and decay rates of gene networks to achieve the desired steady states despite uncertain parameter variations, external disturbances, and variations of regulation functions. In this study, the desired steady states are shifted to the origin of the system, and then the design problem of a robust synthetic gene network with a robust regulation to the desired steady state is equivalent to the robust stabilization and noise filtering design problems at the origin of the shifted gene network. Since the gene networks are inherently nonlinear stochastic systems, in order to avoid solving nonlinear Hamilton-Jacobin inequalities (HJIs) for robust stabilization and noise filtering design problems in the design procedure of nonlinear stochastic synthetic gene networks , global linearization techniques  are employed to simplify the design procedures of robust synthetic gene networks. The robust synthetic gene network design can be achieved by specifying suitable kinetic parameters and the decay rates of gene circuits by solving a set of linear matrix inequalities (LMIs), which are used to replace HJIs via the global linearization technique and can be efficiently solved using the LMI toolbox in Matlab . Finally, an in silico design example of the robust synthetic gene network is given to illustrate the design procedure and to confirm the robust performance of the proposed design method under intrinsic parameter variations, external disturbances and variations of regulation functions.
Stochastic genetic network model and problem description
The state variables x a and x b denote the concentrations of proteins A and B. κ's and γ's are the kinetic parameters and decay rates, respectively, and r's are the regulation functions, which capture the regulator effect of an effector protein on gene expression and are smooth sigmoidal functions (e.g. Hill functions) [10, 21].
where Δκ i and Δγ i denote the amplitudes of fluctuations of the stochastic kinetic parameters and decay rates; and n i is a random white noise with zero mean and unit variance. Thus Δκ i and Δγ i denote the deterministic parts of parameter fluctuations and n i absorbs the stochastic property of intrinsic parameter fluctuations. The independent variables n a and n b indicate that there are two independent stochastic sources of random parameter fluctuations. The covariance of stochastic intrinsic parameter fluctuation Δκ a n a is given as , where δ tτ denotes the delta function, i.e. δ tτ = 1 if t = τ and δ tτ = 0 if t ≠ τ, i.e. Δκ i denotes the standard deviation σ i of the stochastic parameter variation Δκ i n i .
where x2 = [x a x b ] T and v2 = [v a v b ] T denote the state vector and the external disturbance of the synthetic gene network in the host cell, respectively. These intrinsic parameter fluctuations and external disturbances may cause the engineered gene network to be dysfunctional.
After employing the stochastic equation in (5) with intrinsic parameter fluctuations and external disturbances to mimic the realistic dynamic behaviors of the cross-inhibition network in the host cell, in order to work properly and efficiently, some design specifications for the synthetic gene network should be imposed as follows.
which are requested by designers to meet the in vivo conditions in the host cell.
for all possible bounded disturbances v a and v b . This is also a design specification for the noise filtering ability of the synthetic gene network, i.e. with a filtering ability of ρ to attenuate the external disturbances v a and v b [18, 24]. In (9), we do not need to know the statistics of external disturbances v a and v b but are concerned only with the attenuation level (i.e. the ratio ρ) of external disturbances. If v a and v b are deterministic signals, the expectation E on v a and v b can be neglected.
Our design goal is to choose two kinetic parameters κ a and κ b and two decay rates γ a and γ b from the feasible parameter ranges in (6) so that the desired steady states x ad and x bd in (8) can be achieved under the above specified stochastic parameter variations and stochastic external disturbances, i.e. the allowable standard deviations of stochastic parameter fluctuations in (7) should be tolerated and the external disturbances should be attenuated below a prescribed attenuation level ρ in (9). If the above four design specifications (i)-(iv) can be imposed in the design procedure of the synthetic gene network, then the engineered synthetic gene network could work properly and efficiently in the host cell under intrinsic parameter fluctuations and external disturbances.
where the state vector x = [x1...x n ] T denotes the concentrations of proteins in the synthetic gene network. N denotes the corresponding stoichiometric matrix of the n-gene network. M i , i = 1,...,m denotes the fluctuation matrices due to independent random noise sources n i , i = 1,...,m, and the elements of M i denote the standard deviations of the corresponding parameter fluctuations. v = [v1...v n ] T denotes the vector of external disturbances. The stochastic system in (10) is used to mimic the realistic dynamic behavior of a synthetic gene network of n genes in the host cell. This network, however, suffers from the intrinsic parameter fluctuations and external disturbances in the context of the host cell. Thus, a robust synthetic gene network should be designed with the ability not only to tolerate these parameter fluctuations and attenuate the external disturbances from the environments but also to achieve the desired steady state behaviors.
where W i (t) is a standard Wiener process with dW i (t) = n i (t)dt.
The design specifications (6)-(9) can also be extended as follows for a more general synthetic gene network in (10):
should be tolerated by the synthetic gene network.
where x d is the desired steady state specified by the designer for some design purposes of the synthetic gene network.
for all bounded v(t), where Q ≥ 0 is a symmetric weighting matrix and ρ is a prescribed attenuation level less than 1; i.e. the effect of external disturbance v on the regulation error x - x d should be less than the attenuation level ρ from the average energy perspective. In this situation, the synthetic gene network can efficiently attenuate the effect of external disturbances on the regulation of system state x to the desired steady state x d . The design specification of a prescribed attenuation level ρ may be a tradeoff between the filtering ability and the specification (i) in (12), i.e., a small ρ (i.e. a strict specification of attenuation level) may lead to a small feasible range of N, which may be outside the allowable range in (12). In (15), if the external disturbance is deterministic, then the expectation E can be neglected.
Based on the design specifications (12)-(15) of the stochastic gene network in (11), our design goal is to choose some kinetic parameters and decay rates in the stoichiometric matrix N from the biologically feasible parameter range [N1, N2] such that the desired steady state x d in (14) can be achieved, the stochastic parameter variations can be robustly tolerated (stabilized), and the prescribed disturbance attenuation level ρ on v in (15) can be achieved. The design procedure for robust synthetic gene networks is described in the following section in detail.
Design procedure for robust synthetic gene network
i.e. the origin = 0 of stochastic system in (16) is at the desired steady state x d of the original stochastic system in (11).
for some positive function V( ).
where V( ) > 0 is the Lyapunov (energy) function of the synthetic gene network in (16). The inequality in (19) means that on average the energy function of the synthetic gene network decreases with time and will asymptotically converge to = 0 or x → x d in probability in the case of v = 0. In the case v ≠ 0, only the H∞ disturbance attenuation level in (17) or (18) can be designed because the asymptotical stability in probability cannot be achieved due to the continuous interference of external disturbances, i.e. → 0 or x → x d cannot be achieved as t → ∞ and the deviation from x d (i.e., ) due to external disturbances can only be attenuated to a level ρ by the design specification of noise filtering ability in (17) or (18).
From the stochastic network in (16), we obtain the following result:
then (a) the stochastic gene network in (16) can achieve both the robust stabilization to tolerate intrinsic stochastic parameter perturbations and the prescribed attenuation level ρ on the external disturbances, i.e. the design specifications (i), (ii) and (iv) in (12), (13) and (15), respectively, are all satisfied; (b) if the stochastic gene network is free of external disturbances, i.e. v(t) = 0, then the shifted gene network in (16) will asymptotically converge to = 0 or x → x d in probability, or equivalently, the original stochastic gene network in (11) will asymptotically converge to the desired steady state x d in probability, i.e. the design specification (iii) in (14) is achieved.
Proof: See Appendix A
without the disturbance attenuation-related term . It is easier to find a positive solution V( ) > 0 to satisfy the HJI in (21) than in (20). Furthermore, the systematic gene network design which satisfies (21) could achieve asymptotical convergence in probability to the desired steady states in the disturbance free case.
Then we can obtain the following result:
then there are two results: (a) the stochastic gene network in (22) can achieve H∞ robust stabilization to tolerate parametric variations and functional perturbation, and can reach the prescribed disturbance filtering ability ρ to attenuate the external disturbances; and (b) if the stochastic gene network in (22) and (23) is free of external disturbances, i.e. v(t) = 0, it will asymptotically converge to = 0 or x → x d in probability.
Proof: See Appendix B
Comparing Proposition 1 and Proposition 2, it is seen that there are three extra terms in (24) due to the stochastic function perturbations. It is more difficult to find design parameters in N ∈ [N1, N2] to solve V( )>0 for HJI in (24) than to find parameters for HJI in (20) because the stochastic gene system in (22) has to tolerate not only the stochastic parameter variations but also the functional perturbations.
where the interpolation function α j ( ) satisfies 0 ≤ α j ( ) ≤ 1 and , i.e. the trajectory of nonlinear synthetic gene network in (16) could be represented by the interpolated synthetic gene network in (27), which is the convex combination of M linearized gene networks in (26).
Based on the global linearization theory , if we can prove that the synthetic gene network consisting of the convex combination of M linearized gene networks in (26) can be robustly stabilized under intrinsic parameter noises and achieves a prescribed disturbance attenuation level in (17) or (18), so will be the nonlinear gene network in (16). Therefore, we obtain the following result.
then there are two results: (a) the stochastic gene network with parametric variations and external disturbances in (16) will be robustly stable to tolerate intrinsic stochastic parameter perturbation and also achieves a prescribed attenuation level ρ on the external disturbance, i.e. the design specifications (i), (ii) and (iv) in (12), (13) and (15) are all satisfied; and (b) if the gene network is free of external disturbance, i.e. v(t) = 0, then the gene network in (16) will asymptotically converge to = 0 in probability, or equivalently, the original synthetic gene network in (11) will asymptotically converge to the desired steady state x d in probability, i.e. the design specification (iii) in (14) is achieved.
Proof: See Appendix C.
Similarly, for the stochastic gene network in (22) with parameter variations, functional perturbations and noises, based on global linearization method, we obtain the following result for Proposition 2
then there are two results: (a) the synthetic gene network with parameter variations, functional perturbations and external disturbances in (22) will be robustly stable to tolerate intrinsic parameter variation and functional perturbations, and achieve a prescribed attenuation level ρ on the external disturbances; and (b) if the synthetic gene network is free of external disturbances, then the synthetic gene network in (22) will asymptotically converge to = 0 in probability, or x → x d asymptotically in probability.
Proof: Similar to Proposition 3
The robust synthetic gene network design problem by specifying N ∈ [N1, N2] to solve a positive function V( ) > 0 for HJI in (20) with a prescribed disturbance attenuation level ρ is transformed into the problem of specifying N ∈ [N1, N2] to solve a common positive symmetric definite matrix P > 0 for a set of inequalities in (28), or equivalently for a set of LMIs in (30). The LMIs in (30) can be efficiently solved by the so-called interior-point method . It has been proven that the computational complexity for solving LMIs in (30) via the interior point method for the n-gene network in (10) is about the order O(m2.75 M1.5) of arithmetic operations, where and M is the number of linearized systems . The LMIs in (30) could be efficiently solved by the LMI toolbox in Matlab .
without the term in (28). In this situation, it is easier to specify the kinetic parameters and decay rates in N to satisfy the above LMIs. Furthermore, the asymptotic convergence to the desired steady states x d in probability can also be achieved.
(ii) In addition to the global linearization method in this study, a piecewise-affine model for nonlinear gene regulatory network has also been introduced to consider geometric constraints of genetic regulatory network .
(iv)Using global linearization, every trajectory of a nonlinear system in (16) is also a trajectory of the convex combinatory system in (26). However, there are many trajectories of the convex combinatory system that are not trajectories of the nonlinear system . Therefore, the conditions of Proposition 3 are more constraining than the ones of Proposition 1. Hence, the solution of Proposition 3 is more conservative than the one of Proposition 1. Similarly, the solution of Proposition 4 is more conservative than the one of Proposition 2 because the conditions of Proposition 4 are more constraining than the ones of Proposition 2.
Then developing the robust synthetic network requires finding a fine tuning ΔN from the allowable range [- , ] to meet a positive matrix P > 0 solution of LMIs in (35), which can be achieved via the help of the LMI toolbox in Matlab. The detailed search process for fine tuning ΔN is given in the design example in the sequel.
From the analyses above, a design procedure for a robust synthetic gene network is proposed as follows:
(1) Provide the design specification of robust synthetic gene network in (12)-(15).
(2) Shift the desired steady state x d to the origin, as in (16).
(3) Perform the global linearization as in (25) to obtain F i and G ij .
(4) Find the nominal and solve LMIs for fine tuning ΔN from the allowable range (- , ).
(5) Find the design kinetic parameters and decay rates of the synthetic gene network as N = N0 + ΔN.
An in silico design example
Our robust synthetic gene network requires designing these parameters κ i and γ i within N ∈ [N1, N2] to meet the four specifications, i.e., we want to design four kinetic parameters κ tetR , κ lacI , κ cI , and κ eyfp and four decay rates γ tetR , γ lacI , γ cI , and γ eyfp to satisfy the following four design specifications.
where the allowable ranges of kinetic parameters and decay rates depend on the possibility of implementation and the biological property such as the desired steady state x d .
(iv) The prescribed attenuation level of external disturbance is specified by ρ = 0.3.
then the four design specifications (i)-(iv) are satisfied.
Clearly, the prescribed disturbance attenuation (filtering ability) is achieved by the proposed method.
Clearly, the design specification of filtering ability is violated significantly.
From the simulation results, it can be seen that the designed synthetic gene network using the proposed method has robust stability to tolerate intrinsic parameter fluctuations and enough filtering ability to attenuate the external disturbances, thereby achieving the desired steady states. If the designed gene network has enough robust stability and filtering ability, then it could work properly under intrinsic fluctuations and extrinsic molecular noises on the host cell. Furthermore, the design ranges of kinetic parameters and decay rates can be easily solved by fine tuning ΔN in the design procedure using the LMI Toolbox in Matlab.
In this design example, the kinetic parameters κ i and decay rates γ i can be designed within the ranges in (41) to satisfy the four design specifications. Recently, the gene circuit design can be implemented using a recombination technology [30, 31] to insert or delete TF binding sites in the promoter region of a regulated gene to increase or decrease the value of the kinetic parameter κ i (i.e. different levels of affinity) of the regulated gene. By inserting strong or weak binding sites, we can get a large or small kinetic parameter κ i . For example, the binding site of κ i = 1 will be 10 times larger than that of κ i = 0.1 at the promoter region of target gene i. As for the implementation of decay rate γ i , it has been shown that it can be achieved by shortening the 3' polyadenylate tail (referred to as deadenylation), which primarily triggers decapping, leading to 5' to 3' exonucleolysis. Alternatively, the removal of 3' polyadenylate tail can facilitate the decay rate γ i [32, 33]. Therefore, by shortening or elongating the gene's 3' polyadenylate tail we can increase or decrease the decay rate γ i of gene i. Recently, the directed evolution methods are also used to change the elasticity (kinetic property of κ i ) and will be useful techniques for biochemical circuit design [34–36]. The advances of implementation techniques of kinetic parameter κ i and decay rate γ i have made an engineering of synthetic gene network possible in the near future .
The synthetic gene network in silico example is a negative circuit made of the sequence inhibitions of three repressor genes and an output to reveal the gene expression state in vivo. i.e., eyfp and tetR expressions are controlled by CI protein, cI expression is controlled by LacI protein, which is under the control of TetR protein, and enhanced yellow fluorescent protein (EYFP) is the output. In general, negative feedback can reduce noise and introduce stability , but it can also generate oscillations if a long time delay is involved [38, 39]. Therefore, proper kinetic parameters and decay rates in synthetic gene network are important to satisfy the four design specifications proposed for robust stabilization and filtering ability. Specification (iii) delivers the desired steady state x d given in (40) to validate the robust regulation of synthetic gene network. Nevertheless, regulation of gene expression is an evolutionary response to the challenge of surviving in a changing environment , the generating ratios κi,0, the kinetic parameters κ i , and the decay ratios γ i of the corresponding proteins in a synthetic gene network may tolerate parameter fluctuations in the host cell, but it is difficult to maintain the values of these parameters invariant in vivo. Therefore, to remedy these uncertainties in the host cell, specifications (ii) and (iv) provide the standard deviations of parameter fluctuations in (39) and the prescribed attenuation level ρ to contribute to the guaranty of stability robustness and filtering ability of the synthetic gene network. By using the above design specifications and the robust design method, biologists may select suitable ranges of kinetic parameters and decay rates to design a robust synthetic gene network to meet these design specifications. Therefore, the proposed robust design method has several applications to robust synthetic gene network design in the near future.
Due to intrinsic perturbations such as gene expression noises, mutation, evolution and extrinsic disturbances such as changing environments and interactions with the cellular context in a host cell, the synthetic gene networks engineered so far in bacteria to behave in a particular way seem decay rapidly after a short period of activity [39, 41]. Therefore, the development of a robust design scheme is an important topic for synthetic gene network to work properly and robustly in spite of intrinsic parameter fluctuations, external molecular noises and functional variations in the host cell. If successful, the behavior of the synthetic gene network can be maintained in spite of environmental factors. In [42–49], robust gene circuit designs have been proposed to attenuate the parameter variations or noises. However, in this study, the stochastic parameter fluctuations are modeled as state-dependent Wiener noises due to several independent random sources in the host cell and environmental disturbances are to be attenuated below a prescribed level so that a synthetic gene network can be robust in the host cell. Further, we propose four design specifications for engineering synthetic gene network to guarantee this robust design purpose. Then, based on global linearization and LMI techniques, a simple design procedure is developed to achieve the robust design purpose of synthetic gene network using the LMI Toolbox in Matlab. From the design example in silico, the four design specifications can be guaranteed for the robust synthetic gene network via the computation simulation.
There are, however, many other behaviors of interest in synthetic gene network designs to which the proposed method with desired steady state behavior can not be applied. Indeed, the other behaviors like oscillations or transient behaviors are more complex than the steady state behaviors. How to engineer a synthetic gene network with desired oscillations or transient behaviors is a tracking design problem. In this tracking design case, the desired behavior should be generated by a reference dynamic model , where x d denotes the desired state vector and r denotes the reference input. Then we should design the parameters of the synthetic gene network in (11) so that x can track the reference state vector x d and the prescribed disturbance filtering ability ρ in (15) can be achieved. This is a desired behavior tracking design problem. More effort is needed and this will be our further research in future. The proposed design method only focuses on the regulation problem of the desired steady state behaviors, which is a limitation of the approach for the general problem of synthetic biological network design.
We have presented a stochastic model to analyze the dynamic properties of genetic regulatory networks with parameter uncertainties, external disturbances and functional variations in the host cell. Then four design specifications are introduced to guarantee that synthetic gene networks could work with the desired steady state behaviors under intrinsic parameter fluctuations, external disturbances and functional variations in the host cell. Finally, a synthetic design method is proposed for robust synthetic gene networks to meet these design specifications and function properly in spite of intrinsic parameter fluctuations and extrinsic disturbances. To avoid directly solving nonlinear stochastic stabilization and the filtering design problem of robust synthetic gene networks, a global linearization technique is employed to transform a nonlinear stochastic gene network to the set of linearized gene networks to simplify the design procedure so that the robust synthetic gene network design problem could be solved efficiently by linear matrix inequalities (LMIs) technique using the LMI toolbox in Matlab. The proposed design procedure can guarantee that the synthetic gene network meets the four design specifications so that the engineered gene network has sufficient robust stability and filtering ability to achieve the desired steady state in spite of intrinsic uncertainties, extrinsic disturbances and functional variations in the host cell. Therefore, the proposed systematic design method has significant potential for application to robust synthetic gene network designs in the future.
Appendix A: proof of proposition 1
If V( (0)) = 0, then (A4) will be reduced to (17).
For some positive constant V( (0)), it means → 0 in probability as t → ∞
Appendix B: proof of proposition 2
Then, following the same procedure as the proof of Proposition 1 in Appendix A, we can get the results of Proposition 2. i.e. we can get the same result as Proposition 1 except three extra terms due to the need to tolerate functional perturbations in (B3).
Appendix C: proof of proposition 3
Then, the remainder of the proof is similar to the procedure in Appendix A
We thank the National Science Council of Taiwan for grants NSC 97-2627-P-001-002.
- Tucker JB, Zilinskas RA: The promise and perils of synthetic biology. New Atlantis. 2006, 12: 25-45.PubMedGoogle Scholar
- Andrianantoandro E, Basu S, Karig DK, Weiss R: Synthetic biology: new engineering rules for an emerging discipline. Mol Syst Biol. 2006, 2: 2006.0028-PubMed CentralView ArticlePubMedGoogle Scholar
- Endy D: Foundations for engineering biology. Nature. 2005, 438 (7067): 449-453.View ArticlePubMedGoogle Scholar
- Hasty J, McMillen D, Collins JJ: Engineered gene circuits. Nature. 2002, 420 (6912): 224-230.View ArticlePubMedGoogle Scholar
- Kobayashi H, Kaern M, Araki M, Chung K, Gardner TS, Cantor CR, Collins JJ: Programmable cells: interfacing natural and engineered gene networks. Proc Natl Acad Sci U S A. 2004, 101 (22): 8414-8419.PubMed CentralView ArticlePubMedGoogle Scholar
- Gardner TS, Cantor CR, Collins JJ: Construction of a genetic toggle switch in Escherichia coli. Nature. 2000, 403 (6767): 339-342.View ArticlePubMedGoogle Scholar
- Batt G, Yordanov B, Weiss R, Belta C: Robustness analysis and tuning of synthetic gene networks. Bioinformatics. 2007, 23 (18): 2415-View ArticlePubMedGoogle Scholar
- Goulian M: Robust control in bacterial regulatory circuits. Current Opinion in Microbiology. 2004, 7 (2): 198-202.View ArticlePubMedGoogle Scholar
- Kitano H: Biological robustness. Nature Reviews Genetics. 2004, 5 (11): 826-837.View ArticlePubMedGoogle Scholar
- de Jong H: Modeling and simulation of genetic regulatory systems: a literature review. Journal of Computational Biology. 2002, 9 (1): 67-103.View ArticlePubMedGoogle Scholar
- Szallasi Z, Stelling J, Periwal V: System Modeling in Cellular Biology: From Concepts to Nuts and Bolts. 2006, Cambridge: The MIT PressView ArticleGoogle Scholar
- Kuepfer L, Sauer U, Parrilo P: Efficient classification of complete parameter regions based on semidefinite programming. BMC Bioinformatics. 2007, 8 (1): 12-PubMed CentralView ArticlePubMedGoogle Scholar
- Chen BS, Chang YT, Wang YC: Robust H∞ stabilization design in gene networks under stochastic molecular noises: fuzzy-interpolation approach. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Special Issue for Systems Biology). 2008, 38 (1): 25-42.View ArticleGoogle Scholar
- Chen BS, Chen PW: Robust engineered circuit design principles for stochastic biochemical networks with parameter uncertainties and disturbances. Biomedical Circuits and Systems, IEEE Transactions on. 2008, 2 (2): 114-132.View ArticleGoogle Scholar
- Chen BS, Chang CH, Lee HC: Robust synthetic biology design: stochastic game theory approach. Bioinformatics. 2009, 25 (14): 1822-1830.PubMed CentralView ArticlePubMedGoogle Scholar
- McAdams HH, Arkin A: It's a noisy business! Genetic regulation at the nanomolar scale. Trends Genet. 1999, 15 (2): 65-69.View ArticlePubMedGoogle Scholar
- Arkin A, Ross J, McAdams HH: Stochastic kinetic analysis of developmental pathway bifurcation in phage ë-infected Escherichia coli cells. Genetics. 1998, 149 (4): 1633-1648.PubMed CentralPubMedGoogle Scholar
- Zhang W, Chen BS: State feedback H∞ control for a class of nonlinear stochastic systems. SIAM journal on control and optimization. 2006, 44 (6): 1973-1991.View ArticleGoogle Scholar
- Boyd S, El Ghaoui L, Feron E, Balakrishnan V: Linear Matrix Inequalities in System and Control Theory. 1994, Philadelphia: Society for Industrial MathematicsView ArticleGoogle Scholar
- Gahinet P, Nemirovski A, Laub AJ, Chilali M: LMI Control Toolbox User's Guide. 1995, Natick, MA: The MathWorks, IncGoogle Scholar
- Alon U: An Introduction to Systems Biology: Design Principles of Biological Circuits. 2007, London: Chapman & Hall/CRCGoogle Scholar
- Voit EO: Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists. 2000, Cambridge: Cambridge University PressGoogle Scholar
- Chen BS, Wang YC: On the attenuation and amplification of molecular noise in genetic regulatory networks. BMC Bioinformatics. 2006, 7 (1): 52-PubMed CentralView ArticlePubMedGoogle Scholar
- Zhang W, Chen BS, Tseng CS: Robust H∞ filtering for nonlinear stochastic systems. Signal Processing, IEEE Transactions on. 2005, 53 (2 Part 1): 589-598.View ArticleGoogle Scholar
- Chen G, Hsu S-H: Linear Stochastic Control Systems. 1995, Boca Raton, FL: CRC PressGoogle Scholar
- Slotine J-JE, Li W: Applied nonlinear control. 1991, Prentice Hall Englewood Cliffs, NJGoogle Scholar
- Chen BS, Zhang W: Stochastic H-2/H-infinity control with state-dependent noise. IEEE Transactions on Automatic Control. 2004, 49 (1): 45-57.View ArticleGoogle Scholar
- Drulhe S, Ferrari-Trecate G, de Jong H: The switching threshold reconstruction problem for piecewise affine models of genetic regulatory networks. IEEE Automatic Control. 2008, 53: 153-165.View ArticleGoogle Scholar
- Hooshangi S, Thiberge S, Weiss R: Ultrasensitivity and noise propagation in a synthetic transcriptional cascade. Proceedings of the National Academy of Sciences of the United States of America. 2005, 102 (10): 3581-3586.PubMed CentralView ArticlePubMedGoogle Scholar
- Copeland NG, Jenkins NA, Court DL: Recombineering: a powerful new tool for mouse functional genomics. Nat Rev Genet. 2001, 2: 769-779.View ArticlePubMedGoogle Scholar
- Court DL, Sawitzke JA, Thomason LC: Genetic engineering using homologous recombination. Annu Rev Genet. 2002, 36: 361-388.View ArticlePubMedGoogle Scholar
- Tucker M, Parker R: Mechanisms and control of mRNA decapping in Saccharomyces cerevisiae. Annu Rev Biochem. 2000, 69: 571-595.View ArticlePubMedGoogle Scholar
- Steiger MA, Parker R: Analyzing mRNA decay in Saccharomyces cerevisiae. Methods Enzymol. 2002, 351: 648-660.View ArticlePubMedGoogle Scholar
- Wang C, Oh MK, Liao JC: Directed evolution of metabolically engineered Escherichia coli for carotenoid production. Biotechnology Progress. 2000, 16 (6): 922-926.View ArticlePubMedGoogle Scholar
- Bulter T, Lee S, Wong W, Fung E, Connor M, Liao J: Design of artificial cell-cell communication using gene and metabolic networks. Proc Natl Acad Sci U S A. 2004, 101 (8): 2299-2304.PubMed CentralView ArticlePubMedGoogle Scholar
- Farmer WR, Liao JC: Improving lycopene production in Escherichia coli by engineering metabolic control. Nature Biotechnology. 2000, 18: 533-537.View ArticlePubMedGoogle Scholar
- Becskei A, Serrano L: Engineering stability in gene networks by autoregulation. Nature. 2000, 405 (6786): 590-593.View ArticlePubMedGoogle Scholar
- Goldbeter A: Biochemical Oscillations and Cellular Rhythms: The Molecular Bases of Periodic and Chaotic Behaviour. 1996, Cambridge: Cambridge University PressView ArticleGoogle Scholar
- Elowitz MB, Leibler S: A synthetic oscillatory network of transcriptional regulators. Nature. 2000, 403 (6767): 335-338.View ArticlePubMedGoogle Scholar
- McAdams HH, Srinivasan B, Arkin AP: The evolution of genetic regulatory systems in bacteria. Nature Reviews Genetics. 2004, 5 (3): 169-178.View ArticlePubMedGoogle Scholar
- Chin JW: Programming and engineering biological networks. Current Opinion in Structural Biology. 2006, 16 (4): 551-556.View ArticlePubMedGoogle Scholar
- Voit EO: Design principles and operating principles: the yin and yang of optimal functioning. Mathematical Biosciences. 2003, 182 (1): 81-92.View ArticlePubMedGoogle Scholar
- Savageau MA: Parameter sensitivity as a criterion for evaluating and comparing the performance of biochemical systems. Nature. 1971, 229 (5286): 542-544.View ArticlePubMedGoogle Scholar
- Savageau MA: Biochemical Systems Analysis: A Study of Function and Design in Molecular Biology. 1976, MA: Addison Wesley Publishing CompanyGoogle Scholar
- Savageau MA: Design principles for elementary gene circuits: elements, methods, and examples. Chaos. 2001, 11 (1): 142-159.View ArticlePubMedGoogle Scholar
- Kitano H: Systems biology: a brief overview. Science. 2002, 295 (5560): 1662-1664.View ArticlePubMedGoogle Scholar
- Ma L, Iglesias P: Quantifying robustness of biochemical network models. BMC Bioinformatics. 2002, 3 (38): 1-13.Google Scholar
- Yi T-M, Huang Y, Simon MI, Doyle J: Robust perfect adaptation in bacterial chemotaxis through integral feedback control. Proceedings of the National Academy of Sciences of the United States of America. 2000, 97 (9): 4649-4653.PubMed CentralView ArticlePubMedGoogle Scholar
- Sontag ED: Some new directions in control theory inspired by systems biology. Syst Biol (Stevenage). 2004, 1 (1): 9-18.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.