Controller Synthesis for Resource-Aware Systems – RNDr. Petr Novotný
RNDr. Petr Novotný
Doctoral thesis
Controller Synthesis for Resource-Aware Systems
Controller Synthesis for Resource-Aware Systems
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 29. 1. 2015
Identifier:
https://is.muni.cz/th/m4fqz/
Thesis defence
- Date of defence: 7. 5. 2015
- Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
- Reader: doc. Mgr. Michal Koucký, Ph.D., Prof. Jean-Francois Raskin, Prof. Rajeev Alur
Citation record
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 InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji
Michal Ajdarów -
Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
Jiří Vahala -
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Pareto Front Estimation in Risk-Constrained Markov Decision Processes
Martin Kurečka -
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
Vít Unčovský -
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
Zuzana Komárková -
Monte Carlo Tree Search in Verification of Markov Decision Processes
Ondřej Slámečka -
Synthesis of Minimal Schedulers for Markov Decision Processes
Miroslav Klimoš