Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00065967" target="_blank" >RIV/00216224:14330/13:00065967 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1177/0278364912473168" target="_blank" >http://dx.doi.org/10.1177/0278364912473168</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1177/0278364912473168" target="_blank" >10.1177/0278364912473168</a>
Alternative languages
Result language
angličtina
Original language name
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of Robotics Research
ISSN
0278-3649
e-ISSN
—
Volume of the periodical
32
Issue of the periodical within the volume
5
Country of publishing house
US - UNITED STATES
Number of pages
19
Pages from-to
547-565
UT code for WoS article
000325691500003
EID of the result in the Scopus database
—