Difference between revisions of "EECI 2012: Receding Horizon Temporal Logic Planning"

From Murray Wiki
Jump to navigationJump to search
Line 1: Line 1:
{{eeci-sp12|prev=Computer Session:TuLiP|next=Extensions}}
+
{{eeci-sp12 header|prev=Computer Session:TuLiP|next=Extensions}}
  
 
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. In the second part, we present some of our recent results on the compositional synthesis of distributed, reactive control protocols.
 
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. In the second part, we present some of our recent results on the compositional synthesis of distributed, reactive control protocols.

Revision as of 13:16, 16 May 2012

Prev: Computer Session:TuLiP Course home Next: Extensions

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. In the second part, we present some of our recent results on the compositional synthesis of distributed, reactive control protocols.


Lecture Materials

Further Reading and Additional Information