Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Optimal Sensor Scheduling for Systems under Temporal Constraints

Bc. Eva Tesařová
Anotace

Autonomní řídící systémy využívají různé druhy senzorů, aby snížily nejistotu pod kterou pracují. K poskytnutí informací ze senzorů jsou třeba různé zdroje, například energie, čas a komunikace. V naší práci se zabýváme diskrétními přechodovými systémy s různými módy pozorování. Každý pozorovací mód poskytuje různou informaci o stavech systému a je s nimi spjata různá nezáporná cena. Uvažujeme několik …více

Abstract

Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and communication. We consider discrete systems with non-deterministic transitions and multiple observation modes. The observation modes provide different information about …více

Zadání práce
Modern control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and communication. The diploma thesis should consider discrete systems with non-deterministic transitions and multiple observation modes. The observation modes provide different information about the states of the system and are associated with non-negative costs. The aim of the diploma thesis is to consider various control problems for the above mentioned systems. First, the aim is to construct a control and observation mode switching strategy that guarantees satisfaction of a finite-time temporal property given as a formula of syntactically co-safe fragment of LTL (scLTL) and at the same time, minimizes the worst-case cost accumulated until the point of satisfaction. Second, the bounded version of the problem should be considered, where the temporal property must be satisfied within given finite time bound. The diploma thesis should demonstrate usability of proposed algorithms on a case study motivated by robotic applications.
Práce zkontrolována:
31. 5. 2016 06:45, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
681,1 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
1. 7. 2016
Práce byla úspěšně obhájena

Vedoucí

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

Oponent

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
ITI FI MU

Masarykova univerzita Fakulta informatiky
Studijní program
Informatika

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

Žádné práce na příbuzné téma.

  • 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.