This HTML5 document contains 45 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/
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F05%3A00012780%21RIV08-MSM-14330___/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F05%3A00012780%21RIV08-MSM-14330___
rdf:type
skos:Concept n18:Vysledek
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. . V článku je studována problematika efektivní syntézy řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy a třídu vlastností definovatelných v logice PCTL rozšířené o limitní vlastnosti běhů. Je dokázáno, že problém existence takových řídících jednotek je rozhodnutelný a je podán algoritmus pro jejich konstrukci. Je také podrobněji rozebrána otázka stability řídících jednotek. 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
O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy 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 O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy
skos:notation
RIV/00216224:14330/05:00012780!RIV08-MSM-14330___
n4:strany
541-552
n4:aktivita
n15:P n15:Z
n4:aktivity
P(1M0545), P(GA201/03/1161), Z(MSM0021622419)
n4:cisloPeriodika
3821
n4:dodaniDat
n16:2008
n4:domaciTvurceVysledku
n5:9872655 n5:9797092
n4:druhVysledku
n14:J
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n8:predkladatel
n4:idSjednocenehoVysledku
534449
n4:idVysledku
RIV/00216224:14330/05:00012780
n4:jazykVysledku
n11:eng
n4:klicovaSlova
Controller Synthesis; Markov Decision Processes
n4:klicoveSlovo
n6:Markov%20Decision%20Processes n6:Controller%20Synthesis
n4:kodStatuVydavatele
US - Spojené státy americké
n4:kontrolniKodProRIV
[C3606E5FF3AB]
n4:nazevZdroje
Lecture Notes in Computer Science
n4:obor
n13:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:projekt
n12:1M0545 n12:GA201%2F03%2F1161
n4:rokUplatneniVysledku
n16:2005
n4:svazekPeriodika
2005
n4:tvurceVysledku
Kučera, Antonín Stražovský, Oldřich
n4:zamer
n9:MSM0021622419
s:issn
0302-9743
s:numberOfPages
12
n17:organizacniJednotka
14330