This course introduces how to perform abstraction of genetic circuit models. The first module teaches reaction-based abstraction methods that apply steady-state approximations to reduce the complexity and improve the analysis time of these models. The second module describes piecewise approximations to simplify non-linear reaction-based models of genetic circuits. The third module presents Markov chain models and methods for analyzing them. The fourth module provides methods to abstract models even further using state-based abstraction methods. Finally, the fifth module demonstrates methods, such as infinite-state stochastic model checking, to determine the likelihood that a genetic circuit hazard will cause circuit failure.

This course can also be taken for academic credit as ECEA 5935, part of CU Boulder’s Master of Science in Electrical Engineering.