Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems

IET Systems Biology

Volumn 1, Issue 2, 2007, Pages 130-148

  Halász, Á ^a   Kumar, V ^a   Imielinski M ^a   Belta, C ^b   Sokolsky, O ^a   Pathak, S ^a   Rubin, H ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Boston University   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; METABOLISM; ORDINARY DIFFERENTIAL EQUATIONS; PIECEWISE LINEAR TECHNIQUES;

BIOMOLECULAR NETWORKS; LACTOSE METABOLISM; REACHABILITY ANALYSIS; STEADY-STATE STRUCTURE;

ESCHERICHIA COLI;

LACTOSE;

ALGORITHM; ARTICLE; AUTOMATION; BACTERIAL METABOLISM; ESCHERICHIA COLI; FEEDBACK SYSTEM; HYBRID; MATHEMATICAL COMPUTING; MOLECULAR BIOLOGY; MOLECULAR DYNAMICS; NONHUMAN; OPERON; QUALITATIVE ANALYSIS; SIMULATION; STEADY STATE; VALIDATION PROCESS;

ALGORITHMS; COMPUTER SIMULATION; ESCHERICHIA COLI; ESCHERICHIA COLI PROTEINS; GENE EXPRESSION REGULATION; LAC OPERON; LACTOSE; MODELS, BIOLOGICAL; SIGNAL TRANSDUCTION;

EID: 33947627011     PISSN: 17518849     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-syb:20060035     Document Type: Article

References (53)

1. Beckwith, J.: 'Escherichia coil and SalConella typhmurium: cellular and molecular microbiology', (American Society for Microbiology, Washington, D.C., USA 1987), Ch 4, p. 1439-1443
2. Ghosh, R., and Tomlin, C.: 'Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological to biological modeling: Delta-notch protein signaling', Syst. Biol., 2004, 1, (1), p. 170-182 10.1049/sb:20045019
3. de Jong, H., Geiselman, J., Batt, G., Hernande'z, C., and Page, M.: 'Qualitative simulation of the initiation of sporualation in Bacillus subtilis, Bull. Math. Biol., 2003, 66, p. 261-300 0092-8240
4. Batt, G., Ropers, D., de Jong, H., Geiselman, J., Mateescu, R., Page, M., and Schneider, D.: 'Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coil', Bioinformatics, 2005, 21, (Supp1.1), p. 119-128
5. Yildirim, N., and Mackey, M.C.: 'Feedback regulation in the lactose operon: A mathematical modeling study and comparison with experimental data', Biophys. J., 2003, 84, p. 2841-2851 0006-3495
6. Glass, L.: 'Classification of biological networks by their qualitative dynamics', J. Theor. Biol., 1975, 54, p. 85-107
7. Mestl, T., Plathe, E., and Omholt, S.W.: 'Periodic solution in system of piecewise-linear differential equations', Dyn. Stability Sys., 1995, 10, (2), p. 179-193
8. de Jong, H., Gouze, J.L., Hernez, C., Page, M., Sari, T., and Geiselmann, J.: 'Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach', Hybrid Systems: Computation and Control (HSCC 2003), Lecture Notes in Computer Science, 2623, (Springer-Verlag, New York 2003), p. 267-282
9. Kauffmann, S.A.: 'Metabolic stability and epigenesis in randomly constructed genetic nets', J. Theor. Biol., 1969, 22, p. 437-469
10. Thomas, R.: 'Regulatory networks seen as asyncAronous automata: a logical description', J. Theor. Biol., 1991, 153, p. 1-23
11. Kuipers, B.: 'Qualitative simulation', Art. Intell., 1981, 29, p. 289-388
12. Brutlag, D.L., Galper, A.R., and Millis, D.H.: 'Knowledge-based simulation of dna metabolism: Prediction of enzyme action', Comput. Appl. Bioci., 1991, 7, (1), p. 9-19
13. Gillespis, D.T.: 'Exact stochastic simulation of coupled chemical reaction, J. Phys. Chem., 1977, 81, p. 2340-2361 0022-3654
14. McAdams, H.M., and Arkin, A.: 'stochastic mechanisms in gene expression', Proc. Natl. Acad. Sci., 1997, 94, p. 814-819
15. Gillespie, D.T.: 'Fluctuation and dissipation in Brownian motion', Am. J. Phys., 1993, 61, p. 1077-1083 10.1119/1.17354 0002-9505
16. Glass, L., and Kaufman, S.A.: 'The logical analysis of continuous non-linear biochemical control networks', J. Theor. Biol., 1973, 39, p. 103-129
17. de Jong, H.: 'Modeling and simulation of genetic regulatory systems', J. Comput. Biol., 2002, 9, (1), p. 69-105
18. Savageau, M.A.: BiochemiAal systems analysis: a study of function and design in molecular biology, (Addison-Wesley, Reading, MA 1976)
19. Savageau, M.A.: 'Power-law formalism: A canonical approach to modeling and analysis', Lakh, V., World Congress of Nonlinear Analysts 92, (Walter de Gruyter, Berlin 1996), 4, p. 3323-3334
20. Savageau, M.A.: 'Alternative designs for a power switch: Analysis of switching times using the power-law representation', Math. Biosci., 2002, 180, p. 237-253 0025-5564
21. Ghosh, R., Tiwari, A., and Tomlin, S.: 'Automated symbolic reachability analysis with application to delta-notch signaling automata', Hybrid systems: Computation and control (HSCC 2003), Lecture Notes in Computer Science, 2623, (Springer-Verlag, New York 2003), p. 233-248
22. Belta, C., Schug, J., Dang, T., Kumar, V., Pappas, G.J., Rubin, H., and Dunlap, P.V.: 'Stability and reachablity analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri', 40th IEEE CDE, 2001, Orlando, FL
23. Belta, C., Finin, P., Habets, L.C.G.J.M., Halasz, A., Imielinski, M., Kumar, V., and Rubin, H.: 'Understanding the bacterial stringent response using reachability analysis of hybrid systems', 7th Int. Conf. on Hybrid systems: Computation and Control, March 2005., Philadelphia, PA, USA
24. Hu, J., Wu, W.C., and Sastry, S.: 'Modeling subtilin production in bacilus subtilis using stochastic hybrid systems', Hybrid systems Computation and control (HSCC 2004), lecture Notes in Computer Science, 2993, 2004, Springer-Verlag, p. 417
25. singh, A., and Hespanha, J.: 'Models for gene regulatory networks using polynomial stochastic hybrid system', Proc. 44th Conf. on Decision and Control, Seville, Spain, December 2005
26. de Jong, H., Gouz, J.-L., Hernandez, C., Page, M., Sari, T., and Geiselmann, J.: 'Qualitative simulation of genetic regulatory networks using piecewise-linear models', Bull. Math. Biol., 2004, 66, (2), p. 301-340 0092-8240
27. Chabrier-River, N., Chiaverini, M., Danos, V., Fages, F., and Schachter, V.: 'Modeling querying biomolecular interaction networks', Theor. Comput. Sci., 2004, 325, (1), p. 25-44 0304-3975
28. Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., and Mishra, B.: 'Taming the complexity of bio-chemical models through bisimulation and collapsing: Theory and practice', Theor. Comput. Sci., 2004, 325, (1), p. 45-67 10.1016/j.tcs.2004.03.064 0304-3975
29. Kloetzer, M., and Belta, C.: 'Reachability analysis of multi-affine systems', 9th Int.Workshop on Hybrid systems: Computation and control, 2006, Santa Barbara, CA In 'Hybrid Systems: Computation and Control (HSCC 2006), Lecture Notes in Computer Science, 3927' (Springer-Verlag, New York, 2006), pp. 348-362
30. Novick, A., and Weiner, M.: 'Enzyme induction as an all-or-none phenomenon', Proc. Natl. Acad. Sci., USA 1957), 43, p. 553-566
31. Mahaffy, J.M., and Simeonov, E.: 'Stability analysis for a mathematical model of the lac operon', Q. Appl. Math., 1999, 57, p. 37-53 0033-569X
32. Selgrade, J.F.: 'Mathermatical analysis of a cellular control process with positive feedback', SIAM J. Appl. Math., 36, p. 219-229 0036-1399
33. Wong, P., Gladney, S., and Keasling, J.D.: 'Mathematical model of the lac operaon: Inducer exclusion, catabolite repression, diauxic growth on lactose/glucose', Biotechnon. Prog., 1997, 13, p. 132-143
34. Knorre, W.A.: 'Oscillation of the rate of synthesis of beta-galactosidase in escherichia coli ml 30 and ml 308', Biochem. Biophys. Res. Commun., 1968, 30, p. 1248-1290
35. Pestka, S., Daugherty, B.L., Jung, V., Hotta, K., and Pestka, R.K.: 'Anti-mrna: Specific inhibition of translation of single mrna molecules', Proc. Natl. Acad. Sci., 1984, 81, p. 7527-7528
36. Goodwin, B.C.: 'Control dynamics of β-galacsidase in relation to the baterial cell cycle', Eur. J. Biochem, 1969, 10, p. 515-522
37. Yildirim, N., Santillan, M., Horike, D., and Mackey, M.C.: 'Dynamics and bistability in a reduced Model of the la operon', Chasos, 2004, 14, (2), p. 279-292
38. Ahmadzadeh, A., Halasz, A., Prajna, S., Jadbabaie, A., and Kumar, V.: 'Analysis of the lactose metabolism in e. coli using sum-of-squares decomposition.', Proc 44th Con. on Decision and Control, December 2005, Seville, Spain
39. Santillan, M., and Mackey, M.C.: 'Influence of catabolite repression and inducer exclusion on the bistable behavior of the lac operon', Biophys. J., 2004, 86, p. 1282-1292 0006-3495
40. Carrier, T.A., and Keasling, J.D.: 'Investigating autocatalytic gene expression systems through mechanistic modeling', J. Theor. Biol., 1999, 201, p. 25-36
41. Ozbudak, E.M., Thattai, M., Lim, H.N., Shraiman, B.I., and Oudenarden, van: 'Multistability in the lactose utilization network of escherichia coli', Nature, 2004, 427, p. 737-740 0028-0836
42. Belta, C., Habets, L., and Kumar, V.: 'Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks', 41st IEEE Conf. On Decision and Control, 2002, Las Vegas, NV, USA
43. Belta, C., Esposito, J., Kim, J.M., and Kumar, V.: 'Computational techniques for analysis of genetic network dynamics', In., J. Robot. Res., 2005, 24, p. 219-235
44. Twari, A., and Khanna, G.: 'Series of abstractions for hybrid automata', Fifth Int. Workshop on Hybrid Systems: Computation and Control, 2002, Stanford, CA, USA
45. Heinrich, R., and Schuster, S.: 'The regulation of cellular systems', (Chapman & Hall 1996), In 'Hybrid Systems: Computation and Control (HSCC 2002), Lecture Notes in Computer Science, 2289' (Springer-Verlag, New York, 2002), pp. 465-478
46. Alur, R., Henzinger, T.A., and Ho, P.-H.: 'Automatic symbolic verification of embedded systems', IEEE Tran. Soft. Eng., 1996, 22, p. 181-201
47. Ptashne, M., and Gann, A.: 'Genes and signals', (Cold Spring Harbor Laboratory Press, New York, USA 2002)
48. Cousot, P., and CousAt, R.: 'Abstract interpretation: a unified lattice model for static analysis of Programs by construction or approximation of fixpoints', Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Sym. On Principles of Programming Languages, 1977, ACM Press, New York, NY, USA p. 238-252
49. Cousot, P.: 'Verification by abstract interpretation', Dershowitz, N., Proc. Int. Symp. on Verification theory and practice - honoring zohar Manna's 64th birthday, (Springer-Verlag, Taormia, Italy 2003 June-July), p. 243-268
50. Girard, A., Le Guernic, C., and Maler, O.: 'Efficient computation of reachable sets of linear time- invariant systems with inputs', Ninth Int. Workshop on Hybrid Systems: Computation and Control, 2006, Santa Barbara, LA, USA In 'Hybrid Systems: Computation and Control (HSCC 2006), Lecture Notes in Computer Science, 3927' (Springer-Verlag, New York, 2006), pp. 257-271
51. von Dassow, G., Meir, E., Munro, E.M., and Odell, G.M.: 'The segment polarity network is a robust developmental module', Nature, 2000, 406, (6792), p. 131-132 0028-0836
52. Asarin, E., Dang, T., and Girard, A.: 'Reachability analysis of nonlinear systems using conservative approximation, Proc. 6th Int. Workshop on Hybrid Systems: Computation and Control, 2003, Springer-Verlag, New York, USA p. 20-35
53. Sontag, E.: 'Molecular systems biology and control', Eur. J. Control, 2005, 11, p. 396-435 0947-3580