| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/11:00050152 |
| Název v původním jazyce | Optimal path planning for surveillance with temporal logic constraints |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | Jimp - Článek v impaktovaném časopise evidovaném ve Web of Science |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 305,000 |
| Faktor korekce | 100,9 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 307,832 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 40,0 % | 122,000 | 123,133 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Smith Stephen L. (státní příslušnost: CA - Kanada) |
| Tvůrce | Tůmová Jana (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 4293738) |
| Tvůrce | Belta Calin (státní příslušnost: US - Spojené státy americké) |
| Tvůrce | Rus Daniela (státní příslušnost: US - Spojené státy americké) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | In this paper we present a method for automatically generating optimal robot paths satisfying high-level mission specifications. The motion of the robot in the environment is modeled as a weighted transition system. The mission is specified by an arbitrary linear temporal-logic (LTL) formula over propositions satisfied at the regions of a partitioned environment. The mission specification contains an optimizing proposition, which must be repeatedly satisfied. The cost function that we seek to minimize is the maximum time between satisfying instances of the optimizing proposition. For every environment model, and for every formula, our method computes a robot path that minimizes the cost function. The problem is motivated by applications in robotic monitoring and data-gathering. In this setting, the optimizing proposition is satisfied at all locations where data can be uploaded, and the LTL formula specifies a complex data-collection mission. |
| Klíčová slova | motion planning; optimal path planning; temporal logic |
| Název periodka | The International Journal of Robotics Research |
| Rozsah stran | 1695-1708 |
| ISSN | 0278-3649 |
| Svazek periodika | vol. 30 |
| Číslo periodika v rámci uvedeného svazku | no. 14 |
| Stát vydavatele periodika | CZ - Česká republika |
| Počet stran výsledku | 14 |
| DOI výsledku | 10.1177/0278364911417911 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2012 |
| Systémové označení dodávky dat | RIV12-GA0-14330___/02:1 |
| Specifikace | RIV/00216224:14330/11:00050152!RIV12-GA0-14330___ |
| Kontrolní kód | [A85A88CFAA43] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno MŠMT v roce 2012 | Záznam s identifikačním kódem RIV/00216224:14330/11:00050152 v dodávce dat RIV12-MSM-14330___/01:1 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009-2012, GA0/GD) |
| Projekt | LH11065 - Řízení a ověřování vlastností komplexních hybridních systémů (2011-2014, MSM/LH) |
| S - Specifický výzkum na vysokých školách |