Approximate Reasoning for Stochastic Markovian Systems

Project Details

Description

This project proposes to investigate the logical foundations of the metric behavioural theory for stochastic (Markovian) systems. The intention is to reconsider this research from the perspective of the Stone duality that the applicants recently discovered for Markov processes (MPs). The duality reveals new insights regarding the relation between MPs and modal logics, and opens
promising perspectives for solving longstanding fundamental open problems in modelling and simulation of complex systems. The overall goal is the development of an approximation theory for stochastic systems and applying it to the analysis of cyber-physical systems. The proposed research is multidisciplinary, combining knowledge from logics, model theory, Markov
processes, stochastic modelling, topology and metric spaces. If realized, it will impact several fields in Computer Science, Mathematics and Engineering.
StatusFinished
Effective start/end date01/11/2015 → 31/10/2019

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 9 Article in proceeding
  • 2 Conference article in Journal
  • 1 Journal article

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    7 Citations (Scopus)
    64 Downloads (Pure)

  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sept 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    126 Downloads (Pure)

  • An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery (ACM), p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    18 Citations (Scopus)
    207 Downloads (Pure)
View all 12 research outputs