Related Experiment Video
Updated: Aug 14, 2026

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins
Published on: October 18, 2022
The formulation of the control of an expression pattern in a gene network by propositional calculus
Hideki Nakayama1, Hiroto Tanaka, Toshimitsu Ushio
1Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyama, Toyonaka, Osaka 560-8531, Japan.
Abstract:
In this study we model a gene network as a continuous-time switching network. In this model, each gene has a binary state which indicates if the gene expresses or not. We propose a method to control a sequence of expression patterns in the gene network model by adding another continuous-time switching network. By using propositional calculus, we will show that the control problem can be formulated as a mixed-integer linear programming problem with linear constraints.
Related Concept Videos
Combinatorial Gene Control
The expression of more than 30,000 genes is controlled by approximately 2000-3000 transcription factors. This is possible because a single transcription factor can recognize more than one regulatory sequence. The specificity in gene...
Constitutive and Regulated Gene Expression
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Algebraic Expressions
Relation between Mathematical Equations and Block Diagrams
Regulation of Expression Occurs at Multiple Steps
Transcription results in the generation of precursor (pre-mRNA) that consists of both exons and introns, which needs further processing before being translated to a...
