A Metrized Duality Theorem for Markov Processes

Dexter Kozen; Radu Iulian Mardare; Prakash Panangaden

doi:10.1016/j.entcs.2014.10.012

A Metrized Duality Theorem for Markov Processes

Dexter Kozen
, Radu Iulian Mardare
, Prakash Panangaden

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

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.

Originalsprog	Engelsk
Titel	Electronic Notes in Theoretical Computer Science
Antal sider	17
Vol/bind	308
Udgivelsessted	29 October 2014
Forlag	Elsevier
Publikationsdato	2014
Sider	211-227
DOI	https://doi.org/10.1016/j.entcs.2014.10.012
Status	Udgivet - 2014
Begivenhed	Mathematical Foundations of Programming Semantics - Cornell University, Ithaca, New York, USA Varighed: 12 jun. 2014 → 15 jun. 2014 Konferencens nummer: 30

Konference

Konference	Mathematical Foundations of Programming Semantics
Nummer	30
Lokation	Cornell University
Land/Område	USA
By	Ithaca, New York
Periode	12/06/2014 → 15/06/2014

Adgang til dokumentet

10.1016/j.entcs.2014.10.012

http://www.sciencedirect.com/science/article/pii/S1571066114000796

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{7ed70c277120488b8c7ec1d5c8d9683e,

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.",

author = "Dexter Kozen and Mardare, \{Radu Iulian\} and Prakash Panangaden",

year = "2014",

doi = "10.1016/j.entcs.2014.10.012",

language = "English",

volume = "308",

pages = "211--227",

booktitle = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

address = "United Kingdom",

note = " Mathematical Foundations of Programming Semantics, MFPS ; Conference date: 12-06-2014 Through 15-06-2014",

}

TY - GEN

T1 - A Metrized Duality Theorem for Markov Processes

AU - Kozen, Dexter

AU - Mardare, Radu Iulian

AU - Panangaden, Prakash

N1 - Conference code: 30

PY - 2014

Y1 - 2014

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.

U2 - 10.1016/j.entcs.2014.10.012

DO - 10.1016/j.entcs.2014.10.012

M3 - Article in proceeding

VL - 308

SP - 211

EP - 227

BT - Electronic Notes in Theoretical Computer Science

PB - Elsevier

CY - 29 October 2014

T2 - Mathematical Foundations of Programming Semantics

Y2 - 12 June 2014 through 15 June 2014

ER -

A Metrized Duality Theorem for Markov Processes

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater