Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computing and Information Science
  4. Computing and Information Science Technical Reports
  5. A Metrized Duality Theorem for Markov Processes

A Metrized Duality Theorem for Markov Processes

File(s)
kmp_final.pdf (316.46 KB)
Main article
Permanent Link(s)
https://hdl.handle.net/1813/36330
Collections
Computing and Information Science Technical Reports
Author
Kozen, Dexter
Mardare, Radu
Panangaden, Prakash
Abstract

We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the way to developing theories of approximate reasoning for probabilistic systems.

Date Issued
2014-05-21
Keywords
Markov process
•
Aumann algebra
•
Stone duality
•
metric
•
isometry
•
probabilistic reasoning
•
quantitative reasoning
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance