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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F08%3A00025760%21RIV10-MSM-14330___
rdf:type
n13:Vysledek skos:Concept
dcterms:description
We study the problem of effective controller synthesis for finite-state Markov decision processes (MDPs) and the class of properties definable in the logic PCTL extended with long-run average propositions. We show that the existence of such a controller is decidable, and we give an algorithm which computes the controller if it exists. We also address the issue of ``controller robustness'', i.e., the problem whether there is a controller which still guarantees the satisfaction of a given property when the probabilities in the considered MDP slightly deviate from their original values. From a practical point of view, this is an important aspect since the probabilities are often determined empirically and hence they are inherently imprecise. We show that the existence of robust controllers is also decidable, and that such controllers are effectively computable if they exist. We study the problem of effective controller synthesis for finite-state Markov decision processes (MDPs) and the class of properties definable in the logic PCTL extended with long-run average propositions. We show that the existence of such a controller is decidable, and we give an algorithm which computes the controller if it exists. We also address the issue of ``controller robustness'', i.e., the problem whether there is a controller which still guarantees the satisfaction of a given property when the probabilities in the considered MDP slightly deviate from their original values. From a practical point of view, this is an important aspect since the probabilities are often determined empirically and hence they are inherently imprecise. We show that the existence of robust controllers is also decidable, and that such controllers are effectively computable if they exist.
dcterms:title
On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes
skos:prefLabel
On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes
skos:notation
RIV/00216224:14330/08:00025760!RIV10-MSM-14330___
n3:aktivita
n11:P n11:Z
n3:aktivity
P(1M0545), Z(MSM0021622419)
n3:cisloPeriodika
1-2
n3:dodaniDat
n8:2010
n3:domaciTvurceVysledku
n9:9872655 n9:9797092
n3:druhVysledku
n15:J
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
384713
n3:idVysledku
RIV/00216224:14330/08:00025760
n3:jazykVysledku
n4:eng
n3:klicovaSlova
Markov decision process; temporal logic
n3:klicoveSlovo
n14:temporal%20logic n14:Markov%20decision%20process
n3:kodStatuVydavatele
NL - Nizozemsko
n3:kontrolniKodProRIV
[4FFCBF2FD309]
n3:nazevZdroje
Fundamenta Informaticae
n3:obor
n19:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n7:1M0545
n3:rokUplatneniVysledku
n8:2008
n3:svazekPeriodika
82
n3:tvurceVysledku
Stražovský, Oldřich Kučera, Antonín
n3:wos
000252980000010
n3:zamer
n16:MSM0021622419
s:issn
0169-2968
s:numberOfPages
13
n17:organizacniJednotka
14330