Mean-Field Limits Beyond Ordinary Differential Equations

DOI10.1007/978-3-319-34096-8_3zbMath1346.68217OpenAlexW2503377384MaRDI QIDQ2822663

Luca Bortolussi, Nicolas Gast

Publication date: 4 October 2016

Published in: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01334358/file/meanField_chapter.pdf

zbMATH Keywords

differential inclusionshybrid systemsMarkov chainpopulation modelsmean-field limits

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Ordinary differential inclusions (34A60) Ordinary differential equations and systems with randomness (34F05) Agent technology and artificial intelligence (68T42) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Bulk Topological States in a New Collective Dynamics Model, An algorithm for the formal reduction of differential equations as over-approximations, Fluid approximation of broadcasting systems

Uses Software

• PRISM
• Bio-PEPA
• MRMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid behaviour of Markov population models
• Transient and steady-state regime of a family of list-based cache replacement algorithms
• Method of conditional moments (MCM) for the chemical master equation
• HYPE: hybrid modelling by composition of flows
• Convergence of stochastic gene networks to hybrid piecewise deterministic processes
• Hybrid dynamics of stochastic programs
• Differential equation approximations for Markov chains
• Mean field games
• Stochastic epidemic models and their statistical analysis
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Model checking single agent behaviours by fluid approximation
• Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle
• (Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program
• Fluid Model Checking of Timed Properties
• Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
• FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Markov Chains
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Essentials of Stochastic Processes