Rigorózní práce

Formal Methods in Optimal Discrete Path Planning with Uncertainty

Mgr. Mária Svoreňová
Anotace

Formální metody, jako například ověřování modelů nebo hry na grafech, představují silný matematický nástroj při navrhování či řízení systémů. V posledních letech byly také úspěšně používány v oblasti robotiky, například k řešení problémů diskrétního plánování. Úlohou v takovém problému je najít optimální cestu v diskrétním modelu daného robotického systému vzhledem k daným požadavkům. Protože robotické …více

Abstract

Formal methods such as model checking and games on graphs provide a powerful mathematical tool in design and control of computer systems. In the last few years, they have been successfully employed in the area of robotics, for example to solve discrete path planning problems. In such a problem, the aim is to synthesize an optimal path in a discrete model of the robotic system subject to a given specification …více

Klíčová slova
diskrétní plánování optimální řízení systémy s nejistotou částečné pozorování pozorování konečného horizontu ověřování modelů hry na grafech discrete path planning optimal control systems with uncertainty partial observation finite-horizon observation model checking infinite games on finite graphs
Administrativní informace
Práce zkontrolována:
16. 5. 2013 16:30, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
1,2 MB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
21. 5. 2013
Práce byla úspěšně obhájena

Oponenti

RNDr. Nikola Beneš, Ph.D., učo 72525
KTP FI MU
Assist. Prof. Sertac Karaman
Massachusetts Institute of Technology
Autor posudku dosud neidentifikován.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
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.