From 2010.igem.org

Mathematical Modeling Overview

Schematical overview of the modeled processes in E. lemming. LSP refers to light switch protein, AP to anchor protein, and Che to the attacked protein of the chemotaxis pathway.

A complex mathematical model of E. lemming from both literature inspired and self developed submodels was created. The final implementation combines deterministic molecular models of the chemotaxis pathway, the light switch and a probabilistic model for the bacterial movement in one model.

This model was used to reduce wet laboratory experiments by identify molecular targets and to create a simulative test bench for the information processing algorithms.

Model implementation

Submodels

Submodels individual processes

In a first step, we implemented individual deterministic molecular models for the subdevices and a stochastic mathematical model of the bacterial movement.

• Light Switch: based on the light-sensitive dimerizing Arabidopsis proteins PhyB and PIF3.
• Chemotaxis Pathway: two similar models of the chemotactic receptor pathway.
• Bacterial Movement: a probabilistic model of E. coli movement, determined by distribution of input bias.

Combined mathematical models

Combined models. Coupled individual models for the simulation of the entire process and their interfaces.

The next step, combining the individual models to a comprehensive and more complex model of E. lemming was achieved in two substeps:

• Light switch - Chemotaxis: used to insights for wet laboratory and information processing.
• Chemotaxis - Movement: complete model of E. lemming.

Experimental Design

Insights for wet laboratory

Since the design of E.lemming implies the existence of many possible biological combinations of the fundamental parts, the first steps in the modeling of our system were directed towards reducing the actual number of combinations implemented in the wetlab. Furthermore, by using the combined molecular models for in silico evaluation of the best possible devices, we derived theoretical results on choosing the biological parts which maximize the chance of a functional final ensemble.

Wet laboratory evaluation results have showed that molecular modeling and experimental biology can interwork to gain new insight on both aspects of our project.

Insights for information processing

In order to adjust the controller to have optimal light pulse rates, the combined molecular model has been used to determine the corresponding time constants.

Information processing evaluation results provide further information on how this task has been accomplished.

Test bench for information processing

Test bench for information processing.

In order to create a first test bench for the information processing pipeline, the combined model has been used to set up and evaluate the controller.

By providing input ports for the actual and the desired movement direction of the bacterium and boolean output ports for both light pulses (red light/far red light), it was possible to time - dependently control the E. lemming and close the loop in simulating the overall network.