Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
Lukas Buecherl1, Riley Roberts2, Pedro Fontanarrosa3
1Department of Biomedical Engineering, University of Colorado Boulder, Boulder, Colorado 80309, United States.
Abstract:
In synthetic biology, combinational circuits are used to program cells for various new applications like biosensors, drug delivery systems, and biofuels. Similar to asynchronous electronic circuits, some combinational genetic circuits may show unwanted switching variations (glitches) caused by multiple input changes. Depending on the biological circuit, glitches can cause irreversible effects and jeopardize the circuit's functionality. This paper presents a stochastic analysis to predict glitch propensities for three implementations of a genetic circuit with known glitching behavior. The analysis uses STochastic Approximate Model-checker for INfinite-state Analysis (STAMINA), a tool for stochastic verification. The STAMINA results were validated by comparison to stochastic simulation in iBioSim resulting in further improvements of STAMINA. This paper demonstrates that stochastic verification can be utilized by genetic designers to evaluate design choices and input restrictions to achieve a desired reliability of operation.
Related Concept Videos
Mutation, Gene Flow, and Genetic Drift
Epistasis Analysis
Genetic Drift
BIBO stability of continuous and discrete -time systems
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
Genetic Variation
Genes exist in different versions called alleles,...
Biostatistics: Overview
Discrete variables are...


