Parameter Synthesis in Continuous-Time Stochastic Systems /

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 vlast...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Korenčiak, Ľuboš (Autor práce)
Další autoři: Kučera, Antonín, 1971- (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: 2018
Témata:
počítačové modelování
algoritmy (programování)
Markovovy procesy
stochastické procesy
Petriho sítě
computer modelling
computer algorithms
Markov Processes
stochastic processes
Petri nets
disertace
dissertations
On-line přístup:http://is.muni.cz/th/zaes9/
Obálka
LEADER 05820ctm a22009137i 4500
001 MUB01006416155
003 CZ BrMU
005 20240520132145.0
008 180426s2018 xr ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2018-05-14 
035 |a (ISMU-VSKP)220692 
040 |a BOD114  |b cze  |d BOD018  |e rda 
072 7 |a 004.9  |x Speciální počítačové metody. Počítačová grafika  |2 Konspekt  |9 23 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 519.217  |2 MRF 
080 |a 004.94  |2 MRF 
080 |a 004.421  |2 MRF 
080 |a 519.179.2  |2 MRF 
080 |a 519.216  |2 MRF 
100 1 |a Korenčiak, Ľuboš  |% UČO 208317  |* [absolvent FI MU]  |4 dis 
242 1 0 |a Parameter Synthesis in Continuous-Time Stochastic Systems  |y eng 
245 1 0 |a Parameter Synthesis in Continuous-Time Stochastic Systems /  |c Ľuboš Korenčiak 
264 0 |c 2018 
300 |a ix, 143 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
500 |a Vedoucí práce: Antonín Kučera 
502 |a Dizertace (Ph.D.)--Masarykova univerzita, Fakulta informatiky, 2018 
520 2 |a 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ú exponenciálne rozdelenie. Markovove reťazce spojitého času s budíkmi (eng. continuous-time Markov chains with alarms, ACTMC) umožňujú naviac modelovať budíkové udalosti. Tie môžu mať ľubovoľné rozdelenie času zvonenia za podmienky, že v každom momente je aktívny maximálne jeden budík. Uvažujeme parametrické ACTMC, kde (spojité) parametre budíkových rozdelení nie sú fixne dané a môžu byť syntetizované. Toto je veľmi užitočné napríklad na automatickú syntézu časových limitov v sieťových protokoloch. Predstavujeme dve množiny algoritmov na riešenie epsilon-optimálnej syntézy parametrov v pa  |% cze 
520 2 9 |a 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 (ACTMCs) additionally allow for alarm events that have generally distributed delays, given that at most one alarm is active at any time. We consider parametric ACTMCs where the (continuous) parameters of alarm-delay distributions are not given explicitly and can be subjects of parameter synthesis. This is very useful in practice, e.g., to automatically synthesize timeouts in network protocols. We present two sets of algorithms solving the epsilon-optimal parameter synthesis problem for parametric ACTMCs with total accumulated reward or long-run average optimization objectives. All algorithms  |9 eng 
650 0 7 |a počítačové modelování  |7 ph124513  |2 czenas 
650 0 7 |a algoritmy (programování)  |7 ph131788  |2 czenas 
650 0 7 |a Markovovy procesy  |7 ph117828  |2 czenas 
650 0 7 |a stochastické procesy  |7 ph116285  |2 czenas 
650 0 7 |a Petriho sítě  |7 ph117101  |2 czenas 
650 0 9 |a computer modelling  |2 eczenas 
650 0 9 |a computer algorithms  |2 eczenas 
650 0 9 |a Markov Processes  |2 eczenas 
650 0 9 |a stochastic processes  |2 eczenas 
650 0 9 |a Petri nets  |2 eczenas 
655 7 |a disertace  |7 fd132024  |2 czenas 
655 9 |a dissertations  |2 eczenas 
658 |a Informatika (čtyřleté)  |b Informatika  |c FI D-IN4 IN (IN)  |2 CZ-BrMU 
700 1 |a Kučera, Antonín,  |d 1971-  |7 mub2012683133  |% UČO 2508  |4 ths 
710 2 |a Masarykova univerzita.  |b Katedra teorie programování  |4 dgg 
856 4 1 |u http://is.muni.cz/th/zaes9/ 
CAT |c 20180426  |l MUB01  |h 0420 
CAT |a VESELA  |b 02  |c 20180427  |l MUB01  |h 0934 
CAT |a POSPEL  |b 02  |c 20180503  |l MUB01  |h 0728 
CAT |a POSPEL  |b 02  |c 20180503  |l MUB01  |h 0729 
CAT |a HANAV  |b 02  |c 20180503  |l MUB01  |h 1852 
CAT |c 20180514  |l MUB01  |h 1108 
CAT |a POSPEL  |b 02  |c 20180710  |l MUB01  |h 0635 
CAT |a POSPEL  |b 02  |c 20190213  |l MUB01  |h 0801 
CAT |a POSPEL  |b 02  |c 20190924  |l MUB01  |h 0745 
CAT |a POSPEL  |b 02  |c 20200510  |l MUB01  |h 2306 
CAT |a POSPEL  |b 02  |c 20201212  |l MUB01  |h 2150 
CAT |a POSPEL  |b 02  |c 20210122  |l MUB01  |h 0054 
CAT |a POSPEL  |b 02  |c 20210322  |l MUB01  |h 1142 
CAT |a POSPEL  |b 02  |c 20210327  |l MUB01  |h 0026 
CAT |c 20210614  |l MUB01  |h 1028 
CAT |c 20210614  |l MUB01  |h 2014 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1301 
CAT |a POSPEL  |b 02  |c 20210912  |l MUB01  |h 2336 
CAT |a POSPEL  |b 02  |c 20211010  |l MUB01  |h 2218 
CAT |a POSPEL  |b 02  |c 20220629  |l MUB01  |h 0104 
CAT |a POSPEL  |b 02  |c 20221019  |l MUB01  |h 2326 
CAT |a POSPEL  |b 02  |c 20221101  |l MUB01  |h 0840 
CAT |a POSPEL  |b 02  |c 20230629  |l MUB01  |h 0037 
CAT |a POSPEL  |b 02  |c 20240405  |l MUB01  |h 2124 
CAT |a VESELAX  |b 02  |c 20240520  |l MUB01  |h 1321 
CAT |a VESELAX  |b 02  |c 20240520  |l MUB01  |h 1321 
CAT |a POSPEL  |b 02  |c 20250808  |l MUB01  |h 1401 
CAT |a POSPEL  |b 02  |c 20251007  |l MUB01  |h 2008 
LOW |a POSLANO DO SKCR  |b 2018-05-14 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 Diz. práce 2017  |5 42005D2689  |8 20180427  |f 72  |f Týdenní  |r 20180427 
AVA |a INF50  |b FI  |c sklad  |d Diz. práce 2017  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky