Fluid computation of passage-time distributions in large Markov models

DOI10.1016/J.TCS.2011.07.017zbMath1234.68318OpenAlexW2152224120MaRDI QIDQ764294

Jeremy T. Bradley, Richard A. Hayden, Anton Stefanek

Publication date: 13 March 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.017

zbMATH Keywords

fluid approximationscalability analysisstochastic process algebrapassage-time distributionservice level agreement

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (12)

Nonlinear Markov processes in big networks ⋮ Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates ⋮ Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation ⋮ Applying Mean-Field Approximation to Continuous Time Markov Chains ⋮ Tackling continuous state-space explosion in a Markovian process algebra ⋮ Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference ⋮ Geometric fluid approximation for general continuous-time Markov chains ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Model checking Markov population models by stochastic approximations ⋮ Analysis of Markov jump processes under terminal constraints ⋮ Model checking single agent behaviours by fluid approximation ⋮ Hybrid behaviour of Markov population models

Uses Software

• Robust Control Toolbox
• PEPA
• ipc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
• Relating continuous and discrete PEPA models of signalling pathways
• A fluid analysis framework for a Markovian process algebra
• Differential equation approximations for Markov chains
• Generalized inverses. Theory and applications.
• Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models
• Stochastic Concurrent Constraint Programming and Differential Equations
• Basics of Applied Stochastic Processes
• A Stochastic Epidemiological Model and a Deterministic Limit for BitTorrent-Like Peer-to-Peer File-Sharing Networks
• A Proof for the Queuing Formula: L = λW
• Recursive algorithms, urn processes and chaining number of chain recurrent sets
• Linear Matrix Inequalities in System and Control Theory
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Introduction to Dynamical Systems
• Solutions of ordinary differential equations as limits of pure jump markov processes

This page was built for publication: Fluid computation of passage-time distributions in large Markov models