HYPE Applied to the Modelling of Hybrid Biological Systems

Electronic Notes in Theoretical Computer Science

Volumn 218, Issue C, 2008, Pages 33-51

  Galpin, Vashti ^a   Hillston, Jane ^a   Bortolussi, Luca ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

hybrid systems; process algebra; systems biology

Indexed keywords

ALGEBRA; BIOLOGICAL SYSTEMS; HYBRID COMPUTERS;

CONTINUOUS; DISCRETE; HYBRID SYSTEMS; MODEL SYSTEMS; MODELLING; PROCESS ALGEBRA; PROCESS ALGEBRAS; REPRESSILATOR; SYSTEMS BIOLOGY;

ELECTRIC GROUNDING;

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

References (22)

1. Alur R., Belta C., Ivanĉić F., Kumar V., Mintz M., Pappas G.J., Rubin H., and Schug J. Hybrid modeling and simulation of biomolecular networks. In: Benedetto M.D.D., and Sangiovanni-Vincentelli A.L. (Eds). Hybrid Systems: Computation and Control. 4th International Workshop (HSCC 2001), Rome, Italy. LNCS 2034 (2001) 19-32
2. Bergstra J.A., and Middelburg C.A. Process algebra for hybrid systems. Theoretical Computer Science 335 (2005) 215-280
3. Blossey R., Cardelli L., and Phillips A. A compositional approach to the stochastic dynamics of gene networks. In: Priami C., Cardelli L., and Emmott S. (Eds). Transactions on Computational Systems Biology IV. LNCS 3939 (2006) 99-122
4. Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Constraints 13 (2008) 66-90
5. Bortolusssi, L. and A. Policriti, Hybrid approximation of stochastic process algebras for systems biology, in: IFAC World Congress, Seoul, South Korea, 2008
6. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Priami C., Ingólfsdóttir A., Mishra B., and Nielson H.R. (Eds). Transactions on Computational Systems Biology VII. LNCS 4230 (2006) 1-23
7. Ciocchetta, F. and J. Hillston, Bio-PEPA: a framework for the modelling and analysis of biological systems, Report EDI-INF-RR-1231, School of Informatics, University of Edinburgh (2008). URL http://www.inf.ed.ac.uk/publications/report/1231.html
8. Cuijpers P.J.L., and Reniers M.A. Hybrid process algebra. Journal of Logic and Algebraic Programming 62 (2005) 191-245
9. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 (2004) 69-110
10. Elowitz M.B., and Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature 403 (2000) 335-338
11. Galpin, V., L. Bortolussi and J. Hillston, HYPE: hybrid systems modelled with flows, Report EDI-INF-RR-1251, School of Informatics, University of Edinburgh (2008). URL http://www.inf.ed.ac.uk/publications/report/1251.html
12. Henzinger, T.A., The theory of hybrid automata, in: LICS, 1996, pp. 278-292
13. Hillston J. A compositional approach to performance modelling (1996), Cambridge University Press
14. Lincoln P., and Tiwari A. Symbolic systems biology: hybrid modeling and analysis of biological networks. In: Alur R., and Pappas G.J. (Eds). Hybrid Systems: Computation and Control. 7th International Workshop, (HSCC 2004), Philadelphia, PA, USA. LNCS 2993 (2004) 660-672
15. Priami C. Stochastic π-calculus. The Computer Journal 38 (1995) 578-589
16. Priami C., and Quaglia P. Beta binders for biological interactions. In: Danos V., and Schächter V. (Eds). Computational Methods in Systems Biology. International Conference, (CMSB 2004), Paris, France. LNCS 3082 (2004) 20-33
17. Priami C., Regev A., Shapiro E., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
18. Regev A., Panina E., Silverman W., Cardelli L., and Shapiro E. BioAmbients: an abstraction for biological compartments. Theoretical Computer Science 325 (2004) 141-167
19. Rounds W.C., and Song H. The Φ-calculus: A language for distributed control of reconfigurable embedded systems. In: Maler O., and Pnueli A. (Eds). Hybrid Systems: Computation and Control, 6th International Workshop. (HSCC 2003), Prague, Czech Republic. LNCS 2623 (2003) 435-449
20. Tuffin B., Chen D.S., and Trivedi K.S. Comparison of hybrid systems and fluid stochastic petri nets. Discrete Event Dynamic Systems: Theory and Applications 11 (2001) 77-95
21. van Beek D., Man K., Reniers M., Rooda J., and Schiffelers R. Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming 68 (2006) 129-210
22. Ye P., Entcheva E., Grosu R., and Smolka S.A. Efficient modeling of excitable cells using hybrid automata. In: Plotkin G. (Ed). Proceedings of Computational Methods in Systems Biology. (CMSB 2005) (2005), Edinburgh, Scotland 216-227