14105

Accelerating parameter synthesis for stochastic models

Petr Pilar
Masaryk University, Facutly of Informatics
Masaryk University, 2015

@article{pilavr2015accelerating,

   title={Accelerating parameter synthesis for stochastic models},

   author={Pila{v{r}}, Petr},

   year={2015}

}

Download Download (PDF)   View View   Source Source   Source codes Source codes

Package:

652

views

We provide an efficient implementation of existing parameter synthesis techniques for stochastic systems modelled as continuous-time Markov chains (CTMCs). These techniques iteratively decompose the parameter space into its subspaces and approximate the satisfaction function that for any parameter values from the parameter space returns the probability of the formula being satisfied in the CTMC given by those parameter values. Based on a sparse matrix representation we developed an efficient CPU oriented algorithm and GPU oriented algorithm; the latter takes advantage of the GPU architecture and parallelizes the task at the state level of the stochastic model. We also devised a technique for further parallelization on the parameter subspace level to better utilize the hardware and thus further speed up the computation. The overall speed up is more than 20 on multiple systems compared to the optimized sequential implementation which itself is several times faster than the original one.
No votes yet.
Please wait...

* * *

* * *

Featured events

2018
November
27-30
Hida Takayama, Japan

The Third International Workshop on GPU Computing and AI (GCA), 2018

2018
September
19-21
Nagoya University, Japan

The 5th International Conference on Power and Energy Systems Engineering (CPESE), 2018

2018
September
22-24
MediaCityUK, Salford Quays, Greater Manchester, England

The 10th International Conference on Information Management and Engineering (ICIME), 2018

2018
August
21-23
No. 1037, Luoyu Road, Hongshan District, Wuhan, China

The 4th International Conference on Control Science and Systems Engineering (ICCSSE), 2018

2018
October
29-31
Nanyang Executive Centre in Nanyang Technological University, Singapore

The 2018 International Conference on Cloud Computing and Internet of Things (CCIOT’18), 2018

HGPU group © 2010-2018 hgpu.org

All rights belong to the respective authors

Contact us: