Synthesis of Transcription Control with Dynamic Event-Controllability

This paper presents a discrete-event approach to synthesis of transcription control for a class of (computational) gene networks. Given a set of genes and protein-gene and/or protein-protein interaction patterns, this approach can be used to synthesis a transcription control induced by these interaction patterns, and as a consequence, determine the behavior of the gene network. This proposed approach is demonstrated in the synthesis of a transcription control that produces the observed (logical) behavior in the induction of a phage lambda lysogen.