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/ |
| Shrnutí: | 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í 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 |
|---|---|
| Popis jednotky: | Vedoucí práce: Antonín Kučera |
| Fyzický popis: | xiv, [204] stran |