RNDr. Petr Novotný

Disertační práce

Controller Synthesis for Resource-Aware Systems

Controller Synthesis for Resource-Aware Systems
Anotace:
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 …více
Abstract:
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 …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 29. 1. 2015

Obhajoba závěrečné práce

  • Obhajoba proběhla 7. 5. 2015
  • Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
  • Oponent: doc. Mgr. Michal Koucký, Ph.D., Prof. Jean-Francois Raskin, Prof. Rajeev Alur

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky