We investigate the use of generating functions in the analysis of discrete Markov chains. Generating functions are introduced as power series whose coefficients are certain hitting probabilities. Being able to compute such functions implies that the calculation of a number of quantities of interest, including absorption probabilities, expected hitting time and number of visits, and variances thereof, becomes straight forward. We show that it is often possible to recover this information, either exactly or within excellent approximation, via the construction of Padè approximations of the involved generating function. The presented algorithms are based on projective methods from linear algebra, which can be made to work with limited computational resources. In particular, only a black box, on-the-fly access to the transition function is presupposed, and the necessity of storing the whole model is eliminated. A few numerical experiments conducted with this technique give encouraging results.
CITATION STYLE
Boreale, M. (2015). Analysis of probabilistic systems via generating functions and Padè approximation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9135, pp. 82–94). Springer Verlag. https://doi.org/10.1007/978-3-662-47666-6_7
Mendeley helps you to discover research relevant for your work.