### Information-guided persistent monitoring under temporal logic constraints

@inproceedings{jones_information-guided_2015,
title = {Information-guided persistent monitoring under temporal logic constraints},
isbn = {978-1-4799-8684-2},
url = {http://ieeexplore.ieee.org/document/7171012/},
abstract = {We study the problem of planning the motion of an agent such that it maintains indeﬁnitely a highquality estimate of some a priori unknown feature, such as trafﬁc levels in an urban environment. Persistent operation requires that the agent satisfy motion constraints, such as visiting charging stations inﬁnitely often, which are readily described by rich linear temporal logic (LTL) speciﬁcations. We propose and evaluate via simulation a two-level dynamic programming algorithm that is guaranteed to satisfy given LTL constraints. The low-level path planner implements a receding horizon algorithm that maximizes the local information gathering rate. The high-level planner selects inputs to the low-level planner based on global performance considerations.},
language = {en},
urldate = {2020-09-15},
booktitle = {2015 {American} {Control} {Conference} ({ACC})},
publisher = {IEEE},
author = {Jones, Austin and Schwager, Mac and Belta, Calin},
month = jul,
year = {2015},
keywords = {signal\_temporal\_logic},
pages = {1911--1916},
month_numeric = {7}
}