Article

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.

   

Creator

• Fontanarrosa, Pedro
• Myers, Chris J
• Zhang, Zhen
• Buecherl, Lukas
• Roberts, Riley
• Thomas, Payton J
• Mante, Jeanet

Date Issued

• 2021

Academic Affiliation

• Biomedical Engineering
• Electrical, Computer and Energy Engineering (ECEE)

Journal Title

• ACS SyntheticBiology

Journal Issue/Number

• 10

Journal Volume

• 10

Last Modified

• 2023-07-28

Resource Type

• Postprint

Rights Statement

• In Copyright

DOI

•  https://doi.org/10.1021/acssynbio.1c00159

Language

• English [eng]

Relationships

Items

Thumbnail	Title	Date Uploaded	Visibility	Actions
	Stochastic.pdf	2023-07-28	Public	Download