Verification: Difference between revisions
Jump to navigation
Jump to search
| Line 21: | Line 21: | ||
== Related Reading == | == 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. | * 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 [http://faculty.washington.edu/klavins/papers/icra04-sa.pdf | * 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 [http://faculty.washington.edu/klavins/papers/icra04-sa.pdf pdf] | ||
==== Model Checking on Cellular Automata ==== | ==== Model Checking on Cellular Automata ==== | ||
* K.Sutner, Model Checking One-Dimensional Cellular Automata, Submitted JCA. [http://www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf pdf] | * K.Sutner, Model Checking One-Dimensional Cellular Automata, Submitted JCA. [http://www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf pdf] | ||
* M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. [http://www.cs.unipr.it/CILC04/DownloadArea/DAntonioD-CILC04.pdf pdf] | * M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. [http://www.cs.unipr.it/CILC04/DownloadArea/DAntonioD-CILC04.pdf pdf] | ||
Revision as of 00:01, 22 May 2008
Objectives
Current Participants:
- Vanessa D. Carson (Student, CDS)
- Andrew 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