SHAVE - Stochastic hybrid analysis of Markov population models

HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Volumn , Issue , 2011, Pages 311-312

  Lapin, Maksim ^a   Mikeev, Linar ^a   Wolf, Verena ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Markov processes; Tool; Transient analysis

Indexed keywords

CONTINUOUS TIME; HYBRID ANALYSIS; POPULATION MODEL; STATE-BASED; STOCHASTIC HYBRID MODELS; TRANSIENT DISTRIBUTION;

CONTINUOUS TIME SYSTEMS; HYBRID COMPUTERS; HYBRID SYSTEMS; MARKOV PROCESSES; PROBABILITY DISTRIBUTIONS; STOCHASTIC SYSTEMS; TRANSIENT ANALYSIS;

STOCHASTIC MODELS;

EID: 79955983371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967701.1967746     Document Type: Conference Paper

References (10)

1. P. Buchholz and P. Kemper. Numerical analysis techniques in the APNN toolbox. In Workshop on Formal Methods in Performance Evaluation and Applications, pages 1-6, 1999.
2. F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Fast adaptive uniformization of the chemical master equation. IET Systems Biology Journal, 2010. To appear.
3. S. Engblom. Computing the moments of high dimensional solutions of the master equation. Appl. Math. Comput., 180:498-515, 2006. (Pubitemid 44441535)
4. D. Henderson, R. Boys, C. Proctor, and D. Wilkinson. Linking systems biology models to data: a stochastic kinetic model of p53 oscillations. In Handbook of Appl. Bayesian Analysis. Oxford University Press, 2009.
5. T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf. Hybrid numerical solution of the chemical master equation. In Proc. of CMSB'10. ACM Digital Library, 2010.
6. T. G. Kurtz. Strong approximation theorems for density dependent Markov chains. Stochastic Processes Appl., 6(3):223-240, 1977/78.
7. M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4):40-45, 2009.
8. H. H. McAdams and A. Arkin. Stochastic mechanisms in gene expression. PNAS, USA, 94:814-819, 1997. (Pubitemid 27074404)
9. P. Patel, B. Arcangioli, S. Baker, A. Bensimon, and N. Rhind. DNA replication origins fire stochastically in fission yeast. Mol. Biol. Cell, 17:308-316, 2006. (Pubitemid 43049483)
10. A. Singh and J. P. Hespanha. Approximate moment dynamics for chemically reacting systems. IEEE Trans. on Automat. Contr., 2010. To appear.