Continuity properties of distances for Markov processes

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (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.

Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems. QEST 2014.
EditorsGethin Norman, William Sanders
Place of PublicationCham, Switzerland
PublisherSpringer
Pages297-312
Number of pages16
ISBN (Electronic)9783319106960
ISBN (Print)9783319106953
DOIs
Publication statusPublished - 20 Aug 2014
Externally publishedYes
Event11th International Conference on Quantitative Evaluation of Systems, QEST 2014 - Florence, Italy
Duration: 8 Sept 201410 Sept 2014

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer
Volume8657
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Quantitative Evaluation of Systems, QEST 2014
Country/TerritoryItaly
CityFlorence
Period8/09/1410/09/14

Cite this