Automated generation of partial Markov chain from high level descriptions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Reliability Engineering and System Safety Année : 2015

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
Vignette du fichier
BRR14-AutomatedGenerationOfPartialMarkovChain.pdf (747.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01238630 , version 1 (06-12-2015)

Identifiants

Citer

Pierre-Antoine Brameret, Antoine Rauzy, Jean-Marc J.-M. Roussel. Automated generation of partial Markov chain from high level descriptions. Reliability Engineering and System Safety, 2015, 139, pp.179-187. ⟨10.1016/j.ress.2015.02.009⟩. ⟨hal-01238630⟩
149 Consultations
268 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More