HYPE Applied to the Modelling of Hybrid Biological Systems

Authors:
Vashti Galpin;Jane Hillston;Luca Bortolussi
Affiliations:
LFCS, School of Informatics, University of Edinburgh, Scotland;CSBE and School of Informatics, University of Edinburgh, Scotland;Department of Maths and Computer Science, University of Trieste, Center for Biomolecular Medicine, Area Science Park, Trieste, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 12
Cited 3

A compositional approach to performance modelling

A compositional approach to performance modelling
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Comparison of Hybrid Systems and Fluid Stochastic PetriNets

Discrete Event Dynamic Systems
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Process algebra for hybrid systems

Theoretical Computer Science - Process algebra
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
The φ-calculus: a language for distributed control of reconfigurable embedded systems

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A compositional approach to the stochastic dynamics of gene networks

Transactions on Computational Systems Biology IV
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A semantic equivalence for Bio-PEPA based on discretisation of continuous values

Theoretical Computer Science
Simulation techniques for the calculus of wrapped compartments

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

HYPE is a process algebra developed to model hybrid systems - systems that show both continuous and discrete behaviour. It is novel because it allows for the modelling of individual flows which means that subcomponents can be modelled in terms of these flows and do not need to be described monolithically. Biological systems display discrete behaviour inherently, but modellers may choose to model systems in a hybrid fashion, often to deal with differences in scale. We demonstrate how HYPE can be used to model the Repressilator.