{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:16:28Z","timestamp":1742984188589,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031223365"},{"type":"electronic","value":"9783031223372"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-22337-2_22","type":"book-chapter","created":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:08:41Z","timestamp":1672222121000},"page":"456-474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Variance Reduction in Stochastic Reaction Networks Using Control Variates"],"prefix":"10.1007","author":[{"given":"Michael","family":"Backenk\u00f6hler","sequence":"first","affiliation":[]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,29]]},"reference":[{"issue":"17","key":"22_CR1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4802475","volume":"138","author":"A Ale","year":"2013","unstructured":"Ale, A., Kirk, P., Stumpf, M.P.: A general moment expansion method for stochastic kinetic models. J. Chem. Phys. 138(17), 174101 (2013)","journal-title":"J. Chem. Phys."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, D.F., Yuan, C.: Low variance couplings for stochastic models of intracellular processes with time-dependent rate functions. Bull. Math. Biol. 1\u201329 (2018)","DOI":"10.1007\/s11538-018-0430-6"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-22110-1_8","volume-title":"Computer Aided Verification","author":"A Andreychenko","year":"2011","unstructured":"Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Parameter identification for Markov models of biochemical reactions. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 83\u201398. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_8"},{"issue":"4","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/TCBB.2017.2775219","volume":"15","author":"M Backenk\u00f6hler","year":"2018","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Wolf, V.: Moment-based parameter estimation for stochastic reaction networks in equilibrium. IEEE\/ACM Trans. Comput. Biol. Bioinform. (TCBB) 15(4), 1180\u20131192 (2018)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform. (TCBB)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-030-31304-3_3","volume-title":"Computational Methods in Systems Biology","author":"M Backenk\u00f6hler","year":"2019","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Wolf, V.: Control variates for stochastic simulation of chemical reaction networks. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 42\u201359. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_3"},{"issue":"8","key":"22_CR6","doi-asserted-by":"publisher","first-page":"2931","DOI":"10.1007\/s11538-018-0442-2","volume":"81","author":"CH Beentjes","year":"2019","unstructured":"Beentjes, C.H., Baker, R.E.: Quasi-Monte Carlo methods applied to tau-leaping in stochastic biological systems. Bull. Math. Biol. 81(8), 2931\u20132959 (2019)","journal-title":"Bull. Math. Biol."},{"issue":"5","key":"22_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-23401-4_5","volume-title":"Computational Methods in Systems Biology","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Efficient stochastic simulation of systems with multiple time scales via statistical abstraction. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 40\u201351. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23401-4_5"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: The slow-scale stochastic simulation algorithm. J. Chem. Phys. 122(1), 014116 (2005)","DOI":"10.1063\/1.1824902"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1038\/srep00656","volume":"2","author":"L Cardelli","year":"2012","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A.: The cell cycle switch computes approximate majority. Sci. Rep. 2, 656 (2012)","journal-title":"Sci. Rep."},{"issue":"5","key":"22_CR11","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1057\/jors.1978.96","volume":"29","author":"RC Cheng","year":"1978","unstructured":"Cheng, R.C.: Analysis of simulation experiments under normality assumptions. J. Oper. Res. Soc. 29(5), 493\u2013497 (1978)","journal-title":"J. Oper. Res. Soc."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Daigle Jr, B.J., Roh, M.K., Gillespie, D.T., Petzold, L.R.: Automated estimation of rare event probabilities in biochemical systems. J. Chem. Phys. 134(4), 01B628 (2011)","DOI":"10.1063\/1.3522769"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Dowdy, G.R., Barton, P.I.: Bounds on stochastic chemical kinetic systems at steady state. J. Chem. Phys. 148(8), 084106 (2018)","DOI":"10.1063\/1.5009950"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Dowdy, G.R., Barton, P.I.: Dynamic bounds on stochastic chemical kinetic systems using semidefinite programming. J. Chem. Phys. 149(7), 074103 (2018)","DOI":"10.1063\/1.5029926"},{"issue":"2","key":"22_CR15","first-page":"498","volume":"180","author":"S Engblom","year":"2006","unstructured":"Engblom, S.: Computing the moments of high dimensional solutions of the master equation. Appl. Math. Comput. 180(2), 498\u2013515 (2006)","journal-title":"Appl. Math. Comput."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Freedman, D.A.: Statistical Models: Theory and Practice. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511815867"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Ghusinga, K.R., Lamperski, A., Singh, A.: Estimating stationary characteristic functions of stochastic systems via semidefinite programming. In: 2018 European Control Conference (ECC), pp. 2720\u20132725. IEEE (2018)","DOI":"10.23919\/ECC.2018.8550583"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Ghusinga, K.R., Vargas-Garcia, C.A., Lamperski, A., Singh, A.: Exact lower and upper bounds on stationary moments in stochastic biochemical systems. Phys. Biol. 14(4), 04LT01 (2017)","DOI":"10.1088\/1478-3975\/aa75c6"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Gillespie, C.S., Golightly, A.: Guided proposals for efficient weighted stochastic simulation. J. Chem. Phys. 150(22), 224103 (2019)","DOI":"10.1063\/1.5090979"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T., Roh, M., Petzold, L.R.: Refining the weighted stochastic simulation algorithm. J. Chem. Phys. 130(17), 174103 (2009)","DOI":"10.1063\/1.3116791"},{"issue":"1","key":"22_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"DT Gillespie","year":"2000","unstructured":"Gillespie, D.T.: The chemical Langevin equation. J. Chem. Phys. 113(1), 297\u2013306 (2000)","journal-title":"J. Chem. Phys."},{"issue":"4","key":"22_CR22","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"issue":"25","key":"22_CR23","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"2","key":"22_CR24","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1287\/opre.1040.0148","volume":"53","author":"P Glasserman","year":"2005","unstructured":"Glasserman, P., Yu, B.: Large sample properties of weighted Monte Carlo estimators. Oper. Res. 53(2), 298\u2013312 (2005)","journal-title":"Oper. Res."},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 337\u2013352. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_27"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-642-39799-8_38","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2013","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model checking rare properties. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 576\u2013591. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_38"},{"key":"22_CR27","unstructured":"Kuntz, J., Thomas, P., Stan, G.B., Barahona, M.: Rigorous bounds on the stationary distributions of the chemical master equation via mathematical programming. arXiv preprint arXiv:1702.05468 (2017)"},{"issue":"1","key":"22_CR28","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1287\/opre.30.1.182","volume":"30","author":"SS Lavenberg","year":"1982","unstructured":"Lavenberg, S.S., Moeller, T.L., Welch, P.D.: Statistical results on control variables with application to queueing network simulation. Oper. Res. 30(1), 182\u2013202 (1982)","journal-title":"Oper. Res."},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P.: Efficiency improvement and variance reduction. In: Proceedings of the 26th Conference on Winter Simulation, pp. 122\u2013132. Society for Computer Simulation International (1994)","DOI":"10.1109\/WSC.1994.717089"},{"issue":"6","key":"22_CR30","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1049\/iet-syb.2010.0005","volume":"4","author":"M Mateescu","year":"2010","unstructured":"Mateescu, M., Wolf, V., Didier, F., Henzinger, T.: Fast adaptive uniformisation of the chemical master equation. IET Syst. Biol. 4(6), 441\u2013452 (2010)","journal-title":"IET Syst. Biol."},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Munsky, B., Khammash, M.: The finite state projection algorithm for the solution of the chemical master equation. J. Chem. Phys. 124(4), 044104 (2006)","DOI":"10.1063\/1.2145882"},{"issue":"6","key":"22_CR32","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1287\/opre.38.6.974","volume":"38","author":"BL Nelson","year":"1990","unstructured":"Nelson, B.L.: Control variate remedies. Oper. Res. 38(6), 974\u2013992 (1990)","journal-title":"Oper. Res."},{"key":"22_CR33","unstructured":"Owen, A.B.: Monte Carlo theory, methods and examples (2013)"},{"issue":"8","key":"22_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11538-021-00920-5","volume":"83","author":"F Puchhammer","year":"2021","unstructured":"Puchhammer, F., Abdellah, A.B., L\u2019Ecuyer, P.: Variance reduction with array-RQMC for tau-leaping simulation of stochastic biological and chemical reaction networks. Bull. Math. Biol. 83(8), 1\u201331 (2021)","journal-title":"Bull. Math. Biol."},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Roh, M.K., Daigle, B.J., Jr., Gillespie, D.T., Petzold, L.R.: State-dependent doubly weighted stochastic simulation algorithm for automatic characterization of stochastic biochemical rare events. J. Chem. Phys. 135(23), 234108 (2011)","DOI":"10.1063\/1.3668100"},{"key":"22_CR36","doi-asserted-by":"crossref","unstructured":"Roh, M.K., Gillespie, D.T., Petzold, L.R.: State-dependent biasing method for importance sampling in the weighted stochastic simulation algorithm. J. Chem. Phys. 133(17), 174106 (2010)","DOI":"10.1063\/1.3493460"},{"key":"22_CR37","doi-asserted-by":"crossref","unstructured":"Sakurai, Y., Hori, Y.: A convex approach to steady state moment analysis for stochastic chemical reactions. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 1206\u20131211. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263820"},{"issue":"2","key":"22_CR38","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/LCSYS.2018.2869639","volume":"3","author":"Y Sakurai","year":"2019","unstructured":"Sakurai, Y., Hori, Y.: Bounding transient moments of stochastic chemical reactions. IEEE Control Syst. Lett. 3(2), 290\u2013295 (2019)","journal-title":"IEEE Control Syst. Lett."},{"key":"22_CR39","doi-asserted-by":"crossref","unstructured":"Schnoerr, D., Sanguinetti, G., Grima, R.: Comparison of different moment-closure approximations for stochastic chemical kinetics. J. Chem. Phys. 143(18), 11B610_1 (2015)","DOI":"10.1063\/1.4934990"},{"key":"22_CR40","doi-asserted-by":"crossref","unstructured":"Singh, A., Hespanha, J.P.: Lognormal moment closures for biochemical reactions. In: Proceedings of the 45th IEEE Conference on Decision and Control, pp. 2063\u20132068. IEEE (2006)","DOI":"10.1109\/CDC.2006.376994"},{"key":"22_CR41","doi-asserted-by":"crossref","unstructured":"Spieler, D.: Numerical analysis of long-run properties for Markov population models. Ph.D. thesis, Saarland University (2014)","DOI":"10.4204\/EPTCS.154.7"},{"issue":"3","key":"22_CR42","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1016\/j.bpj.2008.10.028","volume":"96","author":"M Stamatakis","year":"2009","unstructured":"Stamatakis, M., Mantzaris, N.V.: Comparison of deterministic and stochastic models of the lac operon genetic network. Biophys. J. 96(3), 887\u2013906 (2009)","journal-title":"Biophys. J."},{"key":"22_CR43","doi-asserted-by":"crossref","unstructured":"Szechtman, R.: Control variate techniques for Monte Carlo simulation. In: Proceedings of the 35th Conference on Winter Simulation: Driving Innovation, pp. 144\u2013149. Winter Simulation Conference (2003)","DOI":"10.1109\/WSC.2003.1261417"},{"key":"22_CR44","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, vol. 1. Elsevier (1992)"},{"issue":"3\u20134","key":"22_CR45","first-page":"277","volume":"4","author":"JR Wilson","year":"1984","unstructured":"Wilson, J.R.: Variance reduction techniques for digital simulation. Am. J. Math. Manag. Sci. 4(3\u20134), 277\u2013312 (1984)","journal-title":"Am. J. Math. Manag. Sci."}],"container-title":["Lecture Notes in Computer Science","Principles of Systems Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-22337-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T02:55:26Z","timestamp":1728615326000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-22337-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031223365","9783031223372"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-22337-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}