EECI 2012: Receding Horizon Temporal Logic Planning: Difference between revisions
No edit summary |
No edit summary |
||
| (7 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{ | {{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. | ||
== Lecture Materials == | == Lecture Materials == | ||
* Lecture slides: [http://www.cds.caltech.edu/~ | * Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/L8_rhtlp-18May12.pdf Receding Horizon Temporal Logic Planning and Compositional Synthesis] | ||
== Further Reading and Additional Information == | == 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, | * <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 (to appear). Details on the receding horizon temporal logic planning. </p> | ||
* <p> [http://www.cds.caltech.edu/~ | * <p>[http://www.cds.caltech.edu/~utopcu/images//0/0a/OTM-cdc11.pdf Distributed power allocation for vehicle management systems], N. Ozay, U. Topcu, and R. Murray, CDC 2011. Details on compositional synthesis. </p> | ||
* <p>[http://www.cds.caltech.edu/~necmiye/pubs/iccps11_longer_version.pdf Distributed synthesis of control protocols for smart camera networks], N. Ozay, UT, T. Wongpiromsarn, and R. Murray, International Conference on Cyber-Physical Systems, 2011. Details on the distributed synthesis procedure covered in this lecture. </p> | |||
* <p>[http://www.cds.caltech.edu/~ | |||
Latest revision as of 07:33, 18 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
Receding horizon temporal logic planning,T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Control, 2012 (to appear). Details on the receding horizon temporal logic planning.
Distributed power allocation for vehicle management systems, N. Ozay, U. Topcu, and R. Murray, CDC 2011. Details on compositional synthesis.
Distributed synthesis of control protocols for smart camera networks, N. Ozay, UT, T. Wongpiromsarn, and R. Murray, International Conference on Cyber-Physical Systems, 2011. Details on the distributed synthesis procedure covered in this lecture.
