Svorenova, MariaCerna, IvanaBelta, Calin2018-07-122018-07-122013-01-01Maria Svorenova, Ivana Cerna, Calin Belta. 2013. "Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints." 2013 AMERICAN CONTROL CONFERENCE (ACC), pp. 4399 - 4404 (6).0743-1619https://hdl.handle.net/2144/29848In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrence and dynamics can be sensed locally at the states of the system, we derive a receding horizon strategy that minimizes the expected average cumulative penalty incurred between two consecutive satisfactions of a desired property. At the same time, we guarantee the satisfaction of correctness specifications expressed as Linear Temporal Logic formulas. We illustrate the approach with a persistent surveillance robotics application.4399 - 4404 (6)Science & technologyAutomation & control systemsEngineering, electrical & electronicLinear systemsOptimal controlTemporal logic constraintsFinite deterministic transition systemOccurence probabilityReceding horizon strategyArticle10.1109/ACC.2013.6580517