Advanced methods and algorithms for biological networks analysis

Proceedings of the IEEE

Volumn 94, Issue 4, 2006, Pages 832-852

  El Samad, Hana ^a,b   Prajna, Stephen ^a,c   Papachristodoulou, Antonis ^a,c   Doyle, John ^a,c   Khammash, Mustafa ^a,d  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^d University of California at Santa Barbara   (United States)

Author keywords

Biological networks; Model invalidation; Robust stability; Stochastic analysis; Sum of squares based software tools (SOSTOOLS)

Indexed keywords

ALGORITHMS; DATA REDUCTION; FEEDBACK CONTROL; RANDOM PROCESSES; ROBUSTNESS (CONTROL SYSTEMS); SYSTEM STABILITY;

BIOLOGICAL NETWORKS; MODEL INVALIDATION; STOCHASTIC ANALYSIS; SUM OF SQUARES BASED SOFTWARE TOOLS (SOSTOOLS);

NEURAL NETWORKS;

EID: 33747848852     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2006.871776     Document Type: Article

References (65)

1. H. Kitano, "Systems biology: A brief overview," Science, vol. 295, no. 5560, pp. 1662-1664, 2002.
2. H. Wiley, S. Shvartsman, and D. Lauffenburger, "Computational modeling of the EGF-receptor system: A paradigm for systems biology," Trends Cell Biol., vol. 13, no. 1, pp. 43-50, 2003.
3. T. Ideker, T. Galitski, and L. Hood, "A new approach to decoding life: Systems biology," Annu. Rev. Genomics Hum. Genet., vol. 2, pp. 343-372, 2001.
4. M. Csete and J. Doyle, "Bow ties, metabolism and disease," Trends Bioteclmol., vol. 22, no. 9, pp. 446-450, 2004.
5. L. Hood, J. Heath, M. Phelps, and B. Lin, "Systems biology and new technologies enable predictive and preventative medicine," Science, vol. 306, no. 5296, pp. 640-643, 2004.
6. E. Butcher, E. Berg, and E. Kunkel, "Systems biology in drug discovery," Nature Biotechnol., vol. 22, pp. 1253-1259, 2004.
7. S. Prajna, "Barrier certificates for nonlinear model validation," Automatica, vol. 42, no. 1, pp. 117-126, 2006.
8. M. Morohashi et al., "Robustness as a measure of plausibility in models of biochemical networks," J. Theor. Biol., vol. 216, no. 1, pp. 19-30, 2002.
9. M. Csete and J. Doyle, "Reverse engineering of biological complexity," Science, vol. 295, no. 5560, pp. 1664-1669, 2002.
10. J. Stelling et al., "Robustness of cellular functions," Cell, vol. 118, no. 6, pp. 675-685, 2004.
11. H. El-Samad, H. Kurata, J. Doyle, C. Gross, and M. Khammash, "Surviving heat shock: Control strategies for robustness and performance," Proc. Nat. Acad. Sci. USA, vol. 102, no. 9, pp. 2736-2741, 2005.
12. A. Liapunov, "Problème général de la stabilité du mouvement," An. Fac. Sci. Toulouse, vol. 9, pp. 203-474, 1907.
13. A. Papachristodoulou and S. Prajna, "On the construction of Lyapunov functions using the sum of squares decomposition," in Proc. 41st IEEE Conf. Decision and Control 2002, pp. 3482-3487.
14. M. Walter et al., "Enhancers increase the probability but not the level of gene expression," Proc. Nat. Acad. Sci. USA, vol. 92, no. 15, pp. 7125-7129, 1995.
15. M. Dingemanse et al., "The expression of liver specific genes within rat embryonic hepatocytes is a discontinuous process," Differentiation, vol. 56, no. 3, pp. 153-162, 1994.
16. M. Ko, S. Nakauchi, and N. Takahashi, "The dose dependence of glucocorticoid-inducible gene expression results from changes in the number of transcriptionally active templates," EMBO J., vol. 9, no. 9, pp. 2835-2842, 1990.
17. D. Bennett, "Differentiation in mouse melanoma cells: Initial reversibility and an on-off stochastic model," Cell, vol. 34, no. 2, pp. 445-453, 1983.
18. A. Arkin, J. Ross, and H. McAdams, "Stochastic kinetic analysis of the developmental pathway bifurcation in phage λ-infected escehrichia coli cells," Genetics, vol. 149, no. 4, pp. 1633-1648, 1998.
19. H. El-Samad, M. Khammash, L. Petzold, and D. Gillespie, "Stochastic modeling of gene regulatory networks," Int. J. Robust Nonlinear Control, vol. 15, pp. 691-711, 2005.
20. F. Benzt, "Cell death and cancer therapy," Curr. Opin. Pharmacol., vol. 1, pp. 337-341, 2001.
21. M. Ptashne, A Genetic Switch: Phage λand Higher Organisms. Cambridge, MA: Blackwell, 1992.
22. O. Kobiler et al., "Quantitative analysis of bacteriphage λgenetic network," Proc. Nat. Acad. Sci. USA, vol. 102, no. 12, pp. 4470-4475, 2005.
23. D. T. Gillespie, "A rigorous derivation of the Chemical Master Equation," Physica A, vol. 188, pp. 404-425, 1992.
24. N. van Kampen, Stochastic Processes in Physics and Chemistry. Amsterdam, The Netherlands: Elsevier Science Publishing Company, 1992.
25. D. T. Gillespie, "A general method for numerically simulating the stochastic time evolution of coupled chemical reactions," J. Comp. Phys., vol. 22, pp. 403-434, 1976.
26. _, "Exact stochastic simulation of coupled chemical reactions," J. Phys. Chem., vol. 81, pp. 2340-2361, 1977.
27. M. Rathinam, L. Petzold, Y. Cao, and D. Gillespie, "Stiffness in stochastic chemically reacting systems: The implicit tau-leaping method," J. Chem. Phys., vol. 19, pp. 12784-12794, 2003.
28. L. Pratt, "A statistical method for identifying transition states in high dimensional problems," J. Chemical Physics, vol. 85, no. 9, pp. 5045-5048, 1986.
29. R. Radhakrishnan and T. Schlick, "Orchestration of cooperative events in DNA synthesis and repair mechanism unraveled by transition path sampling of dna poly-merase beta's closing," Proc. Nat. Acad. Sci. USA, vol. 101, no. 16, pp. 5970-5975, 2004.
30. H. K. Khalil, Nonlinear Systems. Englewood Cliffs, NJ: Prentice-Hall, 1996.
31. V. Zubov, Methods of A. M. Lyapunov and Their Application. Groningen, The Netherlands: Noordhoff, 1964.
32. W. Hahn, Stability of Motion. New York: Springer-Verlag, 1967.
33. S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory. Philadelphia, PA: SIAM, 1994.
34. L. Vandenberghe and S. Boyd, "Semidefinite programming," SIAM Rev., vol. 38, no. 1, pp. 49-95, 1996.
35. C. A. Desoer and M. Vidyasagar, Feedback Systems: Input-Output Properties. New York: Academic, 1975.
36. E. Feron, P. Apkarian, and P. Gahinet, "Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions," IEEE Trans. Autom. Control, vol. 41, no. 7, pp. 1041-1046, Jul. 1996.
37. J. Shamma and M. Athans, "Analysis of gain scheduled control for nonlinear plants," IEEE Trans. Autom. Control, vol. 35, no. 8, pp. 898-907, Aug. 1990.
38. A. Packard, "Gain scheduling via linear fractional transformations," Syst. Control Lett, vol. 22, pp. 79-92, 1994.
39. A. Megretski and A. Rantzer, "System analysis via integral quadratic constraints," IEEE Trans. Autom. Control, vol. 42, no. 6, pp. 819-830, Jun. 1997.
40. P. A. Parrilo, "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization" Ph.D. dissertation, Caltech, Pasadena, CA, 2000 [Online]. Available: http://www. control.ethz.ch/-parrilo/pubs/
41. K. G. Murty and S. N. Kabadi, "Some NP-complete problems in quadratic and nonlinear programming," Math. Program., vol. 39, pp. 117-129, 1987.
42. P. A. Parrilo and B. Sturmfels, "Minimizing polynomial functions," in Workshop Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science 2001, pp. 83-99.
43. S. Prajna, A. Papachristodoulou, P. Seller, and P. A. Parrilo, "Sostools and its control applications," in Positive Polynomials in Control. New York: Springer-Verlag, 2005, pp. 273-292 [Online]. Available: http://www.cds.caltech.edu/sostools, http://www. mit.edu/parrilo/sostools
44. L. Dai, Singular Control Systems. New York: Springer-Verlag, 1989.
45. V. A. Yakubovic, "S-procedure in nonlinear control theory," Transl.: English Vestnik Leningrad University, vol. 4, no. 1, pp. 73-93, 1977,
46. original Russian publication in Vestnik Leningradskogo Universiteta, Seriya Matematika, Leningrad, Russia, 1971, pp. 62-77.
47. A. Papachristodoulou and S. Prajna, "Analysis of nonpolynomial systems using the sum of squares decomposition," in Positive Polynomials in Control, D. Henrion and A. Garulli, Eds. New York: Springer-Verlag, 2005, ch. 3, pp. 23-44.
48. R. S. Smith and J. C. Doyle, "Model validation: A connection between robust control and identification," IEEE Trans. Autom. Control, vol. 37, no. 7, pp. 942-952, Jul. 1992.
49. K. Poolla, P. Khargonekar, A. Tikku, J. Krause, and K. Nagpal, "A time-domain approach to model validation," IEEE Trans. Autom. Control, vol. 39, no. 5, pp. 951-959, May 1994.
50. G. Dullerud and R. Smith, "A nonlinear functional approach to LFT model validation," Syst. Control Lett., vol. 47, no. 1, pp. 1-11, 2002.
51. S. L. Campbell, Singular Systems of Differential Equations. Boston, MA: Pitman, 1980.
52. A. van der Schaft and H. Schumacher, An Introduction to Hybrid Dynamical Systems. London, U.K.: Springer-Verlag, 2000.
53. S. Prajna, A. Jadbabaie, and G. J. Pappas, "Stochastic safety verification using barrier certificates," in Proc. IEEE Conf. Decision and Control 2004, vol. 1, pp. 929-934.
54. _, "A framework for worst case and stochastic safety verification using barrier certificates," IEEE Trans. Autom. Control, 2005, submitted for publication.
55. B. Øksendal, Stochastic Differential Equations: An Introduction With Applications. Berlin, Germany: Springer-Verlag, 2000.
56. H. J. Kushner, Stochastic Stability and Control. New York: Academic, 1967.
57. B. Alberts et al., Molecular Biology of the Cell. New York: Garland, 2002.
58. 32," Genes Develop., vol. 4, no. 12A, pp. 2202-2209, 1990.
59. 32: Evidence for a built-in rna thermosensor," Genes Develop., vol. 13, no. 6, pp. 655-665, 1999.
60. H. El-Samad, M. Khammash, H. Kurata, and J. Doyle, "Robustness analysis of the heat shock response in E. coli," in Proc. Amer. Control Conf. 2002, pp. 1742-1747.
61. H. Kurata, H. El-Samad, T. Yi, M. Khammash, and J. Doyle, "Feedback regulation of the heat shock response in E. coli," in Proc. 40th IEEE Conf. Decision and Control 2001, pp. 837-842.
62. M. Shea and G. Ackers, "The or control system in bacteriophage lambda: A physical-chemical model for gene regulation," J. Mol. Biol., pp. 211-230, 1985.
63. J. Hasty, J. Pradines, M. Dolnik, and J. Collins, "Noise-based switches and amplifiers for gene expression," in Proc. Nat. Acad. Sci. USA 2000, vol. 97, pp. 2075-2080.
64. C. Rao and A. Arkin, "Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the gillespie algorithm," J. Chem. Phys., vol. 118, pp. 4999-5010, 2003.
65. D. Gillespie, "The chemical Langevin equation," J. Chem. Phys. vol. 113, pp. 297-306, 2000.