Bisimulations, logics, and trace distributions for stochastic systems with rewards

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

Stochastic systems with rewards yield a generic stochastic model where both the state and the action space might be uncountable and where every action is decorated by a real-valued reward. For every deterministic stochastic system with rewards we prove that the bisimulation relation and the trace-distribution relation collapse. As a second result, we also establish a characterisation of the bisimulation relation in terms of an expressive action-based probabilistic logic and show that this characterisation is still maintained by a small fragment of this logic.

Details

OriginalspracheEnglisch
TitelHSCC '18
Herausgeber (Verlag)Association for Computing Machinery (ACM), New York
Seiten31-40
Seitenumfang10
ISBN (Print)978-1-4503-5642-8
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Konferenz

Titel21st ACM International Conference on Hybrid Systems: Computation and Control
KurztitelHSCC 2018
Veranstaltungsnummer21
Beschreibung(part of CPS Week)
Dauer11 - 13 April 2018
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtPalácio da Bolsa
StadtPorto
LandPortugal

Externe IDs

Scopus 85049456770
ORCID /0000-0002-5321-9343/work/142236716

Schlagworte

Schlagwörter

  • stochastic differential equations, Markov processes, probabilistic representations, concurrency, timed and hybrid models, modal and temporal logics, stochastic processes