EECI 2012: Extensions, Applications, Open Questions: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{eeci-sp12 header|prev= | {{eeci-sp12 header|prev=RHTLP|next=Main Page}} | ||
This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed. | This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed. | ||
Revision as of 13:21, 16 May 2012
| Prev: RHTLP | Course home | Next: Main Page |
This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed.
Lecture Materials
- Lecture slides: Extensions and Open Problems
Further Reading and Additional Material
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.
Distributed power allocation for vehicle management systems, N. Ozay, UT, and R. Murray, Conference on decision and control, 2011. Details on the distributed synthesis procedure applied to vehicle management systems and distributed power allocation.
