About: On the Controller Synthesis for Finite-State Markov Decision Processes

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: On the Controller Synthesis for Finite-State Markov Decision Processes Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. . (en)
Title	On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes (en)
skos:prefLabel	On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes (en)
skos:notation	RIV/00216224:14330/05:00012780!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1M0545), P(GA201/03/1161), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Kučera, Antonín Stražovský, Oldřich
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	534448
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/05:00012780
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Controller Synthesis; Markov Decision Processes (en)
http://linked.open.../riv/klicoveSlovo	Controller Synthesis Markov Decision Processes
http://linked.open...ontrolniKodProRIV	[12F55C00B3DF]
http://linked.open...v/mistoKonaniAkce	Hyderabad, India
http://linked.open...i/riv/mistoVydani	Berlin Heidelberg New York
http://linked.open...i/riv/nazevZdroje	25th International Conference on Foundations of Software Technology and Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Verification of infinite-state systems
http://linked.open...UplatneniVysledku	2005
http://linked.open...iv/tvurceVysledku	Kučera, Antonín Stražovský, Oldřich
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000234885800044
http://linked.open.../riv/zahajeniAkce	2005-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
number of pages	12 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	3-540-30495-9
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	On the Controller Synthesis for Finite-State Markov Decision Processes

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software