Disertační práce
Získaná ocenění: Ocenění děkana FI za vynikající disertační práci

Quantitative Formal Methods for High-level Robot Path Planning

RNDr. Jana Tůmová, učo 98614
Anotace

Práce se zaměřuje na vybraná teoretická i aplikovaná témata v oblasti verifikace a syntézy řídících strategií. Prvním přínosem práce je vývoj metod pro kvantitativní ověřování modelů systémů s degradující vlastností, jako například elektronická zařízení s degradujícím elektrickým nábojem nebo sítě, v nichž klesá síla nebo kvalita vysílaného signálu. Pro tyto systémy navrhujeme přechodové systémy s …více

Abstract

This thesis addresses selected theoretical and applied topics in quantitative model checking and control strategy synthesis. First, we develop a theoretical framework for quantitative model checking of systems with degradation, which are systems that naturally incorporate a decaying quality, such as electronic devices with degrading electric charge, broadcasting networks with decreasing power or quality …více

Klíčová slova
quantitative formal methods verification control strategy synthesis systems with degradation optimal path planning least-violating path planning
Administrativní informace
Práce zkontrolována:
29. 1. 2013 14:47, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
2,5 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
10. 5. 2013
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU

Oponenti

Prof. Ing. Dr. Radu Grosu
Vienna University of Technology
Dr. Tichakorn Wongpiromsarn
Ministry of Science and Technology - Thailand, Singapore-MIT Alliance for Research and Technology
Autor posudku dosud neidentifikován.
Autor posudku dosud neidentifikován.

Konzultant

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.