Approximating Markov processes through filtration
- Publication Type:
- Journal Article
- Theoretical Computer Science, 2012, 446 pp. 75 - 97
- Issue Date:
In this paper, we define a probabilistic version of filtration and use it to provide a finite approximation of Markov processes. In order to measure the approximation, we employ probability logic to construct the final Markov process and define a metric on the set of Markov processes through this logic. Moreover, we show that the set endowed with this metric is a Polish space. Finally we point to some questions connecting approximation to uniformity and approximate bisimilarity as topics for future research. © 2012 Elsevier B.V. All rights reserved.
Please use this identifier to cite or link to this item: