Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

DOI10.1145/2883608zbMath1368.68316OpenAlexW2294591174MaRDI QIDQ5270685

Jane Hillston, Cheng Feng, Vashti Galpin

Publication date: 30 June 2017

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/44613

zbMATH Keywords

model reductionmoment-closure approximationcollective adaptive systems

Mathematics Subject Classification ID

Related Items (3)

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Replicated Computational Results (RCR) Report for “Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems”

Uses Software

• PALOMA
• CARMA
• PALOMA
• SCEL

Cites Work

• Unnamed Item
• Novel moment closure approximations in stochastic epidemics
• Moment equations and dynamics of a household SIS epidemiological model
• Computing the moments of high dimensional solutions of the master equation
• A fluid analysis framework for a Markovian process algebra
• On process rate semantics
• Kinetic theory for neuronal network dynamics
• Parameter estimation for stochastic hybrid models of biochemical reaction networks
• Programming and Verifying Component Ensembles
• A Compositional Approach to Performance Modelling
• Solutions of ordinary differential equations as limits of pure jump markov processes

This page was built for publication: Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems