Logic analysis and verification of n-input genetic logic circuits

Hasan Baig, Jan Madsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

774 Downloads (Pure)

Abstract

Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected behavior of an n-input genetic logic circuit.
Original languageEnglish
Title of host publicationProceedings of 20th Design, Automation and Test in Europe
PublisherIEEE
Publication date2017
Pages654-657
Article number7927070
ISBN (Print)9783981537093
DOIs
Publication statusPublished - 2017
Event20th Design, Automation and Test in Europe - SwissTech Convention Center, Lausanne, Switzerland
Duration: 27 Mar 201731 Mar 2017
Conference number: 20

Conference

Conference20th Design, Automation and Test in Europe
Number20
LocationSwissTech Convention Center
Country/TerritorySwitzerland
CityLausanne
Period27/03/201731/03/2017
SeriesProceedings of the Design, Automation, and Test in Europe Conference and Exhibition
ISSN1530-1591

Fingerprint

Dive into the research topics of 'Logic analysis and verification of n-input genetic logic circuits'. Together they form a unique fingerprint.

Cite this