Parameter Synthesis in Continuous-Time Stochastic Systems – Mgr. Ľuboš Korenčiak
Mgr. Ľuboš Korenčiak
Doctoral thesis
Parameter Synthesis in Continuous-Time Stochastic Systems
Parameter Synthesis in Continuous-Time Stochastic Systems
Abstract:
Markovove reťazce spojitého času (eng. continuous-time Markov chains, CTMC) sú atraktívny formalizmus na špecifikáciu a verifikáciu stochastických systémov, kde sa diskrétne udalosti odohrávajú v spojitom čase. Trieda CTMC je vhodná na testovanie výkonnosti týchto systémov pretože má Markovovu vlastnosť. Tá zjednodušuje analýzu, ale limituje modelovaciu silu, pretože implikuje, že všetky udalosti majú …moreAbstract:
Continuous-time Markov chains (CTMCs) is an attractive formalism for specification of stochastic systems where discrete events occur in continuous time. The class of CTMCs is suitable for performance evaluation thanks to the Markov property, which simplifies the analysis but limits the modeling power as it requires exponential distribution for all events. Continuous-time Markov chains with alarms …more
Language used: English
Date on which the thesis was submitted / produced: 18. 12. 2017
Identifier:
https://is.muni.cz/th/zaes9/
Thesis defence
- Date of defence: 25. 4. 2018
- Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
- Reader: Prof. Enrico Vicario, Assoc. Prof. Nathalie Bertrand
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii
Tomáš Kvaka -
Markov Chain Monte Carlo metody posteriorní simulace a jejich aplikace v ekonomii
Tomáš Balún -
Stochastic models and statistical analysis of series of events
Marie Leváková