Continuity Properties of Distances for Markov Processes

Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Iulian Mardare

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

Abstract

In this paper we investigate distance functions on finite state Markov processes that measure the behavioural similarity of non-bisimilar processes. We consider both probabilistic bisimilarity metrics, and trace-based distances derived from standard Lp and Kullback-Leibler distances. Two desirable continuity properties for such distances are identified. We then establish a number of results that show that these two properties are in conflict, and not simultaneously fulfilled by any of our candidate natural distance functions. An impossibility result is derived that explains to some extent the fundamental difficulty we encounter.
OriginalsprogEngelsk
TitelQuantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
RedaktørerGethin Norman, William Sanders
Vol/bind8657
ForlagSpringer
Publikationsdato2014
Sider297-312
ISBN (Trykt)978-3-319-10695-3
ISBN (Elektronisk)978-3-319-10696-0
DOI
StatusUdgivet - 2014
Begivenhed11th International Conference on Quantitative Evaluation of SysTems (QEST 2014) - Auditorium al Duomo, Florence, Italien
Varighed: 8 sep. 201410 sep. 2014
Konferencens nummer: 11th

Konference

Konference11th International Conference on Quantitative Evaluation of SysTems (QEST 2014)
Nummer11th
LokationAuditorium al Duomo
Land/OmrådeItalien
ByFlorence
Periode08/09/201410/09/2014
NavnLecture Notes in Computer Science
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Continuity Properties of Distances for Markov Processes'. Sammen danner de et unikt fingeraftryk.

Citationsformater