Class02

The switch-like character of the dynamics of genetic regulatory networks has attracted much attention from mathematical biologists and researchers on hybrid systems alike. I will present an approach for the qualitative analysis of hybrid models of genetic regulatory networks, based on a class of piecewise-affine differential equation (PADE) models.

I will first present how a discrete transition system that conservatively approximates the continuous dynamics and that preserves the properties of interest can be symbolically computed using a discrete abstraction. Second, I will show how model checking can be used to test efficiently dynamical properties of the original system. Third, I apply this approach to the validation of a model of a genetic regulatory network whose functioning is not yet well-understood by biologists, the nutritional stress response in the bacterium Escherichia coli.

Host: Professor Belta
Student Host: