2009 V&V MURI hands-on workshop

From VaVMURI

The Caltech/MIT/UW V&V MURI will be hosting a hands-on workshop on 16-17 September 2009 to demonstrate some of the techniques that we have been developing in the MURI and apply various techniques to some sample problems. The goal of this workshop is to both let people know more about what is currently possible (at least in a university setting), but importantly to get feedback from people closer to applications about how useful the tools might be.

If you are interested in attending this workshop, please send e-mail to Charis Brown (charismb@caltech.edu) no later than 6 September 2009 so that we can get a head count. If you have comments, suggestions or questions, feel free to contact Richard Murray (murray@cds.caltech.edu).

Agenda

The workshop will be held in 74 Jorgensen, on the Caltech campus (map). Participants are encouraged to bring their laptops and try out some of the software tools that will be demonstrated. Information on installing packages will be sent to participants approximately 1 week before the workshop.

Wednesday (16 Sep) 8:30a   Registration and continental breakfast 8:45a   Introduction and welcome (R. Murray) 9:00a   Formal methods and theorem proving using PVS (J. White and C. Pilotto) 10:30a   Break 11:00a   Guarded command programs with rates (N. Napp and F. Shaw) 12:30p   Lunch 1:30p   State-Based Hybrid Control and Symbolic Model Checking (J. Braman) 3:00p   Break 3:30p   SPIN for concurrent programs (M. Florian) 5:00p   Adjourn (dinner on your own)

Thursday (17 Sep) 8:00a   Registration and continental breakfast 8:30a   Receding horizon temporal logic planning (N. Wongpiromsarn) 10:00   Break 10:30   Quantitative local analysis of nonlinear systems (U. Topcu) 12:00   Lunch 1:00   2009 V&V MURI review Open to all Caltech, government and industry participants MURI PIs will review progress over the last year 5:00   Adjourn

Travel information

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.

• Directions to Caltech and lodging information

If you have question or need help with lodging or directions, please contact Richard Murray or Charis Brown (charismb@caltech.edu, (626) 395-4140).