Symbolic systems biology: Hybrid modeling and analysis of biological networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 660-672

  Lincoln, Patrick ^a   Tiwari, Ashish ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS;

ANALYSIS TECHNIQUES; BIOLOGICAL NETWORKS; DISCRETE COMPONENTS; MODEL AND ANALYSIS; MOLECULAR SPECIES; NONLINEAR EFFECT; STATE TRANSITIONS; SYMBOLIC SYSTEMS;

BIOLOGICAL SYSTEMS;

EID: 33745783973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_44     Document Type: Article

References (40)

1. R. Alur, C. Bella, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biological systems. In Fourth Intl. Workshop on Hybrid Systems: Computation and Control, volume 2034 of LNCS, pages 19-32, 2001.
2. J. M. Bower and H. Bolouri, editors. Computational modeling of genetic and biochemical networks. MIT Press, 2001.
3. J. R. Collier, A. M. Monk, P. K. Maini, and J. H. Lewis. Pattern formation by lateral inhibition with feedback: A mathematical model of Delta-Notch intercellular signalling. J. of theor. Biology, 183:429-446, 1996.
4. Marie E. Csete and John C. Doyle. Reverse engineering of biological complexity. Science, 295:1664-1669, 2002.
5. David L. Dill and Patrick Lincoln. Evolution as design engineer. In Corrado Priami, editor, Computational Methods in Systems Biology, First International Workshop, CMSB 2003, pages 202-206. Springer, 2003.
6. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, and Kemal Sonmez. Pathway logic: Symbolic analysis of biological signaling. In Russ B. Altman et al, editor, Proceedings of the Pacific Symposium on Biocomputing 7, pages 400-412, January 2002.
7. M. A. Gallivan and R. M. Murray. Model reduction and system identification for master equation control systems. In American Control Conference, 2003. Submitted for publication.
8. Thomas D. Garvey, Patrick Lincoln, Charles John Pedersen, David Martin, and Mark Johnson. Biospice: Biospice: Access to the most current computational tools for biologists. OMICS, 7(4):411-420, 2003.
9. R. Ghosh, A. Tiwari, and C. Tomlin. Automated symbolic reachability analysis with application to delta-notch signaling automata. In O. Maler and A. Pnueli, editors, Hybrid Systems: Computation and Control HSCC, volume 2623 of LNCS, pages 233-248. Springer, April 2003.
10. R. Ghosh and C. J. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In M. D. D. Benedetto and A. SangiovanniVincentelli, editors, Hybrid Systems: Computation and Control, HSCC 2001, volume 2034 of LNCS, pages 232-246, 2001.
11. D. T. Gillespie. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Physics, 22:403-434, 1976.
12. S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In O. Grumberg, editor, Proc. of 9th Conference on Computer-Aided Verification (CAV'97), volume 1254, pages 72-83. Springer Verlag, 1997.
13. J. R. Guyton, R. O. Foster, J. S. Soeldner, M. H. Tan, C. B. Kahn, L. Konez, and R. E. Gleason. A model of glucose-insulin homeostasis in man that incorporates the heterogeneous fast pool theory of pancreatic insulin release. Diabetes, 27:1027-1042, 1978.
14. H. Hong. Quantifier elimination in elementary algebra and geometry by partial cylindrical algebraic decomposition version 13. In The world wide web, 1995. http: //www.gwdg.de/~cais/systeme/saclib, www.eecis.udel.edu/~saclib/.
15. M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. C. Doyle, H. Kitano, and et al. A. P. Arkin. The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics, 19(4):524-531, 2003.
16. Hybridsal: Modeling and abstracting hybrid systems, 2003. Computer Science Laboratory, SRI International, Menlo Park, CA. http://www.csl.sri.com/ users/tiwari/HybridSalDoc.ps.
17. Trey Ideker, Timothy Galitski, and Leroy Hood. A new approach to decoding life: Systems biology. Annual Review Genomics - Human Genetics, 2001.2:343-372, 2001.
18. P.D. Karp. Pathway databases: A case study in computational symbolic theories. Science, 293:2040-2044, 2001.
19. H. Kitano. Systems biology: an overview. Science, 295:1662-1664, 2002.
20. B. J. Kuipers. Qualitative reasoning: Modeling and simulation with incomplete knowledge. MIT Press, Cambridge, MA, 1994.
21. Srikanta P. Kumar and Jordan C. Feidler. Biospice: A computational infrastructure for integrative biology. OMICS, 7(3):225-226, 2003.
22. M. Laub, H. McAdams, T. Feldbluym, C. Fraser, and L. Shapiro. Global analysis of the genetic network controlling a bacterial cell cycle. Science, 290:2144-2148, 2000.
23. G. Marnellos, G. A. Deblandre, E. Mjolsness, and C. Kintner. Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in xenopus: Experimental observations and a gene network model. Pacific symposium on biocomputing, 5:326-337, 2000.
24. H. H. McAdams and A. Arkin. Stochastic mechanisms in gene expression. In Proc. Natl. Acad. Sci. USA, volume 94, pages 814-819, 1997.
25. HH. McAdams and Arkin A. It's a noisy business! genetic regulation at the nanomolar scale. Trends in Genetics, 15(2):65-69, 1999.
26. E. Mjolsness, D. H. Sharp, and J. Reinitz. A connectionist model of development. J. of theor. Biology, 152:429-453, 1991.
27. R. S. Parker, F. J. Doyle, and N. A. Peppas. A model-based algorithm for blood glucose control in type I diabetes patients. IEEE transactions on biomedical engineering, 46(2), February 1999.
28. Corrado Priami, editor. Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, volume 2602 of Lecture Notes in Computer Science. Springer, 2003.
29. P. Romero and P.D. Karp. Nutrient-related analysis of pathway/genome databases. In R. Altman and T. Klein, editors, Proceedings of the Pacific Symposium on Biocomputing, pages 471-482. World Scientific, Singapore, 2001.
30. M. A. Savageau. Biochemical Systems Theory. Addison-Wesley, 1976.
31. J. T. Sorensen. A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes. PhD thesis, Dept. Chem. Eng., Massachusetts Inst. Technology (MIT), Cambridge, 1985.
32. Carolyn Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, and Keith Laderoute. Pathway logic modeling of protein functional domains in signal transduction. In RUSS B. Altman et al, editor, Proceedings of the Pacific Symposium on Biocomputing, pages 568-580, January 2004.
33. A. Tiwari. Abstraction based theorem proving: An example from the theory of reals. In C. Tinelli and S. Ranise, editors, Proceedings of the CADE-19 Workshop on Pragmatics of Decision Procedures in Automated Deduction, PDPAR 2003, pages 40-52. INRIA, Nancy, France, 2003.
34. A. Tiwari. Approximate reachability for linear systems. In O. Maler and A. Pnueli, editors, HSCC, volume 2623 of LNCS, pages 514-525. Springer, April 2003.
35. A. Tiwari and G. Khanna. Series of abstractions for hybrid automata. In C. J. Tomlin and M. R. Greenstreet, editors, Hybrid Systems: Computation and Control, HSCC 2002, volume 2289 of LNCS, pages 465-478, 2002.
36. A. Tiwari and G. Khanna. Nonlinear systems: Approximating reach sets. In Hybrid systems: Computation and control, HSCC 2004, 2004. Appears in this proceedings.
37. A. Tiwari, D. Wolf, A. Arkin, and P. Lincoln. Hybrid modeling and analysis of genetic regulatory networks: Sporulation initiation in bacillus subtilis, 2003. In preparation.
38. Denise Wolf and Adam Arkin. Sporulation initiation model, 2003. Unpublished manuscript.
39. Denise Wolf and Adam Arkin. Survival strategy selection as an emergent property of ubernetwork topology, 2003. Unpublished manuscript.
40. C. H. Yuh, H. Bolouri, J. M. Bower, and E. H. Davidson. A logical model of cis-regulatory control in a eukaryotic system. In J. M. Bower and H. Bolouri, editors, Computational Modeling of Genetic and Biochemical Networks, pages 73100. MIT Press, Cambridge, MA, 2001.