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

Control Strategy Synthesis for Path Planning under Temporal Constraints

RNDr. Mária Svoreňová
Anotace

Moderní inženýrské systémy jako samořídící auta, bezpilotní letadla, vestavěná zdravotnická zařízení a kooperativní systémy mezi člověkem a robotem se vyvíjí velice rychle podle potřeb průmyslu ale také díky různým akademickým i veřejným soutěžím. Pro mnohé z těchto systémů je bezpečnost kritickou podmínkou pro jejich nasazení v praxi. Proto úměrně rychlému rozvoji narůstá i potřeba formálních přístupů …více

Abstract

Modern engineering systems such as autonomous ground and aerial vehicles, embedded medical devices and human-robot collaborative teams evolve quickly due to industrial needs as well as academic and public competitions. As these systems are typically safety-critical, there is an equally growing need for formal approaches to their specification, design and verification. Motivated by mobile robotics …více

Klíčová slova
control strategy synthesis linear temporal logic transition system Markov decision process two and half player game linear stochastic system optimal control receding horizon control abstraction refinement
Administrativní informace
Práce zkontrolována:
22. 6. 2015 16:36, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
3,2 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
26. 10. 2015
Práce byla úspěšně obhájena

Vedoucí

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

Oponenti

Asst.-Prof. Dr. Ezio Bartocci
Faculty of Informatics, Vienna University of Technology
Assoc. Prof. Alessandro Abate
Dep. of Computer and Information Science, University of Oxford
Autor posudku dosud neidentifikován.
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.