| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/13:00065967 |
| Název v původním jazyce | Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| 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 | Článek v impaktovaném časopise evidovaném ve Web of Science |
| Bodové ohodnocení | 106,392 |
| Faktor korekce | 86,1 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 91,626 |
| 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 % | 42,557 | 36,651 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Chen Yushan (státní příslušnost: CN - Čínská lidová republika) |
| Tvůrce | Tůmová Jana (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 4293738) |
| Tvůrce | Ulusoy Alphan (státní příslušnost: TR - Turecká republika) |
| Tvůrce | Belta Calin (státní příslušnost: US - Spojené státy americké) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We develop a technique to automatically generate a control policy for a robot moving in an environment that includes elements with unknown, randomly changing behavior. The robot is required to achieve a surveillance mission, in which a certain request needs to be serviced repeatedly, while the expected time inbetween consecutive services is minimized and additional temporal logic constraints are satisfied. We define a fragment of linear temporal logic to describe such a mission and formulate the problem as a temporal logic game. Our approach is based on two main ideas. First, we extend results in automata learning to detect patterns of the unknown behavior of the elements in the environment. Second, we employ an automata-theoretic method to generate the control policy. We show that the obtained control policy converges to an optimal one when the partially unknown behavior patterns are fully learned. |
| Klíčová slova | learning and adaptive systems; cognitive robotics; autonomous agents; AI reasoning methods |
| Kód UT ISI | 000325691500003 |
| Název periodka | International Journal of Robotics Research |
| Rozsah stran | 547-565 |
| ISSN | 0278-3649 |
| Svazek periodika | 32 |
| Číslo periodika v rámci uvedeného svazku | 5 |
| Stát vydavatele periodika | US - Spojené státy americké |
| Počet stran výsledku | 19 |
| DOI výsledku | 10.1177/0278364912473168 |
| Ú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 | 2014 |
| Systémové označení dodávky dat | RIV14-GA0-14330___/01:1 |
| Specifikace | RIV/00216224:14330/13:00065967!RIV14-GA0-14330___ |
| Kontrolní kód | [5EEAD8EF6FEA] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno MŠMT v roce 2014 | Záznam s identifikačním kódem RIV/00216224:14330/13:00065967 v dodávce dat RIV14-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 |