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.
HYPE Applied to the Modelling of Hybrid Biological Systems / Galpin, V; Bortolussi, Luca; Hillston, J.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 218:(2008), pp. 33-51. ( 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV) Philadelphia, PA, USA 22–25 May 2008) [10.1016/j.entcs.2008.10.004].
HYPE Applied to the Modelling of Hybrid Biological Systems
BORTOLUSSI, LUCA;
2008-01-01
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
