Approximating Markov Processes Through Filtration

Chunlai Zhou,Mingsheng Ying
DOI: https://doi.org/10.1016/j.tcs.2012.03.026
IF: 1.002
2012-01-01
Theoretical Computer Science
Abstract: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.
What problem does this paper attempt to address?