|
|
| (7 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
|
| |
|
|
| |
| == Objectives ==
| |
|
| |
|
| |
|
| |
| Current Participants:
| |
|
| |
| *[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS)
| |
| *[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski] (Student, CDS)
| |
| *[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf] (Professor, Johns Hopkins)
| |
|
| |
| == Publications ==
| |
|
| |
| == Lectures ==
| |
|
| |
|
| |
| [http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "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 [http://faculty.washington.edu/klavins/papers/icra04-sa.pdf pdf]
| |
|
| |
| ==== 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]
| |
| * 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]
| |