AESOP home


A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

Jeremy T. Bradley

Conference or Workshop Paper
EPEW'08, 5th European Performance Evaluation Workshop
August, 2008
Lecture Notes in Computer Science
Volume 5261
Springer Verlag
DOI 10.1007/978-3-540-87412-6_7

We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock by which to regulate their behaviour. We consider two distinct stochastic models of the Circadian rhythm – one unbounded and the other bounded. We consider a fluid approximation of the models, and, by conversion to a set of ordinary differential equations, we are able to reproduce the correct rhythm. We show that with a bounded model, the clock phase can be affected by modifying the ability to manufacture some proteins.

PDF of full publication (201.9 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (262.1 kilobytes)
(need help viewing GZipped Postscript files?)

Information from