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

From Murray Wiki
Jump to navigationJump to search
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{AFRL12 header|prev=Synthesis of Reactive Control Protocols  |next=TuLiP}}
+
{{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.
 
{{righttoc}}
 
 
  
 
==  Lecture Materials ==
 
==  Lecture Materials ==
* Lecture slides: [http://www.cds.caltech.edu/~utopcu/EECI2012/L8_rhtlp_18May12.pdf Receding Horizon Temporal Logic Planning]
+
* 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, 2010.  Details on the receding horizon temporal logic planning.  </p>  
+
* <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/~murray/wiki/index.php/EECI08:_Optimization-Based_Control Optimization based control]. A page prepared for EECI 2008 with information and material on basic receding horizon control.</p>
+
* <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://control.ee.ethz.ch/~mpt/ Multiparametric Toolbox]  The Multi-Parametric Toolbox (MPT) is a free Matlab toolbox for design, analysis and deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. [http://www.cds.caltech.edu/tulip The receding horizon temporal logic planning toolbox] uses the polytope manipulation (intersection, union, set difference, projection, etc.) functionalities of MPT. </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/~utopcu/images//9/98/WTM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems, 2010. Details on the abstraction procedure covered in this lecture. </p>
 
 
 
*<p> [http://www.mpc.berkeley.edu/mpc-course-material/BBMbook_Cambridge.pdf?attredirects=0&d=1 Predictive Control]: A book draft by Bemporap, Borrelli, and Morari. Details on some of the ideas in the implementation of the abstraction procedure presented in the slides can be found in this book. </p>
 

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