Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

DOI10.1007/978-3-642-38874-3_4zbMath1380.68269OpenAlexW1517582717MaRDI QIDQ5300886

Luca Bortolussi, Jane Hillston

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12371534/FMC.pdf

zbMATH Keywords

mean field approximationfluid approximationstochastic model checkingreachability probabilitytime-inhomogeneous continuous-time Markov chains

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Model checking Markov population models by stochastic approximations ⋮ The benefits of combining early aspecific vaccination with later specific vaccination ⋮ Model checking single agent behaviours by fluid approximation

Uses Software

• Matlab
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fluid computation of passage-time distributions in large Markov models
• Differential equation approximations for Markov chains
• Interval analysis: Theory and applications
• Zero tests for constants in simple scientific computation
• Fluid Model Checking
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• LTL Model Checking of Time-Inhomogeneous Markov Chains
• Interval Methods for Systems of Equations
• Markov Chains
• On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Model-checking continuous-time Markov chains

This page was built for publication: Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation