Bisimulation metrics are used to estimate the behavioural distance between probabilistic systems. They have been defined in discrete and continuous state space models. However, the weak semantics approach, where non-observable actions are abstracted away, has been adopted only in the discrete case. We fill this gap and provide a weak bisimulation metric for models with continuous state spaces. A difficulty is to provide a notion of weak transition leaving from a continuous distribution over states. Our weak bisimulation metric allows for compositional reasoning. Systems at distance zero are equated by a notion of weak bisimulation. We apply our theory in a case study where continuous distributions derive by the evolution of the physical environment.

Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces

Lanotte, Ruggero
;
Tini, Simone
2018-01-01

Abstract

Bisimulation metrics are used to estimate the behavioural distance between probabilistic systems. They have been defined in discrete and continuous state space models. However, the weak semantics approach, where non-observable actions are abstracted away, has been adopted only in the discrete case. We fill this gap and provide a weak bisimulation metric for models with continuous state spaces. A difficulty is to provide a notion of weak transition leaving from a continuous distribution over states. Our weak bisimulation metric allows for compositional reasoning. Systems at distance zero are equated by a notion of weak bisimulation. We apply our theory in a case study where continuous distributions derive by the evolution of the physical environment.
2018
15th International Colloquium on Theoretical Aspects of Computing
9783030025076
INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING
zaf
2018
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2073452
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact