Early on, we decided to create a computational model of our pattern generation system. This would allow us to accomplish several important goals:
 Demonstrate that the circuit logic was sound
 Test the viability of our construct given realistic parameters
 Probe the effects that different parameters would have on the system
 Identify potential failure modes, and the events that might trigger them
 Evaluate alternative designs of the construct
With these goals in mind, we set about formalizing the system.
To start, we generate equations for all of the transcription reactions:
From there, we came up with the equations for each binding/unbinding reaction:
We can now see some interesting behaviors of our gene circuit. For instance, the transcription of lambda cI mRNA is dependent on the concentration of promoter I12006 that is bound with lambda cI. However, we can also see from the second set of equations that this promoter may be complexed with 434 cI, which acts as a repressor, removing some of the I12006 which would otherwise be available for transcription. It is important to note that the binding of the repressor "overrides" the activity of the activator; this has important effects on the system, and this behavior reflects the reality of the part.
Not shown here are various simple translation and degradation reactions for the protein species; these equations are straightforward and don't merit much mention here. For our purposes, it is assumed that the translation rate is the same for all proteins.
There is an added level of complexity for our construct. Because the device is intended to exhibit behavior at a multicellular level, and some of the species produced (specifically, quorum sensing molecules produced by las and lux pathways) must will be diffusing throughout the plate, we need a way to model diffusion of species. In general, molecular diffusion can be modelled by Fick's 2nd Law:
After we had derived the necessary equations, we began evaluating various packages that would allow us to compute the solutions to these equations over a large array of cells. Unfortunately, this quickly led to problems; we had decided early on that the best way to incorporate the diffusion component into our model was to discretize Fick's 2nd Law as a 2D Gaussian convolution:
We could then compute the diffusion step as a second pass during each time step, after the ODEs had been evaluated  thus skirting around the issue of having to solve thousands of simultaneous PDEs, while still producing realistic results. This would require a computational package that was flexible enough to allow us to hook into the ODE solver, performing our own calculations at each increment. An initial assessment showed that this was going to be more difficult than expected, so we decided to roll our own solution in C++.
Because computational speed was not expected to be an issue, we opted to integrate the ODEs using the Euler method at each increment, followed by a convolution of the quorum sensing molecules according to the above kernel. This method should be reasonably accurate given a small enough timestep.
The program then outputs a bitmap at each iteration with the Fluorescent Protein, Lux signal molecule, and Las signal molecule mapped to the Red, Green, and Blue channels, respectively; as well as a plaintext file with these numbers in a format that can be read by a plotting package (such as the free gnuplot, which we used to generate the graphs on this page).
We also wrote a simple GUI, which would allow us visualize the simulation output as it was running.
Finally, the program used an input bitmap to determine the amount of "light" shining on the system, which for our purposes was mapped directly to intercellular OmpR concentration. This allowed us to perform multiple experiments with various patterns, to test the behavior of our system under different conditions.
Pictured here is the output of one of our completed simulation runs. In this particular run, we initialized the system with a vertical stimulus down the center of the plate, resulting in linear oscillation outwards towards the edges.
This result demonstrates the theoretical feasability of our construct under the conditions present in the simulation.
To further test the simulation, we decided to try another type of initial stimulus and observe the results. The stimulus we chose was seeding the oscillation at the four corners of the "plate". The following is the result of this run, which again reflects the intended behavior of our system.
