2009 annual review
From VaVMURI
The 2009 MURI review will take place at Caltech on 17 September 2009, at the end of our hands-on workshop. This review will summarize the results of the the past year and lay out directions for future research.
Registration
The review is open to all participants in the MURI, researchers at government agencies and industry partners. Interested attendees should register by sending e-mail to Richard Murray (murray@cds.caltech.edu) with their name and affiliation. A fee of $15/person will be charged to all government employees attending the meeting to cover the cost of meals and snacks.
The review will take place in 74 Jorgensen Laboratory on the Caltech campus (building 80 on the campus map). Parking is available in any of the Caltech parking lots for $5/day.
If you have question or need help with lodging or directions, please contact Richard Murray or Charis Brown (charismb@caltech.edu, (626) 395-4140).
Agenda
| 1:00p | Overview of the MURI (Murray) |
| 1:30p | Verifying Distributed Systems: Examples, Tools, Limitations (Chandy) |
| 2:00p | Specification of Networked Embedded Systems (Klavins) |
| 2:30p | Break |
| 3:00p | Revisiting robustness (Doyle) |
| 3:30p | LTL-based specifications and planning for autonomous systems (Murray) |
| 4:00p | Wrap up and future directions (Murray) |
| 4:15p | Review team caucus |
| 4:45p | Feedback session |
Additional information
- Papers generated by this MURI
- 2009 Annual Report (summarizes results + citations)
