| Identifikační kód | RIV/00216224:14330/13:00065967 |
|---|
| Název v anglické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 - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| 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 | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Yushan Chen (státní příslušnost: CN - Čínská lidová republika)
Jana Tůmová (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4293738)
Alphan Ulusoy (státní příslušnost: TR - Turecká republika)
Calin Belta (státní příslušnost: US - Spojené státy americké) |
|---|
| Popis výsledku v anglické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 problemas 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 oddělená středníkem | learning and adaptive systems; cognitive robotics; autonomous agents; AI reasoning methods |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1177/0278364912473168 |
|---|