Stone Duality for Markov Processes

被引：13

作者：

Kozen, Dexter ^{[1
]}

Larsen, Kim G. ^{[2
]}

Mardare, Radu ^{[2
]}

Panangaden, Prakash ^{[3
]}

机构：

[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA

[2] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark

[3] McGill Univ, Sch Comp Sci, Montreal, PQ, Canada

来源：

2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) | 2013年

关键词：

BISIMULATION;

D O I：

10.1109/LICS.2013.38

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.

引用

页码：321 / 330

页数：10

共 50 条

[21] DUALITY ARISING FROM MULTIPLE MARKOV GAUSSIAN PROCESSES
Si, Si
Htay, Win Win
QUANTUM BIO-INFORMATICS III: FROM QUANTUM INFORMATION TO BIO-INFORMATICS, 2010, 26 : 317 - +
[22] Stochastic Duality of Markov Processes: A Study Via Generators
Kolokoltsov, Vassili
Lee, Rui Xin
STOCHASTIC ANALYSIS AND APPLICATIONS, 2013, 31 (06) : 992 - 1023
[23] Stochastic monotonicity and duality for one-dimensional Markov processes
Kolokol'tsov, V. N.
MATHEMATICAL NOTES, 2011, 89 (5-6) : 652 - 660
[24] On Feller's boundary problem for Markov processes in weak duality
Chen, Zhen-Qing
Fukushima, Masatoshi
JOURNAL OF FUNCTIONAL ANALYSIS, 2007, 252 (02) : 710 - 733
[25] Stochastic monotonicity and duality for one-dimensional Markov processes
V. N. Kolokol’tsov
Mathematical Notes, 2011, 89 : 652 - 660
[26] A DUALITY RELATION FOR ENTRANCE AND EXIT LAWS FOR MARKOV-PROCESSES
COX, JT
ROSLER, U
STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 1984, 16 (02) : 141 - 156
[27] Markov branching processes with disasters: Extinction, survival and duality to p-jump processes
Hermann, Felix
Pfaffelhuber, Peter
STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 2020, 130 (04) : 2488 - 2518
[28] On the Duality Between Consensus Problems and Markov Processes, with Application to Delay Systems
Atay, F. M.
MARKOV PROCESSES AND RELATED FIELDS, 2016, 22 (03) : 537 - 553
[29] Bridges of Markov counting processes. Reciprocal classes and duality formulas
Conforti, Giovanni
Leonard, Christian
Murr, Ruediger
Roelly, Sylvie
ELECTRONIC COMMUNICATIONS IN PROBABILITY, 2015, 20
[30] A SAMPLE PATH PROOF OF THE DUALITY FOR STOCHASTICALLY MONOTONE MARKOV-PROCESSES
CLIFFORD, P
SUDBURY, A
ANNALS OF PROBABILITY, 1985, 13 (02): : 558 - 565

← 1 2 3 4 5 →