Sciweavers

Share
HYBRID
2010
Springer

Receding horizon control for temporal logic specifications

9 years 7 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including safety, stability, progress, obligation, response and guarantee. The resulting embedded control software consists of a goal generator, a trajectory planner, and a continuous controller. The goal generator essentially reduces the trajectory generation problem to a sequence of smaller problems of short horizon while preserving the desired system-level temporal properties. Subsequently, in each iteration, the trajectory planner solves the corresponding short-horizon problem with the currently observed state as the initial state and generates a feasible trajectory to be implemented by the continuous controller. Based on the simulation property, we show that the composition of the goal generator, trajectory planner and continuous controller and the corresponding receding horizon scheme guarantee the correctness of th...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2010
Where HYBRID
Authors Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
Comments (0)
books