EECI 2013: Receding Horizon Temporal Logic Planning - Revision history

Utopcu at 09:24, 16 March 2013

2013-03-16T09:24:16Z

← Older revision		Revision as of 09:24, 16 March 2013
Line 1:		Line 1:
	{{eeci-sp13 header\|prev=~~Computer Session: TuLiP~~\|next=Computer Session: TuliP}}		{{eeci-sp13 header\|prev=Synthesis of Reactive Control Protocols\|next=Computer Session: TuliP}}

	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.		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.

Utopcu at 09:23, 16 March 2013

2013-03-16T09:23:38Z

← Older revision		Revision as of 09:23, 16 March 2013
Line 1:		Line 1:
	{{eeci-sp13 header\|prev=Computer Session: TuLiP\|next=Computer Session}}		{{eeci-sp13 header\|prev=Computer Session: TuLiP\|next=Computer Session: TuliP}}

	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.		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.

Utopcu: 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..."

2013-03-16T09:23:16Z

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..."

New page

{{eeci-sp13 header|prev=Computer Session: TuLiP|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 ==
* Lecture slides: [http://www.cds.caltech.edu/~utopcu/eeci13/L8_RHTLP-2013.pdf Receding Horizon Temporal Logic Planning and Compositional Synthesis]

== Further Reading and Additional Information ==
* <p>[http://www.cds.caltech.edu/~utopcu/images//4/4d/WTM-itac10R.pdf 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. </p>