Master's thesis
Awards: Dean's Award for an Outstanding Final Thesis

Optimal Sensor Scheduling for Systems under Temporal Constraints

Bc. Eva Tesařová
Abstract

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 …more

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 …more

Thesis description
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.
The thesis has been checked:
31/5/2016 06:45, prof. RNDr. Ivana Černá, CSc., UČO 1419
Full text of thesis
681,1 KB / file PDF
Language used
English English
Defence date
1/7/2016
The thesis was defended successfully

Supervisor

prof. RNDr. Ivana Černá, CSc., UČO 1419
KTP FI MU

Reader

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, UČO 4074
ITI FI MU

Masaryk University Faculty of Informatics
Programme
Informatics

Theses on a related topic

No theses on a related topic available.

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