Browse wiki

From MurrayWiki
Jump to: navigation, search
Receding Horizon Control for Temporal Logic Specifications
Abstract In this paper, we describe a receding hori …
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 tra jectory planner, and a continuous controller. The goal generator essentially reduces the tra jectory generation problem to a sequence of smaller problems of short horizon while preserving the desired system-level temporal properties. Subsequently, in each iteration, the tra jectory planner solves the corresponding short-horizon problem with the currently observed state as the initial state and generates a feasible tra jectory to be implemented by the continuous controller. Based on the simulation property, we show that the composition of the goal generator, tra jectory planner and continuous controller and the corresponding receding horizon scheme guarantee the correctness of the system. To handle failures that may occur due to a mismatch between the actual system and its model, we propose a response mechanism and illustrate, through an example, how the system is capable of responding to certain failures and continues to exhibit a correct behavior.
d continues to exhibit a correct behavior.  +
Authors Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray  +
ID 2009p  +
Source International Conference on Hybrid Systems: Computation and Control (HSCC)  +
Tag wtm10-hscc  +
Title Receding Horizon Control for Temporal Logic Specifications +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:27  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/wtm10-hscc.pdf  +
hide properties that link here 
Receding Horizon Control for Temporal Logic Specifications + Title
 

 

Enter the name of the page to start browsing from.