Zpět na vyhledávání

Bc. Adrian Farmadin

Master's thesis

Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi

Transient analysis for CTMC with fixed-delay events in PRISM
Abstract:
Markovovy retazce sa dajú využiť ako štatistický model pre viaceré procesy zo skutočného sveta. Čas v procesu môže byť diskrétny (DTMC), spojitý (CTMC) alebo spojitý s fixnými udalosťami (FDCTMC). PRISM podporuje analýzu Markovovských reťazcov s diskrétnym aj spojitým časom. V téjto práci vysvetlím ako FDCTMC pracuje. Potom predstavím algoritmus pre počítanie transientnej pravdebodobnosti v danom kroku …more
Abstract:
Markov chains can be used as statistical models of many real-world processes. The time parameter of the process can be discrete (DTMC), continuous (CTMC) or continuous with fixed-delays (FDCTMC). PRISM supports analysis of discrete and continuous time Markov chains. In this thesis I will explain how FDCTMC works. Then I introduce an algorithm which can compute a transient probability in given step …more
 

Keywords

Markov chain CTMC fixed-delay FDCTMC PRISM Oris transient analysis regenerative analysis
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2015
Identifier: https://is.muni.cz/th/kgyh6/

Thesis defence

  • Date of defence: 26. 6. 2015
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: RNDr. Petr Novotný

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Information Technology Security

Theses on a related topic

List of theses with an identical keyword.