Approximate Reasoning for Stochastic Markovian Systems

Projektdetaljer

Beskrivelse

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.
StatusAfsluttet
Effektiv start/slut dato01/11/201531/10/2019

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
  • 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. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    43 Downloads (Pure)
  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    112 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, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    13 Citationer (Scopus)
    161 Downloads (Pure)