EECI 2013: Receding Horizon Temporal Logic Planning

From Murray Wiki
Revision as of 09:23, 16 March 2013 by Utopcu (talk | contribs) (Created page with "{{eeci-sp13 header|prev=Computer Session: TuLiP|next=Computer Session}} The first part of this lecture introduces the receding horizon temporal logic planning. Introductory m...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
Prev: Computer Session: TuLiP Course home Next: Computer Session

The first part of this lecture introduces the receding horizon temporal logic planning. Introductory material on high computational complexity of reactive control protocol synthesis is followed by the statement and discussion of a main result and a small example. We discuss implementation details, further extensions, and a hierarchical control structure that utilizes the proposed receding horizon temporal logic planning procedure.

Lecture Materials

Further Reading and Additional Information

  • Receding horizon temporal logic planning,T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Control, 2012. Details on the receding horizon temporal logic planning.