| SVOREŇOVÁ, Mária, Ivana ČERNÁ and Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control. IEEE Control Systems Society, 2015, vol. 60, No 6, p. 1528-1541. ISSN 0018-9286. Available from: https://dx.doi.org/10.1109/TAC.2014.2381451. |
Other formats:
BibTeX
LaTeX
RIS
@article{1206047,
author = {Svoreňová, Mária and Černá, Ivana and Belta, Calin},
article_number = {6},
doi = {http://dx.doi.org/10.1109/TAC.2014.2381451},
keywords = {optimal control; linear temporal logic (LTL)},
language = {eng},
issn = {0018-9286},
journal = {IEEE Transactions on Automatic Control},
title = {Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties},
volume = {60},
year = {2015}
}
TY - JOUR
ID - 1206047
AU - Svoreňová, Mária - Černá, Ivana - Belta, Calin
PY - 2015
TI - Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
JF - IEEE Transactions on Automatic Control
VL - 60
IS - 6
SP - 1528-1541
EP - 1528-1541
PB - IEEE Control Systems Society
SN - 00189286
KW - optimal control
KW - linear temporal logic (LTL)
N2 - We consider an optimal control problem for a weighted deterministic transition system required to satisfy a constraint expressed as a Linear Temporal Logic (LTL) formula over its labels. By assuming that the executions of the system incur time-varying penalties modeled as Markov chains, our goal is to minimize the expected average cumulative penalty incurred between consecutive satisfactions of a desired property. Using concepts from theoretical computer science, we provide two solutions to this problem. First, we derive a provably correct optimal strategy within the class of strategies that do not exploit values of penalties sensed in real time. Second, we show that by taking advantage of locally sensing the penalties, we can construct heuristic strategies leading to lower collected penalty. While still ensuring satisfaction of the LTL constraint, we cannot guarantee optimality in the latter case. We provide a user-friendly implementation of the proposed algorithms and analysis of two case studies.
ER -
SVOREŇOVÁ, Mária, Ivana ČERNÁ and Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. \textit{IEEE Transactions on Automatic Control}. IEEE Control Systems Society, 2015, vol.~60, No~6, p.~1528-1541. ISSN~0018-9286. Available from: https://dx.doi.org/10.1109/TAC.2014.2381451.
|
