卢卡·博托卢西;尼古拉斯·加斯特 超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号 Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。商会：施普林格出版社（ISBN 978-3-319-34095-1/pbk；978-3-319-34096-8/ebook）。计算机科学9700，61-82（2016）讲稿。 摘要：我们研究了相互作用主体种群随机模型在主体数量趋于无穷大时的极限行为。经典的平均场结果表明，在两个条件下，这种极限行为由一个常微分方程（ODE）描述：（1）动力学是光滑的；（2）种群由有限个同质子种群组成，每个同质子群包含大量的agent。本文回顾了最近的工作，展示了如果这些条件不成立会发生什么。在这些情况下，仍然有可能以用更复杂的动力系统取代常微分方程为代价，展示一种极限状态。在非光滑或不确定动力学的情况下，极限状态由微分包含给出。在多人口规模的情况下，ODE被随机混合自动机所取代。有关整个系列，请参见[Zbl 1337.68006号]. 引用于3文件 MSC公司： 68T42型 Agent技术与人工智能 34A60型 普通微分夹杂物 34F05型 常微分方程和随机系统 60年28日 连续时间Markov过程在离散状态空间中的应用 65年第68季度 形式语言和自动机 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：种群模型;马尔可夫链;平均场限值;差异包裹体;混合系统 软件：MRMC公司;生物-PEPA;棱镜 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217） 全文： 内政部 哈尔 参考文献： [1] Andersson，H.，Britton，T.：随机流行病模型及其统计分析。斯普林格，海德堡（2000）·Zbl 0951.92021号 ·doi:10.1007/978-1-4612-1158-7 [2] Aubin，J.，Cellina，A.：差异内含物。斯普林格，海德堡（1984）·Zbl 0538.34007号 ·doi:10.1007/978-3-642-69512-4 [3] Baier，C.等人：连续时间马尔可夫链的模型检查算法。IEEE传输。柔和。工程29（6），524–541（2003）。http://ieeexplore.ieee.org/xpls/abs_all.jsp？arnumber=1205180 ·doi:10.1109/TSE.2003.1205180 [4] Benaim，M.，Le Boudec，J.-Y.：计算机和通信系统的一类平均场交互模型。执行。评估。65(11), 823–838 (2008) ·doi:10.1016/j.peva.2008.03.005 [5] Billingsley，P.：概率与测度。英语。霍博肯·威利（2012）。国际标准图书编号：9781118122372 1118122372 [6] Bortolussi，L.，Gast，N.：不精确总体过程的平均场近似。QUANTICOL技术报告TR-QC-07-2015（2015） [7] Bortolussi，L.等人：集体系统行为的连续近似：教程。执行。评估。70(5), 317–349 (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 [8] Bortolussi，L.：马尔可夫种群模型的混合行为。In：信息与计算（2015）·Zbl 1336.68177号 [9] Bortolussi，L.：随机过程代数混合逼近的极限行为。收录：Al-Begain，K.，Fiems，D.，Knottenbelt，W.J.（编辑）ASMTA 2010。LNCS，第6148卷，第367–381页。施普林格，海德堡（2010）。http://link.springer.com/chapter/10.1007/978-3642-13568-2_26 . 访问日期：2015年6月11日·doi:10.1007/978-3642-13568-226 [10] Bortolussi，L.，Hillston，J.：通过uid近似检查单代理行为的模型。Inf.计算。242, 183–226 (2015). ISSN:0890-5401，doi:10.1016/j.ic.2015.03.002·Zbl 1317.68108号 ·doi:10.1016/j.ic.2015.03.002 [11] Bortolussi，L.，Lanciani，R.：时间特性的流体模型检查。收录于：Sankaranarayanan，S.，Vicario，E.（eds.）FORMATS 2015。LNCS，第9268卷，第172-188页。斯普林格，海德堡（2015）·Zbl 1465.68171号 ·数字对象标识代码：10.1007/978-3-319-22975-1_12 [12] Bortolussi，L.，Lanciani，R.：通过中心极限近似检验马尔可夫总体模型。收录人：Joshi，K.、Siegle，M.、Stoelinga，M.和DArgenio，P.R.（编辑）QEST 2013。LNCS，第8054卷，第123–138页。斯普林格，海德堡（2013）·doi:10.1007/978-3-642-40196-19 [13] Bortolussi，L.，Lanciani，R.：马尔可夫种群模型全局可达概率的随机近似。收录：Horvath，A.，Wolter，K.（编辑）EPEW 2014。LNCS，第8721卷，第224–239页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-10885-816 [14] Bortolussi，L.，Policriti，A.：动力系统和随机规划：到常微分方程，然后回来。摘自：Priami，C.、Back，R.-J.、Petre，I.（编辑）《计算系统生物学学报》第十一卷。LNCS，第5750卷，第216-267页。斯普林格，海德堡（2009）·Zbl 1260.92020年 ·doi:10.1007/978-3642-04186-0_11 [15] Bortolussi，L.，Policriti，A.：（混合）自动机，（随机）程序：随机程序的混合自动机格。J.逻辑计算。23, 761–798 (2013). http://dx.doi.org/10.1093/logcom/exr045 ·Zbl 1272.68289号 ·doi:10.1093/log.com/exr045 [16] Bortolussi，L.，Policriti，A.：随机程序的混合动力学。西奥。计算。科学。411(20), 2052–2077 (2010). 编号：0304-3975·Zbl 1198.68175号 ·doi:10.1016/j.tcs.2010.02.008 [17] Chaintreau，A.，Le Boudec，J.-Y.，Ristanovic，N.：流言蜚语的时代：空间平均场制度。摘自：ACM SIGMETRICS会议记录，第37卷，第1期，第109-120页。ACM（2009）·数字对象标识代码：10.1145/1555349.1555363 [18] Ciocchetta，F.，Hillston，J.：生物-PEPA：生物系统建模和分析框架。西奥。计算。科学。410(33), 00185, 3065–3084 (2009). http://www.sciencedirect.com/science/article/pii/S0304397509001662 . 访问日期：2013年11月25日·Zbl 1173.68041号 [19] Crudu，A.等人：随机基因网络到混合分段确定性过程的收敛。附录申请。普罗巴伯。22(5), 00015, 1822–1859 (2012). http://projecteuclid.org/euclid.aoap/1350067987 . 2013年11月5日访问·Zbl 1261.60073号 [20] Darling，R.、Norris，J.R.等：马尔可夫链的微分方程近似。普罗巴伯。Surv公司。5, 37–79 (2008) ·Zbl 1189.60152号 ·doi:10.1214/07-PS121 [21] Davis，M.H.A.：马尔可夫模型与优化。查普曼和霍尔，伦敦（1993）·Zbl 0780.60002号 ·doi:10.1007/9781-4899-4483-2 [22] Doncel，J.，Gast，N.，Gaujal，B.：具有显式交互的Mean-Field游戏。工作底稿或预印本，2016年2月。https://hal.inia.fr/hal-01277098 [23] Durrett，R.：随机过程的基本原理。施普林格，海德堡（2012）。国际标准图书编号：9781461436157·兹比尔1244.60001 ·doi:10.1007/978-1-4614-3615-7 [24] Fricker，C.，Gast，N.：具有有限容量车站的同质自行车共享系统中的激励和再分配。EURO J.事务处理。物流，1-31（2014） [25] Fricker，C.，Gast，N.，Mohamed，H.：非均匀共享自行车系统的平均场分析。DMTCS程序。01, 365–376 (2012) ·Zbl 1296.90019号 [26] Galpin，V.：空间表示、分析技术。致：SFM（2016）·doi:10.1007/978-3-319-34096-85 [27] Galpin，V.、Bortolussi，L.、Hillston，J.：HYPE：通过流动成分进行混合建模。形式方面计算。25(4), 503–541 (2013) ·Zbl 1298.68191号 ·doi:10.1007/s00165-011-0189-0 [28] Gast，N.，Gaujal，B.：具有不连续漂移的马尔可夫链具有微分包含极限。执行。评估。69(12), 623–642 (2012) ·doi:10.1016/j.peva.2012.07.003 [29] Gast，N.，Gaujal，B.：非光滑系统和微分包含的平均场极限。ACM SIGMETRICS执行评估。修订版38（2），30-32（2010）·doi:10.1145/1870178.1870189 [30] Gast，N.、Le Boudec，J.-Y.、Tomozei，D.-C.：实时电力市场中需求响应对效率和价格的影响。摘自：《第五届国际未来能源系统会议记录》，第171-182页。ACM（2014）·doi:10.1145/2602044.2602052 [31] Gast，N.，Van Houdt，B.：基于列表的缓存替换算法家族的瞬态和稳态状态。致：ACM SIGMETRICS 2015（2015）·Zbl 1349.68038号 ·doi:10.1145/2745844.2745850 [32] Hasenauer，J.等人：化学主方程的条件矩方法：矩方法和混合随机确定性模型的统一框架。数学杂志。《生物学》69，687–735（2013）。ISSN:0033-6812，1432-1416，doi:10.1007/s00285-013-0711-5，http://link.springer.com/10.1007/s00285-013-0711-5 . 2014年7月31日访问·Zbl 1302.92070号 ·doi:10.1007/s00285-013-0711-5 [33] Henzinger，T.、Jobstmann，B.、Wolf，V.：指定马尔科夫人口模型的形式主义。发现的国际期刊。计算。科学。22（04），823–841（2011）。http://www.worldscience.com/doi/abs/10.1142/S012905411008441 ·Zbl 1216.68190号 ·doi:10.1142/S012905411008441 [34] Hu，L.，Le Boudec，J.-Y.，Vojnoviae，M.：协作式特别传播的最佳渠道选择。2010年IEEE INFOCOM会议记录，第1-9页。IEEE（2010）·doi:10.1109/INFCOM.2010.5462163 [35] Huang，M.，Malhame，R.P.，Caines，P.E.等人：大种群随机动态博弈：闭环McKean-Vlasov系统和Nash确定性等价原理。Commun公司。信息系统。6(3), 221–252 (2006) ·Zbl 1136.91349号 [36] Katoen，J.-P.，Khattri，M.，Zaprevt，I.S.：马尔可夫奖励模型检查器。摘自：第二届系统定量评估国际会议，第243-244页（2005年）。访问日期：2014年1月18日·doi:10.1109/QEST.2005.2 [37] Kurtz，T.：作为纯跳跃马尔可夫过程极限的常微分方程的解。J.应用。普罗巴伯。7, 49–58 (1970) ·Zbl 0191.47301号 ·doi:10.2307/3212147 [38] Kwiatkowska，M.，Norman，G.，Parker，D.：PRISM 4.0：概率实时系统的验证。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，第6806卷，第585-591页。斯普林格，海德堡（2011）。http://link.springer.com/chapter/10.1007/978- 3-642-22110-1_47 . 2014年1月18日访问·doi:10.1007/978-3642-22110-147 [39] Krn，M.等人：基因表达的随机性：从理论到表型。Genet国家牧师。6(6), 451–464 (2005). ISSN:1471-0056，1471–0064，doi:10.1038/nrg1615，http://www.nature.com/doifinder/10.1038/nrg1615 . 2016年2月9日访问·数字对象标识代码：10.1038/nrg1615 [40] Lasry，J.-M.，Lions，P.-L.：平均场游戏。日本。数学杂志。2(1), 229–260 (2007) ·Zbl 1156.91321号 ·doi:10.1007/s11537-007-0657-8 [41] Le Boudec，J.-Y.：计算机和通信系统的性能评估。洛桑EPFL出版社（2010）·Zbl 1246.68004号 [42] Loreti，M.：使用CARMA及其工具对集体自适应系统进行建模和分析。在：SFM（2016） [43] Mitzenmacher，M.：随机负载平衡中两种选择的力量。IEEE传输。平行配送系统。12(10), 1094–1104 (2001) ·数字对象标识代码：10.1109/71.963420 [44] Norris，J.R.：马尔可夫链。英语。剑桥大学出版社，剑桥（1998）。国际标准图书编号：978-0-511-81063-3 0-511-8063-6·Zbl 0938.60058号 [45] Pahle，J.：生物化学模拟：随机、近似随机和混合方法。生物信息简报。10(1), 53–64 (2008). ISSN:1467-5463，1477–4054，doi:10.1093/bib/bbn050，http://bib.oxfordjournals.org/cgi/doi/10./bib/bbn050 . 2014年7月14日访问·doi:10.1093/bib/bbn050 [46] Todorov，E.：最优控制理论。收录：《贝叶斯大脑：神经编码的概率方法》，第269-298页（2006）·doi:10.7551/mitpress/9780262042383.003.0012 [47] Tribastone，M.，Gilmore，S.，Hillston，J.：过程代数模型的可缩放微分分析。IEEE传输。柔和。工程38（1），205–219（2012）。http://ieeexplore.ieee.org/xpls/abs_all.jsp？arnumber=5567115 . 2013年11月24日访问·doi:10.1109/TSE.2010.82 [48] Tschaikowski，M.，Tribastone，M.：带微分壳的异质非线性模型的近似简化。IEEE传输。自动。控制61（4），1099–1104（2016）。doi:10.1109/TAC.2015.2457172·Zbl 1359.93084号 ·doi:10.1109/TAC.2015.2457172 [49] Tsitsiklis，J.N.，Xu，K.等人：关于（甚至是一点点）资源池的力量。斯托恰斯特。系统。2(1), 1–66 (2012) ·Zbl 1296.60253号 ·doi:10.1214/11-SSY033 [50] Van Houdt，B.：基于闪存的固态驱动器中一类垃圾收集算法的平均场模型。摘自：《ACM SIGMETRICS会议记录》，SIGMETRICS 2013，匹兹堡，宾夕法尼亚州，美国，第191-202页。ACM（2013）。国际标准图书编号：978-1-4503-1900-3，doi:10.1145/2465529.2465543，http://doi.acm.org/10.1145/2465529.2465543 ·doi:10.1145/2465529.2465543 [51] Wilkinson，D.：系统生物学的随机建模。查普曼和霍尔，佛罗里达州（2006年）·兹比尔1099.92004 [52] Yang，T.，Mehta，P.G.，Meyn，S.P.：以平均场控制为导向的颗粒过滤方法。摘自：美国控制会议（ACC），第2037-2043页。IEEE（2011） [53] Ying，L.：关于平均场模型的收敛速度：Stein的方法符合微扰理论。arXiv预印arXiv:1510.00761（2015） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。