A compositional approach to performance modelling
A compositional approach to performance modelling
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Load balancing and density dependent jump Markov processes
FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
Queueing Networks and Markov Chains
Queueing Networks and Markov Chains
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid - Volume 01
A Generic Mean Field Convergence Result for Systems of Interacting Objects
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Performance of random medium access control, an asymptotic approach
SIGMETRICS '08 Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Journal of Computer and System Sciences
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
Analysis of Large Scale Interacting Systems by Mean Field Method
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
A class of mean field interaction models for computer and communication systems
Performance Evaluation
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
The age of gossip: spatial mean field regime
Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Performance analysis of contention based medium access control protocols
IEEE Transactions on Information Theory
Mean-Field Analysis for the Evaluation of Gossip Protocols
QEST '09 Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A mean field model of work stealing in large-scale systems
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Limit behavior of the hybrid approximation of stochastic process algebras
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science
Modelling non-linear crowd dynamics in bio-PEPA
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Hybrid Limits of Continuous Time Markov Chains
QEST '11 Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Scalable Differential Analysis of Process Algebra Models
IEEE Transactions on Software Engineering
Performance analysis of the IEEE 802.11 distributed coordination function
IEEE Journal on Selected Areas in Communications
Fluid limit analysis of FIFO and RR caching for independent reference models
Performance Evaluation
Markov chains with discontinuous drifts have differential inclusion limits
Performance Evaluation
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Model checking markov population models by central limit approximation
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
In this paper we present an overview of the field of deterministic approximation of Markov processes, both in discrete and continuous times. We will discuss mean field approximation of discrete time Markov chains and fluid approximation of continuous time Markov chains, considering the cases in which the deterministic limit process lives in continuous time or discrete time. We also consider some more advanced results, especially those relating to the limit stationary behaviour. We assume a knowledge of modelling with Markov chains, but not of more advanced topics in stochastic processes.