Browse wiki

From MurrayWiki
Jump to: navigation, search
Receding Horizon Temporal Logic Planning for Dynamical Systems
Abstract This paper bridges the advances in compute …
This paper bridges the advances in computer science and control to allow automatic synthesis of complex dynamical systems which are guaranteed, by construction, to satisfy the desired properties even in the presence of adversary. The desired properties are expressed in the language of temporal logic. With its expressive power, a wider class of properties than safety and stability can be specified. The resulting system consists of a discrete planner which plans, in the abstracted discrete domain, a set of transitions of the system to ensure the correct behaviors and a continuous controller which continuously implements the plan. For a system with certain structure, we present an approach, based on a receding horizon scheme, to overcome computational difficulties in the synthesis of a discrete planner and allow more complex problems to be solved.
allow more complex problems to be solved.  +
Authors Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray  +
ID 2009d  +
Source Conference on Decision and Control (CDC)  +
Tag wtm09-cdc  +
Title Receding Horizon Temporal Logic Planning for Dynamical Systems +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:39  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/wtm09-cdc.pdf  +
hide properties that link here 
Receding Horizon Temporal Logic Planning for Dynamical Systems + Title
 

 

Enter the name of the page to start browsing from.