Note: The slides have been revised since the lecture, removing some untruths, adding more about BDDs and exponential distribution, and providing further references.
Symbolic Model Checking: How advanced algorithms test assertions on systems with states than you can imagine possible.
Road Map Review: Shifting between high-level intuitive models and low-level mathematical ones, with multiple choices and analyses.
Continuous Time: Negative exponential distributions and why we use it; starting with Stochastic Petri Nets.
Link: Slides (updated)
Homework
Read the following short articles for Thursday.
- Lucas Laursen. Computational biology: Biological logic. Nature 462:408–410, 2009.
- Jasmin Fisher and Thomas A Henzinger. Executable cell biology Nature Biotechnology 25:1239–1249, 2007.
- Nathalie Chabrier and François Fages. Symbolic model checking of biochemical networks. In Computational Methods in Systems Biology, Proceedings of the First International Workshop, CMSB 2003. Lecture Notes in Computer Science 2602, pages 149–162. Springer-Verlag, 2003.