Petri-net-based 2D Design of DNA Walker Circuits

We consider localised DNA computation, where a DNA strand walks along a binary decision graph to compute a binary function. One of the challenges for the design of reliable walker circuits consists in leakage transitions, which occur when a walker jumps into another branch of the decision graph. We automatically identify leakage transitions, which allows for a detailed qualitative and quantitative assessment of circuit designs, design comparison, and design optimisation. The ability to identify leakage transitions is an important step in the process of optimising DNA circuit layouts where the aim is to minimise the computational error inherent in a circuit while minimising the area of the circuit. Our 2D modelling approach of DNA walker circuits relies on coloured stochastic Petri nets which enable functionality, topology and dimensionality all to be integrated in one two-dimensional model. Our modelling and analysis approach can be easily extended to 3-dimensional walker systems

Methodology for identifying alternative solutions in a population based data generation approach applied to synthetic biology

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonDesign is an essential component of sustainable development. Computational modelling has become a useful technique that facilitates the design of complex systems. Variables that characterises a complex system are encoded into a computational model using mathematical concepts and through simulation each of these variables alone or in combination are modified to observe the changes in the outcome. This allows the researchers to make predictions on the behaviour of the real system that is being studied in response to the changes. The ultimate goal of any design process is to come up with the best design; as resources are limited, to minimize the cost and resource consumption, and to maximize the performance, profits and efficiency. To optimize means to find the best solution, the best compromise among several conflicting demands subject to predefined requirements. Therefore, computational optimization, modelling and simulation forms an integrated part of the modern design practice. This thesis defines a data analytics driven methodology which enables the identification of alternative solutions of computational design by analysing the generational history of the population based heuristic search used to generate the templates. While optimisation is focused on obtaining the optimal solution this methodology focuses on alternative solutions which are sub optimal by fitness or solutions with similar fitness but different structures. When the optimal design solution is less robust, alternative solutions can offer a sufficiently good accuracy and an achievable resource requirement. The main advantage of the methodology is that it exploits the exploration process of the solution space during a single run, by focusing also on suboptimal solutions, which usually get neglected in the search for an optimal one. The history of the heuristic search is analysed for the emergence of alternative solutions and evolving of a solution. By examining how an initial solution converts to an optimal solution core design patterns are identified, and these were used to improve the design process. Further, this method limits the number of runs of the heuristic search as more solution space is covered. The methodology is generic because it can be used to any instance where a population based heuristic search is applied to generate optimal designs. The applicability of the methodology is demonstrated using three case studies from mathematics (building of a mathematical function for a set target) and biology (obtaining alternative designs for genomic metabolic models [GEM] and DNA walker circuits). In each case a different heuristic search method was used: Gene expression programming (mathematical expressions), genetic algorithms (GEM models) and simulated annealing (DNA walker circuits). Descriptive analytics, visual analytics and clustering was mainly used to build the data analytics driven approach in identifying alternative solutions. This data analytics driven methodology is useful in optimising the computational design of complex systems

A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures

Information technologies enable programmers and engineers to design and synthesize systems of startling complexity that nonetheless behave as intended. This mastery of complexity is made possible by a hierarchy of formal abstractions that span from high-level programming languages down to low-level implementation specifications, with rigorous connections between the levels. DNA nanotechnology presents us with a new molecular information technology whose potential has not yet been fully unlocked in this way. Developing an effective hierarchy of abstractions may be critical for increasing the complexity of programmable DNA systems. Here, we build on prior practice to provide a new formalization of ‘domain-level’ representations of DNA strand displacement systems that has a natural connection to nucleic acid biophysics while still being suitable for formal analysis. Enumeration of unimolecular and bimolecular reactions provides a semantics for programmable molecular interactions, with kinetics given by an approximate biophysical model. Reaction condensation provides a tractable simplification of the detailed reactions that respects overall kinetic properties. The applicability and accuracy of the model is evaluated across a wide range of engineered DNA strand displacement systems. Thus, our work can serve as an interface between lower-level DNA models that operate at the nucleotide sequence level, and high-level chemical reaction network models that operate at the level of interactions between abstract species

Self-assembly of lithographically patterned micropolyhedra

Nature utilizes self-assembly to create structures at a range of length scales. In addition, a variety of biological nanostructures such as viruses have polyhedral geometries and are formed using highly parallel assembly processes. In contrast, it is very challenging to assemble synthetic polyhedra with patterned surfaces at sub-millimeter scales using conventional engineering practices. Inspired by natural fabrication, this thesis is focused on understanding how to assemble such patterned micropolyhedra using both modeling and experiments. Specifically, my work is focused on the development of model polyhedral systems using lithography and self-assembly techniques, demonstrating material versatility and uncovering underlying geometric design rules using mathematical tools. I have investigated an algorithmic approach to self-assemble complex polyhedra such as truncated octahedra. Here, new geometric design rules related to compactness of the precursor nets and pathways were uncovered. I also have studied the influence of pathways and degrees of freedom of intermediates in the assembly of polyhedral isomers and these findings have been compared to geometric models of molecular isomers notably cyclohexane. In addition to a fundamental understanding of self-assembly of polyhedra, I have also explored applications of micropolyhedra. Importantly, I studied a molding process to enhance material versatility and fabricate soft-polyhedra composed of gels and polymers of importance in tissue engineering and biomaterials science. I also describe an approach to use polyhedra patterned with circuits and semiconductor chips to create 3D computational devices by aggregation. In summary, the thesis provides new insight and a robust engineering strategy to mass produce patterned micropolyhedra in a cost-effective manner with material versatility and high yield. In addition to demonstrated applications, we anticipate that these micro polyhedra will offer new capabilities in optics, electronics, robotics, materials science and biomedical engineering

Optogenetic Control of Bacterial Expression by Red Light

In optogenetics, as in nature, sensory photoreceptors serve to control cellular processes by light. Bacteriophytochrome (BphP) photoreceptors sense red and farred light via a biliverdin chromophore and, in response, cycle between the spectroscopically, structurally, and functionally distinct Pr and Pfr states. BphPs commonly belong to two-component systems that control the phosphorylation of cognate response regulators and downstream gene expression through histidine kinase modules. We recently demonstrated that the paradigm BphP from Deinococcus radiodurans exclusively acts as a phosphatase but that its photosensory module can control the histidine kinase activity of homologous receptors. Here, we apply this insight to reprogram two widely used setups for bacterial gene expression from blue-light to red-light control. The resultant pREDusk and pREDawn systems allow gene expression to be regulated down and up, respectively, uniformly under red light by 100-fold or more. Both setups are realized as portable, single plasmids that encode all necessary components including the biliverdin-producing machinery. The triggering by red light affords high spatial resolution down to the single-cell level. As pREDusk and pREDawn respond sensitively to red light, they support multiplexing with optogenetic systems sensitive to other light colors. Owing to the superior tissue penetration of red light, the pREDawn system can be triggered at therapeutically safe light intensities through material layers, replicating the optical properties of the skin and skull. Given these advantages, pREDusk and pREDawn enable red-light-regulated expression for diverse use cases in bacteria.Peer reviewe

Modeling formalisms in systems biology

Systems Biology has taken advantage of computational tools and high-throughput experimental data to model several biological processes. These include signaling, gene regulatory, and metabolic networks. However, most of these models are specific to each kind of network. Their interconnection demands a whole-cell modeling framework for a complete understanding of cellular systems. We describe the features required by an integrated framework for modeling, analyzing and simulating biological processes, and review several modeling formalisms that have been used in Systems Biology including Boolean networks, Bayesian networks, Petri nets, process algebras, constraint-based models, differential equations, rule-based models, interacting state machines, cellular automata, and agent-based models. We compare the features provided by different formalisms, and discuss recent approaches in the integration of these formalisms, as well as possible directions for the future.Research supported by grants SFRH/BD/35215/2007 and SFRH/BD/25506/2005 from the Fundacao para a Ciencia e a Tecnologia (FCT) and the MIT-Portugal Program through the project "Bridging Systems and Synthetic Biology for the development of improved microbial cell factories" (MIT-Pt/BS-BB/0082/2008)

On the development of slime mould morphological, intracellular and heterotic computing devices

The use of live biological substrates in the fabrication of unconventional computing (UC) devices is steadily transcending the barriers between science fiction and reality, but efforts in this direction are impeded by ethical considerations, the field’s restrictively broad multidisciplinarity and our incomplete knowledge of fundamental biological processes. As such, very few functional prototypes of biological UC devices have been produced to date. This thesis aims to demonstrate the computational polymorphism and polyfunctionality of a chosen biological substrate — slime mould Physarum polycephalum, an arguably ‘simple’ single-celled organism — and how these properties can be harnessed to create laboratory experimental prototypes of functionally-useful biological UC prototypes. Computing devices utilising live slime mould as their key constituent element can be developed into a) heterotic, or hybrid devices, which are based on electrical recognition of slime mould behaviour via machine-organism interfaces, b) whole-organism-scale morphological processors, whose output is the organism’s morphological adaptation to environmental stimuli (input) and c) intracellular processors wherein data are represented by energetic signalling events mediated by the cytoskeleton, a nano-scale protein network. It is demonstrated that each category of device is capable of implementing logic and furthermore, specific applications for each class may be engineered, such as image processing applications for morphological processors and biosensors in the case of heterotic devices. The results presented are supported by a range of computer modelling experiments using cellular automata and multi-agent modelling. We conclude that P. polycephalum is a polymorphic UC substrate insofar as it can process multimodal sensory input and polyfunctional in its demonstrable ability to undertake a variety of computing problems. Furthermore, our results are highly applicable to the study of other living UC substrates and will inform future work in UC, biosensing, and biomedicine

Principles for the design of multicellular engineered living systems

Remarkable progress in bioengineering over the past two decades has enabled the formulation of fundamental design principles for a variety of medical and non-medical applications. These advancements have laid the foundation for building multicellular engineered living systems (M-CELS) from biological parts, forming functional modules integrated into living machines. These cognizant design principles for living systems encompass novel genetic circuit manipulation, self-assembly, cell–cell/matrix communication, and artificial tissues/organs enabled through systems biology, bioinformatics, computational biology, genetic engineering, and microfluidics. Here, we introduce design principles and a blueprint for forward production of robust and standardized M-CELS, which may undergo variable reiterations through the classic design-build-test-debug cycle. This Review provides practical and theoretical frameworks to forward-design, control, and optimize novel M-CELS. Potential applications include biopharmaceuticals, bioreactor factories, biofuels, environmental bioremediation, cellular computing, biohybrid digital technology, and experimental investigations into mechanisms of multicellular organisms normally hidden inside the “black box” of living cells

Computing multi-scale organizations built through assembly

The ability to generate and control assembling structures built over many orders of magnitude is an unsolved challenge of engineering and science. Many of the presumed transformational benefits of nanotechnology and robotics are based directly on this capability. There are still significant theoretical difficulties associated with building such systems, though technology is rapidly ensuring that the tools needed are becoming available in chemical, electronic, and robotic domains. In this thesis a simulated, general-purpose computational prototype is developed which is capable of unlimited assembly and controlled by external input, as well as an additional prototype which, in structures, can emulate any other computing device. These devices are entirely finite-state and distributed in operation. Because of these properties and the unique ability to form unlimited size structures of unlimited computational power, the prototypes represent a novel and useful blueprint on which to base scalable assembly in other domains. A new assembling model of Computational Organization and Regulation over Assembly Levels (CORAL) is also introduced, providing the necessary framework for this investigation. The strict constraints of the CORAL model allow only an assembling unit of a single type, distributed control, and ensure that units cannot be reprogrammed - all reprogramming is done via assembly. Multiple units are instead structured into aggregate computational devices using a procedural or developmental approach. Well-defined comparison of computational power between levels of organization is ensured by the structure of the model. By eliminating ambiguity, the CORAL model provides a pragmatic answer to open questions regarding a framework for hierarchical organization. Finally, a comparison between the designed prototypes and units evolved using evolutionary algorithms is presented as a platform for further research into novel scalable assembly. Evolved units are capable of recursive pairing ability under the control of a signal, a primitive form of unlimited assembly, and do so via symmetry-breaking operations at each step. Heuristic evidence for a required minimal threshold of complexity is provided by the results, and challenges and limitations of the approach are identified for future evolutionary studies