Probabilistic Timed Systems with Non-Determinism – Mgr. Jan Křetínský, Ph.D.
Mgr. Jan Křetínský, Ph.D.
Advanced ('rigorózní') thesis
Probabilistic Timed Systems with Non-Determinism
Probabilistic Timed Systems with Non-Determinism
Abstract:
Pravděpodobnostní systémy reálného času se poslední dobou dostávají do centra pozornosti jak ve výzkumných tak i prakticky orientovaných komunitách. Vinou jejich rostoucí velikosti je nezbytné analýzu jejich korektnosti a výkonu automatizovat. Zamýšleným zaměřením budoucí disertační práce jsou proto formální metody pro modelování a analýzu těchto systémů, rovněž tak i jejich specifikace a výkonnostní …moreAbstract:
Real-time probabilistic systems have been gaining more and more attention and importance both in research and practice recently. Due to their increasing size their correctness and performance evaluation has to be automated. Therefore, the intended doctoral thesis is going to focus on formal methods for modelling and analysis of such systems and their specifications and measures. In particular, model …more
Language used: English
Date on which the thesis was submitted / produced: 23. 3. 2011
Identifier:
https://is.muni.cz/th/ux3js/
Thesis defence
- Date of defence: 24. 5. 2011
- Reader: prof. RNDr. Ivana Černá, CSc., Assist. Prof. Krishnendu Chatterjee, Ph.D.
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 InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Parallel and Distributed Systems