Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1120956,
author = {Svoreňová, Mária and Černá, Ivana and Belta, Calin},
address = {Neuveden},
booktitle = {Proceedings of The 52nd IEEE Conference on Decision and Control},
doi = {http://dx.doi.org/10.1109/CDC.2013.6760491},
keywords = {automatic synthesis Markov decision processes LTL},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
isbn = {978-1-4673-5714-2},
pages = {3938-3943},
publisher = {Omnipress for the IEEE Control Systems Society},
title = {Optimal Control of MDPs with Temporal Logic Constraints},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6760491},
year = {2013}
}
TY - JOUR
ID - 1120956
AU - Svoreňová, Mária - Černá, Ivana - Belta, Calin
PY - 2013
TI - Optimal Control of MDPs with Temporal Logic Constraints
PB - Omnipress for the IEEE Control Systems Society
CY - Neuveden
SN - 9781467357142
KW - automatic synthesis Markov decision processes LTL
UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6760491
N2 - In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically generate a policy that guarantees the satisfaction of a correctness specification expressed as a formula of Linear Temporal Logic, while at the same time minimizing the expected average cost between two consecutive satisfactions of a desired property. The existing solutions to this problem are sub-optimal. By leveraging ideas from automata-based model checking and game theory, we provide an optimal solution. We demonstrate the approach on an illustrative example.
ER -
SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Control of MDPs with Temporal Logic Constraints. Online. In \textit{Proceedings of The 52nd IEEE Conference on Decision and Control}. Neuveden: Omnipress for the IEEE Control Systems Society, 2013, s.~3938-3943. ISBN~978-1-4673-5714-2. Dostupné z: https://dx.doi.org/10.1109/CDC.2013.6760491.
|
