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

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

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

Original languageEnglish
Title of host publicationHSCC '18
PublisherAssociation for Computing Machinery (ACM), New York
Pages31-40
Number of pages10
ISBN (Print)978-1-4503-5642-8
Publication statusPublished - 2018
Peer-reviewedYes

Conference

Title21st International Conference on Hybrid Systems: Computation and Control
Subtitle(part of CPS Week)
Abbreviated titleHSCC 2018
Conference number
Duration11 - 13 April 2018
Website
Degree of recognitionInternational event
Location
CityPorto
CountryItaly

External IDs

Scopus 85049456770

Keywords

Research priority areas of TU Dresden

    DFG Classification of Subject Areas according to Review Boards

      Subject groups, research areas, subject areas according to Destatis

        Keywords

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