Formal Analysis of Stochastic Discrete Event Systems – Mgr. Jan Krčál, Ph.D.
Mgr. Jan Krčál, Ph.D.
Advanced ('rigorózní') thesis
Formal Analysis of Stochastic Discrete Event Systems
Formal Analysis of Stochastic Discrete Event Systems
Abstract:
Formální verifikace a hodnocení výkonnosti jsou dva vzájemně se doplňující části formální analýzy stochastických modelů. V práci se zaměřujeme na stochastické systémy řízené diskrétními událostmi, což jsou modely se spojitým časem, které jsou řízeny souběžně očekávanými událostmi. Tyto modely jsou používány jak pro analýzu počítačových systémů, tak také pro modelování průmyslových, finančních nebo …moreAbstract:
Formal verification and performance evaluation are two complementary parts of formal analysis of stochastic models. We focus on stochastic discrete event systems, continuous-time models that evolve in discrete steps determined by paralel events. These models are widely used for analyzing computer systems and also industrial, financial, or biological processes.We define three important models of this …more
Language used: English
Date on which the thesis was submitted / produced: 29. 3. 2011
Identifier:
https://is.muni.cz/th/x990g/
Thesis defence
- Date of defence: 24. 5. 2011
- Reader: doc. Mgr. Radek Pelánek, Ph.D., Prof. Dr. Christel Baier
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 / Informatics
Theses on a related topic
-
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak -
Some Specific Problems in the Applications of Discrete Event Systems
Zuzana Němcová -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
Jan Krčál -
Boolean Matrix Factorization and Biclustering in Framework of Formal Concept Analysis
Roman VYJÍDÁČEK -
Two basic problems of incremental construction in Formal Concept Analysis
Martin KAUER -
Formal Analysis of Component-Based Systems in View of Component Interactions
Barbora Zimmerová -
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová