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

Authors:
Jeremy T. Bradley
Affiliations:
Department of Computing, Imperial College London, London, United Kingdom SW7 2BZ
Venue:
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Year:
2008

Citing 10
Cited 0

A calculus of mobile processes, I

Information and Computation
A compositional approach to performance modelling

A compositional approach to performance modelling
Communicating sequential processes

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Performance modelling of hierarchical cellular networks using PEPA

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
On process rate semantics

Theoretical Computer Science
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Journal of Computer and System Sciences
Sensitivity analysis of stochastic models of bistable biochemical reactions

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.