Other formats:
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Á and 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, p.~3938-3943. ISBN~978-1-4673-5714-2. Available from: https://dx.doi.org/10.1109/CDC.2013.6760491.
|