Verification: Difference between revisions

From John C. Doyle
Jump to navigation Jump to search
Line 5: Line 5:
== Publications ==
== Publications ==


== Lectures ==
[http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "Model Checking with Automata"]




Revision as of 16:52, 22 May 2008



Publications

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

Model Checking on Cellular Automata

  • K.Sutner, Model Checking One-Dimensional Cellular Automata, Submitted JCA. pdf
  • M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. pdf
Retrieved from "https://doyle.caltech.edu/index.php?title=Verification&oldid=2270"