Prof. Alexander Bockmayr
Freie Universität Berlin, Institut für Mathematik
Logical analysis of transition systems
Abstract:
Transition systems arise as finite or infinite abstractions of dynamical
systems. Dynamic properties may be analysed by expressing them in
temporal logic and applying model checking techniques from computational
logic. Originally developed for the verification of electronic circuits,
these methods have recently been applied successfully to the analysis of
gene regulatory networks. In this talk, I will give an overview of the
mathematical framework and then discuss some of our current work in
systems biology.
| Datum: | | 16.02.2007 |
Zeit: | | 14.15 |
Ort: | | FU Berlin, Institut für Mathematik, Arnimallee 6, 14195 Berlin. |
Raum: | | 032 im Erdgeschoss |
