2009 annual review


Jump to: navigation, search

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.


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


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

Personal tools