Stochastic hybrid modeling of biochemical processes

Stochastic Hybrid Systems

Volumn , Issue , 2006, Pages 221-248

  Kouretas, Panagiotis ^a   Koutroumpas, Konstantinos ^b   Lygeros, John ^b   Lygerou, Zoi ^c  

^a UNIVERSITY OF PATRAS   (Greece)

^b ETH ZURICH   (Switzerland)

^c UNIVERSITY OF PATRAS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70349397825     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (37)

1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, J. Schug, and G.J. Pappas. Hybrid modeling and simulation of biological systems. In M. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, number 2034 in LNCS, pages 19-32. Springer-Verlag, Berlin, 2001.
2. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional refinement for hier-archical hybrid systems. In M. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, number 2034 in LNCS, pages 33-48. Springer-Verlag, Berlin, 2001.
3. K. Amonlirdviman, N. A. Khare, D. R. P. Tree, W.-S. Chen, J. D. Axelrod, and C. J. Tomlin. Mathematical modeling of planar cell polarity to understand domineering nonautonomy. Science, 307(5708):423-426, Jan. 2005.
4. M. Andersson. Object-Oriented Modeling and Simulation of Hybrid Systems. PhD thesis, Lund Institute of Technology, Lund, Sweden, December 1994.
5. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, and D. Schneider. Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli. In L. Thiele and M. Morari, editors, Hybrid Systems: Computation and Control, number 3414 in LNCS, pages 134-150. Springer-Verlag, Berlin, 2005.
6. M.L. Bujorianu and J. Lygeros. Reachability questions in piecewise determin-istic Markov processes. In O. Maler and A. Pnueli, editors, Hybrid Systems: Computation and Control, number 2623 in LNCS, pages 126-140. Springer-Verlag, Berlin, 2003.
7. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, Norwell, MA, 1999.
8. J. Dai, R.Y. Chuang, and T.J. Kelly. DNA replication origins in the schizosac-charomycespombe genome. PNAS, 102(102):337-342, January 2005.
9. M.H.A. Davis. Piecewise-deterministic Markov processes: A general class of non-diffusion stochastic models. Journal ofthe Royal Statistical Society, B, 46(3):353-388,1984.
10. M.H.A. Davis. Markov Processes and Optimization. Chapman & Hall, London, 1993.
11. M.H.A. Davis and M.H. Vellekoop. Permanent health insurance: a case study in piecewise-deterministic Markov modelling. Mitteilungen der Schweiz. Vere-inigung der Versicherungsmathematiker, 2:177-212,1995.
12. H. de Jong. Modeling and simulation of genetic regulatory systems: A litera-ture review. Journal of Computational Biology, 79:726-739,2002.
13. H. de Jong, J.-L. Gouze, C. Hernandez, M. Page, T. Sari, and J. Geiselmann. Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In O. Maler and A. Pnueli, editors, Hybrid Systems: Computation and Control, number 2623 in LNCS, pages 267-282. Springer Verlag, Berlin, 2003.
14. J.F.X. Diffley and K. Labib. The chromosome replication cycle. Journal of Cell Science 115:869-872,2002.
15. S. Drulhe, G. Ferrari-Trecate, H. de Jong, and A. Viari. Reconstruction of switching thresholds in piecewise-affne models of genetic regulatory networks. In J. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control, volume 3927 of Lecture Notes in Computer Science, pages 184-199. Springer Verlag, Berlin, 2006.
16. E. Fanning M.I. Aladjem. The replicon revisited: an old model learns new tricks in metazoan chromosomes. EMBO Rep., 5(7):686-691, July 2004.
17. R. Ghosh and C. Tomlin. Lateral inhibition through delta-notch signalling: A piecewise affine hybrid models. In M. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, number 2034 in LNCS, pages 232-246. Springer-Verlag, Berlin, 2001.
18. D.M. Gilbert. Making sense of eukaryotic DNA replication origins. Science, 294:96-100, October 2001.
19. J. Hespanha and A. Singh. Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems. International Journal on Robust Control, 15(15):669-689, September 2005.
20. J. Hu, W.C. Wu, and S.S. Sastry. Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In R. Alur and G.J. Pappas, editors, Hybrid Systems: Computation and Control, number 2993 in LNCS, pages 417-431. Springer-Verlag, Berlin, 2004.
21. K. H. Johansson, M. Egerstedt, J. Lygeros, and S.S. Sastry. On the regulariza-tion of Zeno hybrid automata. Systems and Control Letters, 38(3): 141-150, 1999.
22. M. Kaem, T.C. Elston, W.J. Blake, and J.J. Collins. Stochasticity in gene expression: Fromtheories to phenotypes. Nature Reviews Genetics, 6(6):451-464, 2005.
23. H. Kitano. Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology. Curr. Genet., 41:1-10,2002.
24. J. Lygeros, K.H. Johansson, S.N. Simic, J. Zhang, and S.S. Sastry. Dynami-cal properties of hybrid automata. IEEE Transactions on Automatic Control, 48(1):2-17, January 2003.
25. J.S. Miller. Decidability and complexity results for timed automata and semi-linear hybrid automata. In Nancy Lynch and Bruce H. Krogh, editors, Hybrid Systems: Computation and Control, number 1790 in LNCS, pages 296-309. Springer-Verlag, Berlin, 2000.
26. P.K. Patel, B. Arcangioli, SP. Baker, A. Bensimon, and N. Rhind. DNA repli-cation origins fire stochastically in the fission yeast. Molecular Biology ofthe Cell, 17(1):308-316, January 2006.
27. C. V. Rao, D.M. Wolf, and A.P. Arkin. Control, exploitation and tolerance of intracellular noise. Nature, 420(6912):231-237,2002.
28. R. Segala. Modelling and Verification ofRandomized Distributed Real-Time Systems. PhD thesis, Laboratory for Computer Science, Massachusetts Insti-tute of Techology, 1998.
29. T. Stein, S. Borchert, P. Kiesau, S. Heinzmann, S. Kloss, M. Helfrich, and K.D. Entian. Dual control of subtilin biosynthesis and immunity in bacillus subtilis. Molecular Microbiology, 44(2):403-416,2002.
30. B. Stem and P. Nurse. A quantitative model for the cdc2 control of S phase and mitosis in fission yeast. Trends in Genetics, 12(9), September 1996.
31. B. Stillman. Origin recognition and the chromosome cycle. FEBS Lett., 579:877-884, February 2005.
32. S. N. Strubbe. Compositional Modelling of Stochastic Hybrid Systems. PhD thesis, Twente University, 2005.
33. L. Tavernini. Differential Automata and their Simulators. Nonlinear Analysis, Theory, Methods and Applications, 11(6):665-683,1997.
34. J.J. Tyson, A. Csikasz-Nagy, and B. Novak. The dynamics of cell cycle regu-lation. BioEssays, 24:1095-1109,2002.
35. JM. Vilar, HY. Kueh, N. Barkai, and S. Leibler. Mechanisms of noise-resistance in genetic oscillators. PNAS, 99:5988-5992,2002.
36. D. Wolf, V.V. Vazirani, and A.P. Arkin. Diversity in times of adversity: proba-bilistic strategies in microbial survival games. Journal ofTheoretcial Biology, 234(2):227-253,2005.
37. L. Wu, J.C. Bumett, J.E. Toettcher, A.P. Arkin, and D.V. Schaffer. Stochastic gene expression in a lentiviral positive-feedback loop: HIV-1 tat fluctuations drive phenotypic diversity. Cell, 122(2):169-182,2005.