Despite rapid advances over the last decade, synthetic biology lacks the predictive tools needed to enable rational design. Unlike established engineering disciplines, the engineering of synthetic gene circuits still relies heavily on experimental trial-and-error, a time-consuming and inefficient process that slows down the biological design cycle. This reliance on experimental tuning is becaus...

Synthetic biology aims at translating the methods and strategies from engineering into biology in order to streamline the design and construction of biological devices through standardized parts. Modular synthetic biology devices are designed by means of an adequate elimination of cross-talk that makes circuits orthogonal and specific. To that end, synthetic constructs need to be adequately opt...

The test generation problem for a sequential circuit capable of generating tests with combinational test generation complexity can be reduced to that for the combinational circuit formed by replacing each FF in the sequential circuit by a wire. In this paper, we consider an application of this approach to general sequential circuits. We propose a test generation method using circuit pseudo-tran...

Synthetic biologists aim to construct novel genetic circuits with useful applications through rational design and forward engineering. Given the complexity of signal processing that occurs in natural biological systems, engineered microbes have the potential to perform a wide range of desirable tasks that require sophisticated computation and control. Realising this goal will require accurate p...

Cell-free protein synthesis is becoming a powerful technique to construct and to study complex informational processes in vitro. Engineering synthetic gene circuits in a test tube, however, is seriously limited by the transcription repertoire of modern cell-free systems, composed of only a few bacteriophage regulatory elements. Here, we report the construction and the phenomenological character...

RNA genetic circuitry is emerging as a powerful tool to control gene expression. However, little work has been done to create a theoretical foundation for RNA circuit design. A prerequisite to this is a quantitative modeling framework that accurately describes the dynamics of RNA circuits. In this work, we develop an ordinary differential equation model of transcriptional RNA genetic circuitry,...