This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00065967%21RIV14-MSM-14330___/
dctermshttp://purl.org/dc/terms/
n8http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n15http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00065967%21RIV14-MSM-14330___
rdf:type
n6:Vysledek skos:Concept
dcterms: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 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. 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.
dcterms:title
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
skos:prefLabel
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
skos:notation
RIV/00216224:14330/13:00065967!RIV14-MSM-14330___
n6:predkladatel
n11:orjk%3A14330
n3:aktivita
n13:S n13:P
n3:aktivity
P(GD102/09/H042), P(LH11065), S
n3:cisloPeriodika
5
n3:dodaniDat
n20:2014
n3:domaciTvurceVysledku
n4:4293738
n3:druhVysledku
n19:J
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
110296
n3:idVysledku
RIV/00216224:14330/13:00065967
n3:jazykVysledku
n17:eng
n3:klicovaSlova
learning and adaptive systems; cognitive robotics; autonomous agents; AI reasoning methods
n3:klicoveSlovo
n9:autonomous%20agents n9:cognitive%20robotics n9:AI%20reasoning%20methods n9:learning%20and%20adaptive%20systems
n3:kodStatuVydavatele
US - Spojené státy americké
n3:kontrolniKodProRIV
[B525B681A225]
n3:nazevZdroje
International Journal of Robotics Research
n3:obor
n18:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
4
n3:projekt
n16:LH11065 n16:GD102%2F09%2FH042
n3:rokUplatneniVysledku
n20:2013
n3:svazekPeriodika
32
n3:tvurceVysledku
Belta, Calin Ulusoy, Alphan Chen, Yushan Tůmová, Jana
n3:wos
000325691500003
s:issn
0278-3649
s:numberOfPages
19
n15:doi
10.1177/0278364912473168
n8:organizacniJednotka
14330