Delayed continuous-time markov chains for genetic regulatory circuits

  • Authors:
  • Călin C. Guet;Ashutosh Gupta;Thomas A. Henzinger;Maria Mateescu;Ali Sezgin

  • Affiliations:
  • IST Austria, Klosterneuburg, Austria;IST Austria, Klosterneuburg, Austria;IST Austria, Klosterneuburg, Austria;IST Austria, Klosterneuburg, Austria;IST Austria, Klosterneuburg, Austria

  • Venue:
  • CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Continuous-time Markov chains (CTMC) with their rich theory and efficient simulation algorithms have been successfully used in modeling stochastic processes in diverse areas such as computer science, physics, and biology. However, systems that comprise non-instantaneous events cannot be accurately and efficiently modeled with CTMCs. In this paper we define delayed CTMCs, an extension of CTMCs that allows for the specification of a lower bound on the time interval between an event's initiation and its completion, and we propose an algorithm for the computation of their behavior. Our algorithm effectively decomposes the computation into two stages: a pure CTMC governs event initiations while a deterministic process guarantees lower bounds on event completion times. Furthermore, from the nature of delayed CTMCs, we obtain a parallelized version of our algorithm. We use our formalism to model genetic regulatory circuits (biological systems where delayed events are common) and report on the results of our numerical algorithm as run on a cluster. We compare performance and accuracy of our results with results obtained by using pure CTMCs.