Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

Rok publikování 2013
Druh Článek ve sborníku
Konference Proceedings of The 2013 American Control Conference
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6580517&refinements%3D4279887434%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6579790%29
Doi http://dx.doi.org/10.1109/ACC.2013.6580517
Obor Informatika
Klíčová slova optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance
Popis In 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.