Verification: Difference between revisions
Jump to navigation
Jump to search
m (→Objectives) |
|||
| Line 8: | Line 8: | ||
*[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS) | *[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS) | ||
*[http://www.cds.caltech.edu/~andyl/ | *[http://www.cds.caltech.edu/~andyl/ Andy Lamperski] (Student, CDS) | ||
*[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf] (Professor, Johns Hopkins) | *[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf] (Professor, Johns Hopkins) | ||
Revision as of 00:04, 22 May 2008
Objectives
Current Participants:
- Vanessa D. Carson (Student, CDS)
- Andy Lamperski (Student, CDS)
- Danielle C.Tarraf (Professor, Johns Hopkins)
Publications
Lectures
"Model Checking with Automata"
Related Reading
Verification and Control
- D. C. Tarraf, A. Megretski and M. A. Dahleh, A Framework for Robust Stability of Systems Over Finite Alphabets, To appear in IEEE Transactions on Automatic Control, June 2008.
- E. Klavins, R. Ghrist, and D. Lipsky, Graph Grammars for Self-Assembling Robotic Systems, Proceedings of the International Conference on Robotics and Automation. May, 2004, pp. 5293- 5300 pdf