Automated generation of partial Markov chain from high level descriptions
Résumé
We propose an algorithm to generate partial Markov chains from high level implicit descriptions, namely AltaRica models. This algorithm relies on two components. First, a variation on Dijkstra's algorithm to compute shortest paths in a graph. Second, the definition of a notion of distance to select which states must be kept and which can be safely discarded. The proposed method solves two problems at once. First, it avoids a manual construction of Markov chains, which is both tedious and error prone. Second, up the price of acceptable approximations, it makes it possible to push back dramatically the exponential blow-up of the size of the resulting chains. We report experimental results that show the efficiency of the proposed approach.
Fichier principal
BRR14-AutomatedGenerationOfPartialMarkovChain.pdf (747.41 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...