The master equation describes exactly the dynamics of a Markov Population Process (MPP) by associating one differential equation for each discrete state of the process. It is well known that MPPs are prone to suffer from the so-called curse of dimensionality, making the master equation intractable in most cases. We propose a novel approach, called h-scaling, that covers the state space of an MPP with a smaller number of states by an appropriate re-scaling of the MPP transition rate functions. When the original state space is bounded, this procedure may significantly reduce the number of the states while returning an approximate master equation that still retains good accuracy. We present h-scaling together with some theoretical results on asymptotic correctness and numerical examples taken from the performance evaluation literature. Moreover, we show that h-scaling can be combined with a recently proposed framework called dynamic boundary projection, which couples subsets of the master equation with mean-field approximations, to further reduce the number of equations without penalizing accuracy.
Jump longer to jump less: improving dynamic boundary projection with h-scaling / Randone, F., Bortolussi, L., Tribastone, M.. - 13479:(2022), pp. 150-170. (QEST 2022 - 19th International Conference on Quantitative Evaluation of Systems Warsaw, Poland 12-16/09/2022) [10.1007/978-3-031-16336-4_8].
Jump longer to jump less: improving dynamic boundary projection with h-scaling
Randone Francesca;Tribastone Mirco
2022
Abstract
The master equation describes exactly the dynamics of a Markov Population Process (MPP) by associating one differential equation for each discrete state of the process. It is well known that MPPs are prone to suffer from the so-called curse of dimensionality, making the master equation intractable in most cases. We propose a novel approach, called h-scaling, that covers the state space of an MPP with a smaller number of states by an appropriate re-scaling of the MPP transition rate functions. When the original state space is bounded, this procedure may significantly reduce the number of the states while returning an approximate master equation that still retains good accuracy. We present h-scaling together with some theoretical results on asymptotic correctness and numerical examples taken from the performance evaluation literature. Moreover, we show that h-scaling can be combined with a recently proposed framework called dynamic boundary projection, which couples subsets of the master equation with mean-field approximations, to further reduce the number of equations without penalizing accuracy.| File | Dimensione | Formato | |
|---|---|---|---|
|
978-3-031-16336-4_8.pdf
non disponibili
Descrizione: Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
497.16 kB
Formato
Adobe PDF
|
497.16 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


