---
_id: '3136'
abstract:
- lang: eng
  text: '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. © 2012 Springer-Verlag.'
acknowledgement: This work was supported by the ERC Advanced Investigator grant on
  Quantitative Reactive Modeling (QUAREM) and by the Swiss National Science Foundation.
alternative_title:
- LNCS
author:
- first_name: Calin C
  full_name: Guet, Calin C
  id: 47F8433E-F248-11E8-B48F-1D18A9856A87
  last_name: Guet
  orcid: 0000-0001-6220-2052
- first_name: Ashutosh
  full_name: Gupta, Ashutosh
  id: 335E5684-F248-11E8-B48F-1D18A9856A87
  last_name: Gupta
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Maria
  full_name: Mateescu, Maria
  id: 3B43276C-F248-11E8-B48F-1D18A9856A87
  last_name: Mateescu
- first_name: Ali
  full_name: Sezgin, Ali
  id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
  last_name: Sezgin
citation:
  ama: 'Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. Delayed continuous time
    Markov chains for genetic regulatory circuits. In: Vol 7358. Springer; 2012:294-309.
    doi:<a href="https://doi.org/10.1007/978-3-642-31424-7_24">10.1007/978-3-642-31424-7_24</a>'
  apa: 'Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., &#38; Sezgin, A. (2012).
    Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358,
    pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA,
    USA: Springer. <a href="https://doi.org/10.1007/978-3-642-31424-7_24">https://doi.org/10.1007/978-3-642-31424-7_24</a>'
  chicago: Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and
    Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,”
    7358:294–309. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-31424-7_24">https://doi.org/10.1007/978-3-642-31424-7_24</a>.
  ieee: 'C. C. Guet, A. Gupta, T. A. Henzinger, M. Mateescu, and A. Sezgin, “Delayed
    continuous time Markov chains for genetic regulatory circuits,” presented at the
    CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 294–309.'
  ista: 'Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. 2012. Delayed continuous
    time Markov chains for genetic regulatory circuits. CAV: Computer Aided Verification,
    LNCS, vol. 7358, 294–309.'
  mla: Guet, Calin C., et al. <i>Delayed Continuous Time Markov Chains for Genetic
    Regulatory Circuits</i>. Vol. 7358, Springer, 2012, pp. 294–309, doi:<a href="https://doi.org/10.1007/978-3-642-31424-7_24">10.1007/978-3-642-31424-7_24</a>.
  short: C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer,
    2012, pp. 294–309.
conference:
  end_date: 2012-07-13
  location: Berkeley, CA, USA
  name: 'CAV: Computer Aided Verification'
  start_date: 2012-07-07
corr_author: '1'
date_created: 2018-12-11T12:01:36Z
date_published: 2012-07-01T00:00:00Z
date_updated: 2024-10-09T20:54:47Z
day: '01'
department:
- _id: CaGu
- _id: ToHe
doi: 10.1007/978-3-642-31424-7_24
ec_funded: 1
fulldoi: https://doi.org/10.1007/978-3-642-31424-7_24
language:
- iso: eng
month: '07'
oa_version: None
page: 294 - 309
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '3561'
quality_controlled: '1'
scopus_import: 1
status: public
title: Delayed continuous time Markov chains for genetic regulatory circuits
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: '7358 '
year: '2012'
...