Truly Concurrent Synchronization of Markov Chains

Samy Abbes 1 Albert Benveniste 2
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial orders viewpoint. We propose a randomization of the new, concurrent system. The random concurrent system we construct has two key properties: first it is Markovian, and second it has a local independence property, meaning that local processes are, in the probabilistic sense, conditionally independent. We compare this construction with the product of Probabilistic Automata.
Type de document :
Rapport
[Research Report] PI 1866, 2007, pp.20
Liste complète des métadonnées

https://hal.inria.fr/inria-00175408
Contributeur : Anne Jaigu <>
Soumis le : vendredi 28 septembre 2007 - 09:31:55
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : lundi 24 septembre 2012 - 12:51:23

Fichiers

PI-1866.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00175408, version 1

Citation

Samy Abbes, Albert Benveniste. Truly Concurrent Synchronization of Markov Chains. [Research Report] PI 1866, 2007, pp.20. 〈inria-00175408〉

Partager

Métriques

Consultations de la notice

280

Téléchargements de fichiers

96