Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00175408
Contributor : Anne Jaigu <>
Submitted on : Friday, September 28, 2007 - 9:31:55 AM
Last modification on : Thursday, January 7, 2021 - 4:18:20 PM
Long-term archiving on: : Monday, September 24, 2012 - 12:51:23 PM

Files

PI-1866.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

319

Files downloads

127