Model decomposition and stochastic fragments

Electronic Notes in Theoretical Computer Science

Volumn 284, Issue , 2012, Pages 105-124

  Petrov, Tatjana ^a   Ganguly, Arnab ^a   Koeppl, Heinz ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

cell signaling; continuous time Markov chain; lumpability

Indexed keywords

CELL SIGNALING; COLLOIDAL AGGREGATION; CONTINUOUS TIME MARKOV CHAIN; LUMPABILITY; MODEL DECOMPOSITION; MOLECULAR SIGNALING; RULE SET; STATE SPACE; STATIONARY DISTRIBUTION; STOCHASTIC SEMANTICS;

ABSTRACTING; DYNAMICS; SEMANTICS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

POPULATION DISTRIBUTION;

EID: 84863205217     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2012.05.018     Document Type: Conference Paper

References (22)

1. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen Model-checking algorithms for continuous-time Markov chains IEEE Transactions on Software Engineering 29 2003 2003
2. N.M. Borisov, N.I. Markevich, J.B. Hoek, and B.N. Kholodenko Signaling through receptors and scaffolds: Independent interactions reduce combinatorial complexity Biophysical Journal 89 2005 951 966
3. P. Buchholz, and P. Kemper Kronecker based matrix representations for large Markov models Validation of Stochastic Systems Lecture Notes in Computer Science vol. 2925 2004 256 295
4. J.-P. Changeux, and S.J. Edelstein Allosteric mechanisms of signal transduction Science 308 2005 1424 1428
5. H. Conzelmann, J. Saez-Rodriguez, T. Sauter, B.N. Kholodenko, and E.D. Gilles A domain oriented approach to the reduction of combinatorial complexity in signal transduction networks BMC Systems Biology 7 2006
6. V. Danos, and C. Laneve Core formal molecular biology Theoretical Computer Science 325 2003 69 110
7. J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana Internal coarse-graining of molecular systems Proceedings of the National Academy of Sciences of the United States of America 106 2009 6453 6458
8. Feret, J., T. A. Henzinger, H. Koeppl and T. Petrov, Lumpability abstractions of rule-based systems, MeCBIC (2010), pp. 142-161.
9. J. Feret, H. Koeppl, and T. Petrov Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models http://en.scientificcommons.org/52625730 2010 accepted in International Journal of Software and Informatics
10. M.K. Gardner, B.D. Charlebois, I.M. Jánosi, J. Howard, A.J. Hunt, and D.J. Odde Rapid microtubule self-assembly kinetics Cell 146 2011 582 592
11. D. Gillespie Exact stochastic simulation of coupled chemical reactions Journal of Physical Chemistry 81 1977 2340 2361
12. G.H. Hardy, and S. Ramanujan Asymptotic formula in combinatory analysis Proceedings of the London Mathematical Society S2-17 1 1918 75 115
13. J. Kemeny, and J.L. Snell Finite Markov Chains 1960 Van Nostrand
14. H. Koeppl, and T. Petrov Stochastic semantics of signaling as a composition of agent-view automata Electronic Notes in Theoretical Computer Science 272 2011 3 17
15. P. Meakin Models for Colloidal Aggregation Annual Review of Physical Chemistry 39 1988 237 267
16. J.R. Norris Markov Chains (Cambridge Series in Statistical and Probabilistic Mathematics) 1998 Cambridge University Press
17. Petrov, T., A. Ganguly and H. Koeppl, Markov chain aggregation and its applications to combinatorial reaction networks (in preparation), BISON group, ETH Zurich.
18. G.D. Plotkin A structural approach to operational semantics Journal of Logic and Algebraic Programming 60-61 2004 17 139
19. T.D. Pollard Regulation of actin filament assembly by Arp2/3 complex and formins Annual review of biophysics and biomolecular structure 36 2007 451 477
20. R. Rubenstein, P. Gray, T. Cleland, M. Piltch, W. Hlavacek, R. Roberts, J. Ambrosiano, and J.-I. Kim Dynamics of the nucleated polymerization model of prion replication Biophysical Chemistry 125 2007 360 367
21. R.G. Smock, and L.M. Gierasch Sending signals dynamically Science 324 2009 198 203
22. C.T. Walsh Posttranslation Modification of Proteins: Expanding Nature's Inventory 2006 Roberts and Co. Publisher