The Importance of Being (A Little Bit) Discrete

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 1, 2009, Pages 75-92

  Bortolussi, Luca ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Biological Modeling; Discreteness; Hybrid Systems; Robustness; Stochastic Noise

Indexed keywords

BIOLOGICAL MODELING; CIRCADIAN CLOCKS; CONCURRENT CONSTRAINT PROGRAMMING; DIFFERENTIAL SEMANTICS; DISCRETENESS; EXPERIMENTAL EVIDENCES; HYBRID AUTOMATONS; REPRESSILATOR; ROBUSTNESS; STOCHASTIC NOISE;

AUTOMATA THEORY; BIOLOGICAL SYSTEMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; INFORMATION THEORY; PROGRAMMING THEORY; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 60449088741     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.006     Document Type: Article

References (22)

1. Alur R., Belta C., Ivancic F., Kumar V., Mintz M., Pappas G., Rubin H., and Schug J. Hybrid modeling and simulation of biomolecular networks. Proceedings of Fourth International Workshop on Hybrid Systems: Computation and Control. LNCS volume 2034 (2001) 19-32
2. Antoniotti M., Policriti A., Ugel N., and Mishra B. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38 3 (2003) 271-286
3. Blossey R., Cardelli L., and Phillips A. A compositional approach to the stochastic dynamics of gene networks. T. Comp. Sys. Biology (2006) 99-122
4. R. Blossey, L. Cardelli, and A. Phillips. Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFPS Journal, in print, 2007
5. Bortolussi L. Stochastic concurrent constraint programming. Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages. (QAPL 2006). ENTCS 164 (2006) 65-80
6. Bortolussi L., and Policriti A. Stochastic concurrent constraint programming and differential equations. Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages. QAPL 2007. ENTCS 16713 (2007)
7. L. Bortolussi and A. Policriti. Hybrid approximation of stochastic concurrent constraint programming. In To be presented at IFAC 2008. Available upon request, 2008
8. Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Constraints 13 1 (2008)
9. M.L. Bujorianu and J. Lygeros. Theoretical foundations of stochastic hybrid systems. In Proceedings XVI Int. Symp. on Math. Theory of Networks and Systems (MTNS 2004), 2004
10. Calder M., Gilmore S., and Hillston J. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology 4230 (2006) 1-23
11. Elowitz M.B., and Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature 403 (2000) 335-338
12. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81 25 (1977)
13. Haseltine E.L., and Rawlings J.B. On the origins of approximations for stochastic chemical kinetics. J. Chem. Phys. 123 (2005)
14. T.A. Henzinger. The theory of hybrid automata. In LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, 1996
15. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
16. Kitano H. Computational systems biology. Nature 420 (2002) 206-210
17. Müller S., Hofbauer J., Endler L., Flamm C., Widder S., and Schuster P. A generalized model of the repressilator. J. Math. Biol. 53 (2006) 905-937
18. Priami C., Regev A., Shapiro E.Y., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80 1 (2001) 25-31
19. Ross S.M. Stochastic Processes (1996), Wiley, New York
20. Saraswat V.A. Concurrent Constraint Programming (1993), MIT press
21. Vilar J.M.G., Yuan Kueh H., Barkai N., and Leibler S. Mechanisms of noise resistance in genetic oscillators. Proc. Nat. Acad. Sci. 99 9 (2002) 5991
22. Wilkinson D.J. Stochastic Modelling for Systems Biology (2006), Chapman & Hall