{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:25Z","timestamp":1749010645566,"version":"3.41.0"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319340951"},{"type":"electronic","value":"9783319340968"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-34096-8_3","type":"book-chapter","created":{"date-parts":[[2016,6,10]],"date-time":"2016-06-10T13:01:24Z","timestamp":1465563684000},"page":"61-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Mean-Field Limits Beyond Ordinary Differential Equations"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Gast","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,11]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1158-7","volume-title":"Stochastic Epidemic Models and Their Statistical Analysis","author":"H Andersson","year":"2000","unstructured":"Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. Springer, Heidelberg (2000)"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69512-4","volume-title":"Differential Inclusions","author":"J Aubin","year":"1984","unstructured":"Aubin, J., Cellina, A.: Differential Inclusions. Springer, Heidelberg (1984)"},{"issue":"6","key":"3_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., et al.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003). http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=1205180","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"3_CR4","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1016\/j.peva.2008.03.005","volume":"65","author":"M Benaim","year":"2008","unstructured":"Benaim, M., Le Boudec, J.-Y.: A class of mean field interaction models for computer and communication systems. Perform. Eval. 65(11), 823\u2013838 (2008)","journal-title":"Perform. Eval."},{"key":"3_CR5","series-title":"English","volume-title":"Probability and Measure","author":"P Billingsley","year":"2012","unstructured":"Billingsley, P.: Probability and Measure. English. Wiley, Hoboken (2012). ISBN: 9781118122372 1118122372"},{"key":"3_CR6","unstructured":"Bortolussi, L., Gast, N.: Mean field approximation of imprecise population processes. QUANTICOL Technical report TR-QC-07-2015 (2015)"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Bortolussi, L., et al.: Continuous approximation of collective systems behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013). ISSN: 0166-5316, doi: 10.1016\/j.peva.2013.01.001 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0166531613000023","DOI":"10.1016\/j.peva.2013.01.001"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi, L.: Hybrid behaviour of Markov population models. In: Information and Computation (2015)","DOI":"10.1016\/j.ic.2015.12.001"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-13568-2_26","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"L Bortolussi","year":"2010","unstructured":"Bortolussi, L.: Limit behavior of the hybrid approximation of stochastic process algebras. In: Al-Begain, K., Fiems, D., Knottenbelt, W.J. (eds.) ASMTA 2010. LNCS, vol. 6148, pp. 367\u2013381. Springer, Heidelberg (2010). http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-13568-2_26 . Accessed 11 June 2015"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Bortolussi, L., Hillston, J.: Model checking single agent behaviours by uid approximation. Inf. Comput. 242, 183\u2013226 (2015). ISSN: 0890-5401, doi: 10.1016\/j.ic.2015.03.002","DOI":"10.1016\/j.ic.2015.03.002"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-319-22975-1_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Lanciani, R.: Fluid model checking of timed properties. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 172\u2013188. Springer, Heidelberg (2015)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., DArgenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-319-10885-8_16","volume-title":"Computer Performance Engineering","author":"L Bortolussi","year":"2014","unstructured":"Bortolussi, L., Lanciani, R.: Stochastic approximation of global reachability probabilities of Markov population models. In: Horvath, A., Wolter, K. (eds.) EPEW 2014. LNCS, vol. 8721, pp. 224\u2013239. Springer, Heidelberg (2014)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-04186-0_11","volume-title":"Transactions on Computational Systems Biology XI","author":"L Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming: to ordinary differential equations and back. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol. 5750, pp. 216\u2013267. Springer, Heidelberg (2009)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/exr045","volume":"23","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Policriti, A.: (Hybrid) automata, (stochastic) programs: the hybrid automata lattice of a stochastic program. J. Logic Comput. 23, 761\u2013798 (2013). http:\/\/dx.doi.org\/10.1093\/logcom\/exr045","journal-title":"J. Logic Comput."},{"issue":"20","key":"3_CR16","doi-asserted-by":"publisher","first-page":"2052","DOI":"10.1016\/j.tcs.2010.02.008","volume":"411","author":"L Bortolussi","year":"2010","unstructured":"Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411(20), 2052\u20132077 (2010). ISSN: 0304-3975","journal-title":"Theor. Comput. Sci."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Chaintreau, A., Le Boudec, J.-Y., Ristanovic, N.: The age of gossip: spatial mean field regime. In: Proceedings of the ACM SIGMETRICS, vol. 37, issue 1, pp. 109\u2013120. ACM (2009)","DOI":"10.1145\/1555349.1555363"},{"key":"3_CR18","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33), 00185, 3065\u20133084 (2009). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397509001662 . Accessed 25 Nov 2013"},{"key":"3_CR19","unstructured":"Crudu, A., et al.: Convergence of stochastic gene networks to hybrid piecewise deterministic processes. Ann. Appl. Probab. 22(5), 00015, 1822\u20131859 (2012). http:\/\/projecteuclid.org\/euclid.aoap\/1350067987 . Accessed 05 Nov 2013"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1214\/07-PS121","volume":"5","author":"R Darling","year":"2008","unstructured":"Darling, R., Norris, J.R., et al.: Differential equation approximations for Markov chains. Probab. Surv. 5, 37\u201379 (2008)","journal-title":"Probab. Surv."},{"key":"3_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"MHA Davis","year":"1993","unstructured":"Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, London (1993)"},{"key":"3_CR22","unstructured":"Doncel, J., Gast, N., Gaujal, B.: Mean-Field Games with Explicit Interactions. Working paper or preprint, February 2016. https:\/\/hal.inria.fr\/hal-01277098"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3615-7","volume-title":"Essentials of Stochastic Processes","author":"R Durrett","year":"2012","unstructured":"Durrett, R.: Essentials of Stochastic Processes. Springer, Heidelberg (2012). ISBN: 9781461436157"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Fricker, C., Gast, N.: Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity. EURO J. Trans. Logistics, 1\u201331 (2014)","DOI":"10.1007\/s13676-014-0053-5"},{"key":"3_CR25","first-page":"365","volume":"01","author":"C Fricker","year":"2012","unstructured":"Fricker, C., Gast, N., Mohamed, H.: Mean field analysis for inhomogeneous bike sharing systems. DMTCS Proc. 01, 365\u2013376 (2012)","journal-title":"DMTCS Proc."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Galpin, V.: Spatial representations, analysis techniques. In: SFM (2016)","DOI":"10.1007\/978-3-319-34096-8_5"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s00165-011-0189-0","volume":"25","author":"V Galpin","year":"2013","unstructured":"Galpin, V., Bortolussi, L., Hillston, J.: HYPE: hybrid modelling by composition of flows. Formal Aspects Comput. 25(4), 503\u2013541 (2013)","journal-title":"Formal Aspects Comput."},{"issue":"12","key":"3_CR28","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/j.peva.2012.07.003","volume":"69","author":"N Gast","year":"2012","unstructured":"Gast, N., Gaujal, B.: Markov chains with discontinuous drifts have differential inclusion limits. Perform. Eval. 69(12), 623\u2013642 (2012)","journal-title":"Perform. Eval."},{"issue":"2","key":"3_CR29","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1870178.1870189","volume":"38","author":"N Gast","year":"2010","unstructured":"Gast, N., Gaujal, B.: Mean field limit of non-smooth systems and differential inclusions. ACM SIGMETRICS Perform. Eval. Rev. 38(2), 30\u201332 (2010)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Gast, N., Le Boudec, J.-Y., Tomozei, D.-C.: Impact of demand-response on the efficiency, prices in real-time electricity markets. In: Proceedings of the 5th International Conference on Future Energy Systems, pp. 171\u2013182. ACM (2014)","DOI":"10.1145\/2602044.2602052"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Gast, N., Van Houdt, B.: Transient and steady-state regime of a family of list-based cache replacement algorithms. In: ACM SIGMETRICS 2015 (2015)","DOI":"10.1145\/2745844.2745850"},{"key":"3_CR32","doi-asserted-by":"publisher","unstructured":"Hasenauer, J., et al.: Method of conditional moments (MCM) for the chemical master equation: a unified framework for the method of moments and hybrid stochastic-deterministic models. J. Math. Biol. 69, 687\u2013735 (2013). ISSN: 0303-6812, 1432\u20131416, doi: 10.1007\/s00285-013-0711-5 , http:\/\/link.springer.com\/10.1007\/s00285-013-0711-5 . Accessed 31 July 2014","DOI":"10.1007\/s00285-013-0711-5"},{"issue":"04","key":"3_CR33","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1142\/S0129054111008441","volume":"22","author":"T Henzinger","year":"2011","unstructured":"Henzinger, T., Jobstmann, B., Wolf, V.: Formalisms for specifying Markovian population models. Int. J. Found. Comput. Sci. 22(04), 823\u2013841 (2011). http:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S0129054111008441","journal-title":"Int. J. Found. Comput. Sci."},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Hu, L., Le Boudec, J.-Y., Vojnoviae, M.: Optimal channel choice for collaborative ad-hoc dissemination. In: 2010 Proceedings of the IEEE INFOCOM, pp. 1\u20139. IEEE (2010)","DOI":"10.1109\/INFCOM.2010.5462163"},{"issue":"3","key":"3_CR35","doi-asserted-by":"crossref","first-page":"221","DOI":"10.4310\/CIS.2006.v6.n3.a5","volume":"6","author":"M Huang","year":"2006","unstructured":"Huang, M., Malhame, R.P., Caines, P.E., et al.: Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle. Commun. Inf. Syst. 6(3), 221\u2013252 (2006)","journal-title":"Commun. Inf. Syst."},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Khattri, M., Zapreevt, I.S.: A Markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems, pp. 243\u2013244 (2005). Accessed 18 Jan 2014","DOI":"10.1109\/QEST.2005.2"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"T Kurtz","year":"1970","unstructured":"Kurtz, T.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7, 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). http:\/\/link.springer.com\/chapter\/10.1007\/978- 3-642-22110-1_47 . Accessed 18 Jan 2014"},{"key":"3_CR39","doi-asserted-by":"publisher","unstructured":"Krn, M., et al.: Stochasticity in gene expression: from theories to phenotypes. Nat. Rev. Genet. 6(6), 451\u2013464 (2005). ISSN: 1471-0056, 1471\u20130064, doi: 10.1038\/nrg1615 , http:\/\/www.nature.com\/doifinder\/10.1038\/nrg1615 . Accessed 09 Feb 2016","DOI":"10.1038\/nrg1615"},{"issue":"1","key":"3_CR40","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s11537-007-0657-8","volume":"2","author":"J-M Lasry","year":"2007","unstructured":"Lasry, J.-M., Lions, P.-L.: Mean field games. Jpn. J. Math. 2(1), 229\u2013260 (2007)","journal-title":"Jpn. J. Math."},{"key":"3_CR41","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"J-Y Boudec Le","year":"2010","unstructured":"Le Boudec, J.-Y.: Performance Evaluation of Computer and Communication Systems. EPFL Press, Lausanne (2010)"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Loreti, M.: Modeling and analysis of collective adaptive systems with CARMA and its tools. In: SFM (2016)","DOI":"10.1007\/978-3-319-34096-8_4"},{"issue":"10","key":"3_CR43","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1109\/71.963420","volume":"12","author":"M Mitzenmacher","year":"2001","unstructured":"Mitzenmacher, M.: The power of two choices in randomized load balancing. IEEE Trans. Parallel Distrib. Syst. 12(10), 1094\u20131104 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"3_CR44","unstructured":"Norris, J.R.: Markov Chains. English. Cambridge University Press, Cambridge (1998). ISBN: 978-0-511-81063-3 0-511-81063-6"},{"key":"3_CR45","doi-asserted-by":"publisher","unstructured":"Pahle, J.: Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Briefings Bioinform. 10(1), 53\u201364 (2008). ISSN: 1467-5463, 1477\u20134054, doi: 10.1093\/bib\/bbn050 , http:\/\/bib.oxfordjournals.org\/cgi\/doi\/10.\/bib\/bbn050 . Accessed 14 July 2014","DOI":"10.1093\/bib\/bbn050"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Todorov, E.: Optimal control theory. In: Bayesian Brain: Probabilistic Approaches to Neural Coding, pp. 269\u2013298 (2006)","DOI":"10.7551\/mitpress\/9780262042383.003.0012"},{"issue":"1","key":"3_CR47","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38(1), 205\u2013219 (2012). http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=5567115 . Accessed 24 Nov 2013","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"3_CR48","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1109\/TAC.2015.2457172","volume":"61","author":"M Tschaikowski","year":"2016","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Trans. Autom. Control 61(4), 1099\u20131104 (2016). doi: 10.1109\/TAC.2015.2457172","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"3_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1214\/11-SSY033","volume":"2","author":"JN Tsitsiklis","year":"2012","unstructured":"Tsitsiklis, J.N., Xu, K., et al.: On the power of (even a little) resource pooling. Stochast. Syst. 2(1), 1\u201366 (2012)","journal-title":"Stochast. Syst."},{"key":"3_CR50","doi-asserted-by":"publisher","unstructured":"Van Houdt, B.: A mean field model for a class of garbage collection algorithms in flash-based solid state drives. In: Proceedings of the ACM SIGMETRICS, SIGMETRICS 2013, Pittsburgh, PA, USA, pp. 191\u2013202. ACM (2013). ISBN: 978-1-4503-1900-3, doi: 10.1145\/2465529.2465543 , http:\/\/doi.acm.org\/10.1145\/2465529.2465543","DOI":"10.1145\/2465529.2465543"},{"key":"3_CR51","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"D Wilkinson","year":"2006","unstructured":"Wilkinson, D.: Stochastic Modelling for Systems Biology. Chapman & Hall, Florida (2006)"},{"key":"3_CR52","doi-asserted-by":"crossref","unstructured":"Yang, T., Mehta, P.G., Meyn, S.P.: A mean-field control-oriented approach to particle filtering. In: American Control Conference (ACC), pp. 2037\u20132043. IEEE (2011)","DOI":"10.1109\/ACC.2011.5991422"},{"key":"3_CR53","unstructured":"Ying, L.: On the rate of convergence of mean-field models: Stein\u2019s method meets the perturbation theory. arXiv preprint arXiv:1510.00761 (2015)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-34096-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T21:19:50Z","timestamp":1748985590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-34096-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319340951","9783319340968"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-34096-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"11 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}