|
|
| (4 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
|
| |
|
|
| |
| == Objectives ==
| |
|
| |
| This research effort focusses on bridging theoretical frameworks related to systems verification applied to different fields such as software, controls and biology. These systems can be modeled as discrete or continuous dynamical systems with added performance specifications, some of which include safety constraints, stability or the existence of a recurring state. Techniques for verifying a given system's adherence to design specifications vary from field to field. Our goal is to provide a theoretical foundation for verification that is adaptable to different domains.
| |
| Currently, we are concentrating our efforts on relating techniques in robust control design to software verification concerns.
| |
|
| |
|
| |
| 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]
| |