Controller Synthesis for Resource-Aware Systems /
V práci se zabýváme problémem automatické syntézy kontroleru pro reaktivní systémy, které ke své činnosti využívají jeden či více zdrojů, například palivo, finanční prostředky, čas, apod. Naším obecným cílem je nalézt efektivní algoritmy, jež pro zadaný model systému vypočítají popis nějakého jeho k...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2015
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/172743/fi_d/ |
| LEADER | 06287ctm a22010457i 4500 | ||
|---|---|---|---|
| 001 | MUB01006338604 | ||
| 003 | CZ BrMU | ||
| 005 | 20240515105548.0 | ||
| 008 | 150508s2015 xr ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2016-03-02 | ||
| 035 | |a (ISMU-VSKP)199203 | ||
| 040 | |a BOD114 |b cze |d BOD018 |e rda | ||
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.421 |2 MRF | ||
| 080 | |a 519.217 |2 MRF | ||
| 080 | |a 004.03 |2 MRF | ||
| 100 | 1 | |a Novotný, Petr, |d 1986- |7 mub2010572949 |% UČO 151169 |4 dis | |
| 242 | 1 | 0 | |a Controller Synthesis for Resource-Aware Systems |y eng |
| 245 | 1 | 0 | |a Controller Synthesis for Resource-Aware Systems / |c Petr Novotný |
| 264 | 0 | |c 2015 | |
| 300 | |a xiv, [204] 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, 2015 | ||
| 520 | 2 | |a V práci se zabýváme problémem automatické syntézy kontroleru pro reaktivní systémy, které ke své činnosti využívají jeden či více zdrojů, například palivo, finanční prostředky, čas, apod. Naším obecným cílem je nalézt efektivní algoritmy, jež pro zadaný model systému vypočítají popis nějakého jeho kontroleru využívajícího příslušné zdroje efektivním způsobem. Zaměřujeme se na teoretické jádro tohoto problému. To spočívá ve výpočtu optimálních strategií v jistých Markovových rozhodovacích procesech a tahových hrách dvou hráčů. Práce rozšiřuje dosavadní literaturu z této oblasti o studium tří nových typů modelů, z nichž každý je vhodný pro analýzu jiného typu reálných systémů. Nejprve se zabýváme studiem Markovových rozhodovacích procesů s jedním neomezeným čítačem. Ty mohou sloužit jako modely systémů, které zpracovávají příchozí požadavky průběžně ukládané v nějaké frontě. Naším cílem je vypočítat pro takový systém kontroler, který co nejrychleji zpracuje příchozí požadavky aXvyprázdní |% cze | |
| 520 | 2 | 9 | |a In this thesis we study the problem of automated controller synthesis for resource-dependent reactive systems, i.e. systems that need one or more resources (such as fuel, money, time, etc.) to operate correctly. Our general goal is to devise algorithms that compute, for a given model of a resource-dependent system, a description of a controller which handles the system's resources in an efficient way. We tackle the theoretical core of this problem, which consists of computing optimal strategies in certain classes of Markov decision processes and 2-player turn-based graph games. We enrich the known results from the literature with our study of three types of models, each of which is apt for modelling of different real-world resource-dependent systems. First we study expected termination time in \emph{one-counter Markov decision processes} (OC-MDPs). The formalism of OC-MDPs is particularly suitable for the modelling of queueing systems, i.e. systems that process incoming tasks stored in |9 eng |
| 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 počítačové systémy |7 ph115866 |2 czenas |
| 650 | 0 | 9 | |a computer algorithms |2 eczenas |
| 650 | 0 | 9 | |a computer systems |2 eczenas |
| 650 | 0 | 9 | |a Markov Processes |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/172743/fi_d/ |
| CAT | |c 20150508 |l MUB01 |h 0420 | ||
| CAT | |a HANAV |b 02 |c 20150514 |l MUB01 |h 1506 | ||
| CAT | |c 20150514 |l MUB01 |h 1552 | ||
| CAT | |c 20150514 |l MUB01 |h 1555 | ||
| CAT | |a BATCH |b 00 |c 20150519 |l MUB01 |h 0959 | ||
| CAT | |a POSPEL |b 02 |c 20150625 |l MUB01 |h 0751 | ||
| CAT | |c 20150901 |l MUB01 |h 1453 | ||
| CAT | |a VESELA |b 02 |c 20150916 |l MUB01 |h 1100 | ||
| CAT | |c 20150921 |l MUB01 |h 1414 | ||
| CAT | |a VACOVAX |b 02 |c 20151012 |l MUB01 |h 1025 | ||
| CAT | |a POSPEL |b 02 |c 20151029 |l MUB01 |h 0733 | ||
| CAT | |a BATCH |b 00 |c 20151226 |l MUB01 |h 0542 | ||
| CAT | |c 20160302 |l MUB01 |h 1333 | ||
| CAT | |a POSPEL |b 02 |c 20160914 |l MUB01 |h 1427 | ||
| CAT | |a POSPEL |b 02 |c 20160920 |l MUB01 |h 0817 | ||
| CAT | |a POSPEL |b 02 |c 20160927 |l MUB01 |h 0741 | ||
| CAT | |a POSPEL |b 02 |c 20170228 |l MUB01 |h 1036 | ||
| CAT | |a POSPEL |b 02 |c 20170302 |l MUB01 |h 0827 | ||
| CAT | |a POSPEL |b 02 |c 20180314 |l MUB01 |h 0814 | ||
| CAT | |a POSPEL |b 02 |c 20180503 |l MUB01 |h 0729 | ||
| CAT | |a HANAV |b 02 |c 20180503 |l MUB01 |h 1853 | ||
| CAT | |a POSPEL |b 02 |c 20180710 |l MUB01 |h 0635 | ||
| CAT | |a POSPEL |b 02 |c 20190213 |l MUB01 |h 0800 | ||
| 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 1014 | ||
| CAT | |c 20210614 |l MUB01 |h 2001 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1237 | ||
| CAT | |a POSPEL |b 02 |c 20210912 |l MUB01 |h 2336 | ||
| CAT | |a POSPEL |b 02 |c 20211010 |l MUB01 |h 2218 | ||
| CAT | |a REPISOVA |b 02 |c 20211111 |l MUB01 |h 1525 | ||
| 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 20231003 |l MUB01 |h 1507 | ||
| CAT | |a POSPEL |b 02 |c 20231003 |l MUB01 |h 1511 | ||
| CAT | |a POSPEL |b 02 |c 20240405 |l MUB01 |h 2123 | ||
| CAT | |a VESELAX |b 02 |c 20240515 |l MUB01 |h 1055 | ||
| CAT | |a VESELAX |b 02 |c 20240515 |l MUB01 |h 1055 | ||
| 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 2016-03-02 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 FI |a Fakulta informatiky |2 SKLAD |b sklad |3 Diz. práce 2015 |5 42005D2656 |8 20150916 |f 72 |f Týdenní |r 20150916 |
| AVA | |a INF50 |b FI |c sklad |d Diz. práce 2015 |e available |t K dispozici |f 1 |g 0 |h N |i 1 |j SKLAD | ||