HYPE applied to the modelling of hybrid biological systems

V. Galpin, J. Hillston and L. Bortolussi

Electronic Notes in Theoretical Computer Science (Proceedings of MFPS 24), 218:33-51, 2008

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.


10.1016/j.entcs.2008.10.004

Pre-print - PDF 

Slides - PDF


Back to Publications page