Temporal Logic Motion Planning using POMDPs with Parity Objectives (2015)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/15:00080611 |
|---|---|
| Název v anglickém jazyce | Temporal Logic Motion Planning using POMDPs with Parity Objectives |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2015 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 7 |
| Počet domácích tvůrců | 2 |
| Výčet všech uvedených jednotlivých tvůrců | Mária Svoreňová (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 3734994) Martin Chmelík (státní příslušnost: CZ - Česká republika, vedidk: 7692005) Kevin Leahy (státní příslušnost: US - Spojené státy americké) Hasan Ferit Eniser (státní příslušnost: AT - Rakouská republika) Krishnendu Chatterjee (státní příslušnost: AT - Rakouská republika) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Calin Belta (státní příslušnost: US - Spojené státy americké) |
| Popis výsledku v anglickém jazyce | We consider a case study of the problem of deploying an autonomous air vehicle in a partially observable, dynamic, indoor environment from a specification given as a linear temporal logic (LTL) formula over regions of interest. We model the motion and sensing capabilities of the vehicle as a partially observable Markov decision process (POMDP). We adapt recent results for solving POMDPs with parity objectives to generate a control policy. We also extend the existing framework with a policy minimizationtechnique to obtain a better implementable policy, while preserving its correctness. The proposed techniques are illustrated in an experimental setup involving an autonomous quadrotor performing surveillance in a dynamic environment. |
| Klíčová slova oddělená středníkem | control; linear temporal logic (LTL); partially observable |
| Stránka www, na které se nachází výsledek | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of ACM international conference on Hybrid Systems: Computation and Control |
|---|---|
| ISBN | 9781450334334 |
| ISSN | - |
| Počet stran výsledku | 6 |
| Strana od-do | 233-238 |
| Název nakladatele | Association for Computing Machinery (ACM) |
| Místo vydání | Seattle, Washington, USA |
| Místo konání akce | Seattle, Washington, USA |
| Datum konání akce | 2015 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2016 |
| Specifikace | RIV/00216224:14330/15:00080611!RIV16-MSM-14330___ |
| Datum poslední aktualizace výsledku | 24.05.2016 |
| Kontrolní číslo | 191635686 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2016 | RIV/00216224:14330/15:00080611 v dodávce dat RIV16-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GA | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |
|---|---|
| Projekt podporovaný MŠMT v programu LH | LH11065 - Řízení a ověřování vlastností komplexních hybridních systémů (2011 - 2014) |