A metrized duality theorem for Markov processes

Dexter Kozen, Radu Mardare, Prakash Panangaden

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)211-227
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume308
DOIs
Publication statusPublished - 29 Oct 2014

Fingerprint

Duality Theorems
Markov Process
Markov processes
Algebra
Pseudometric
Approximate Reasoning
Isometry
Isomorphism
Metric

Keywords

  • aumann algebras
  • isometry
  • Markov processes
  • metrics
  • probabilistic reasoning
  • quantitative reasoning.
  • stone duality

Cite this

Kozen, Dexter ; Mardare, Radu ; Panangaden, Prakash. / A metrized duality theorem for Markov processes. In: Electronic Notes in Theoretical Computer Science. 2014 ; Vol. 308. pp. 211-227.
@article{eb287f15cc3a4476a398ea822d700539,
title = "A metrized duality theorem for Markov processes",
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.",
keywords = "aumann algebras, isometry, Markov processes, metrics, probabilistic reasoning, quantitative reasoning., stone duality",
author = "Dexter Kozen and Radu Mardare and Prakash Panangaden",
year = "2014",
month = "10",
day = "29",
doi = "10.1016/j.entcs.2014.10.012",
language = "English",
volume = "308",
pages = "211--227",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",

}

A metrized duality theorem for Markov processes. / Kozen, Dexter; Mardare, Radu; Panangaden, Prakash.

In: Electronic Notes in Theoretical Computer Science, Vol. 308, 29.10.2014, p. 211-227.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A metrized duality theorem for Markov processes

AU - Kozen, Dexter

AU - Mardare, Radu

AU - Panangaden, Prakash

PY - 2014/10/29

Y1 - 2014/10/29

N2 - 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.

AB - 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.

KW - aumann algebras

KW - isometry

KW - Markov processes

KW - metrics

KW - probabilistic reasoning

KW - quantitative reasoning.

KW - stone duality

UR - http://www.scopus.com/inward/record.url?scp=84908363860&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2014.10.012

DO - 10.1016/j.entcs.2014.10.012

M3 - Article

VL - 308

SP - 211

EP - 227

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -