Understanding the bacterial stringent response using reachability analysis of hybrid systems

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

Volumn 2993, Issue , 2004, Pages 111-125

  Delta, Cǎlin ^a   Finin, Peter ^b   Habets, Luc C G J M ^d   Halász, Ádám M ^b   Imieliński, Marcin ^c   Vijay Kumar, R ^b   Rubin, Harvey ^c  

^a Drexel University   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

^d EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

AFFINE FUNCTION; METABOLIC NETWORK; PRODUCT TYPES; REACHABILITY ANALYSIS; RECTANGULAR REGIONS; RESPONSE SYSTEMS; SAFETY VERIFICATION; VECTOR FIELDS;

HYBRID SYSTEMS;

EID: 33847191862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (29)

1. Glass L. Classification of biological networks by their qualitative dynamics. Journal of Theoretical Biology, 54:85-107, 1975.
2. Mestl T., E. Plathe, and S. W. Omholt. Periodic solutions in systems of piecewiselinear differential equations. Dynamics and stability of systems, 10(2): 179-193, 1995.
3. de Jong H., J. L. Gouze, C. Hernandez, M. Page, T. Sari, and J. Geiselmann, Hybrid modeling and simulation of genetic regulatory networks: a qualitative approach. In Hybrid Systems: Computation and Control, 2003.
4. Kauffmann S. A. Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology, 22:437-467, 1969.
5. Thomas R. Regulatory networks seen as asynchronous automata: a logical description. Journal of Theoretical Biology, 153:1-23, 1991.
6. Kuipers B. Qualitative simulation. Artificial intelligence, 29:289-388, 1981.
7. Brutlag D. L., A. R. Galper, and D. H. Millis. Knowledge-based simulation of dna metabolism: prediction of enzyme action. Computer Applications in the Biosciences, 7(1):9-19, 1991.
8. Kauffmann S. A. The origins of order: self-organization and selection in evolution. Oxford University Press, New York, 1993.
9. Mjolsness E., D. H. Sharp, and J. Reinitz. A connectionist model of development. Journal of Theoretical Biology, 152:429-453, 1991.
10. Gillespie D. T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81:2340-2361, 1977.
11. McAdams H. M. and A. Arkin. Stochastic mechanisms in gene expression. Proceedings of the National Academy of Science of the U.S.A,94:814-819, 1997.
12. Gillespie D. T. Fluctuation and Dissipation in Brownian Motion. Am. J. Phys, 61():1077-1083, 1993.
13. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III: Verification and Control. LNCS 1066. Springer-Verlag, 1996.
14. T. Henzinger and S. Sastry, editors. Hybrid Systems: Computation and Control. LNCS 1386. Springer, 1998.
15. F. Vaandrager and J. van Schuppen, editors. Hybrid Systems: Computation and Control. LNCS 1569. Springer, 1999.
16. N. Lynch and B.H. Krogh, editors. Hybrid Systems: Computation and Control. LNCS 1790. Springer, 2000.
17. Tomlin C. and R. Ghosh. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. LNCS .vol. 2034, Springer Verlag, 2001.
18. R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky, and J. Webb. Visual programming for modeling and simulation of bioregulatory networks. In International Conference on High Performance Computing, Bangalore, India, 2002.
19. C. Bella, L. Habets, and V. Kumar. Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. In 41st IEEE Conference on Decision and Control, Los Angeles, NV, 2002.
20. C. Bella, J. Schug, T. Dang, V. Kumar, G. J. Pappas, H. Rubin, and P. V. Dunlap. Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium vibrio fischeri. In 40th IEEE Conference on Decision and Control, Orlando, FL, 2001.
21. R. Alur, C. Bella, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug. Modeling and analyzing biomolecular networks. Computing in Science and Engineering, pages 20-30, Jan/Feb 2002.
22. R. Alur, C. Bella, F. Ivancic, V. Kumar, M. Minlz, G. Pappas, and J. Schug. Hybrid modelling and simulalion of biomolecular networks. In Lecture Notes in Computer Science, volume 2034, pages 19-32. 2001.
23. Primm T. P., S. J. Andersen, V. Mizrahi, D. Avarbock, H. Rubin, and C. E. Barry 3rd. The stringent response of Mycobacterium tuberculosis is required for long-lerm survival. J. Bacterial. Sep;182(17):4889-98, 2000.
24. Course R. L., Gaal T., Barllell M. S., Appleman J.A., and Ross W. rrna transcriplion and growth rate-dependent regulation of ribosome synthesis in Escherichia coli. Annu. Rev. Microbiol, 50:645-77, 1996.
25. Avarbock D., J. Salem, L. Li, Z. Wang, and H. Rubin. Cloning and characterization of a bifunclional RelA/SpoT homologue from Mycobacterium tuberculosis. Gene 233, 261-269., 1999.
26. mtb, complex. Biochemistry 39, 11640-11648., 2000.
27. Barker M. M., T. Gaal, C. A. Josaitis, and R. L. Course. Mechanism of regulation of transcription initialion by ppgpp. i. effects of (p)ppGpp on transcription iniliation in vivo and in vitro. J. Mol. Biol. Jan 26;305(4):673-88, 2001.
28. Betts J. C., P. T. Lukey, L. C. Robb, R. A. McAdam, and K. Duncan. Evaluation of a nutrient starvalion model of mycobacterium tuberculosis persislence by gene and prolein expression profiling. Mol Microbiol Feb;43(3):717-31, 2002.
29. C. Bella, P. Finin, Á. Halász, M. Imieliǹski, V. Kumar, and H. Rubin. Stringent Response in Mycobacterium tuberculosis, in preparation. A technical document is available upon request.