Given the substantial computational requirements for simulation of even modest size genetic circuits, model abstraction is essential. To reduce the cost of simulation, this course first describes methods to simplify the original reaction-based model by applying several reaction-based abstractions. Second, this course introduces state-based (logical) abstraction methods and analysis techniques that have commonly been applied to electronic circuits.
