BioScript: programming safe chemistry on laboratories-on-a-chip

This paper introduces BioScript, a domain-specific language (DSL) for programmable biochemistry which executes on emerging microfluidic platforms. The goal of this research is to provide a simple, intuitive, and type-safe DSL that is accessible to life science practitioners. The novel feature of the language is its syntax, which aims to optimize human readability; the technical contributions of the paper include the BioScript type system and relevant portions of its compiler. The type system ensures that certain types of errors, specific to biochemistry, do not occur, including the interaction of chemicals that may be unsafe. The compiler includes novel optimizations that place biochemical operations to execute concurrently on a spatial 2D array platform on the granularity of a control flow graph, as opposed to individual basic blocks. Results are obtained using both a cycle-accurate microfluidic simulator and a software interface to a real-world platform

Design and Optimization Methods for Pin-Limited and Cyberphysical Digital Microfluidic Biochips

<p>Microfluidic biochips have now come of age, with applications to biomolecular recognition for high-throughput DNA sequencing, immunoassays, and point-of-care clinical diagnostics. In particular, digital microfluidic biochips, which use electrowetting-on-dielectric to manipulate discrete droplets (or "packets of biochemical payload") of picoliter volumes under clock control, are especially promising. The potential applications of biochips include real-time analysis for biochemical reagents, clinical diagnostics, flash chemistry, and on-chip DNA sequencing. The ease of reconfigurability and software-based control in digital microfluidics has motivated research on various aspects of automated chip design and optimization.</p><p>This thesis research is focused on facilitating advances in on-chip bioassays, enhancing the automated use of digital microfluidic biochips, and developing an "intelligent" microfluidic system that has the capability of making on-line re-synthesis while a bioassay is being executed. This thesis includes the concept of a "cyberphysical microfluidic biochip" based on the digital microfluidics hardware platform and on-chip sensing technique. In such a biochip, the control software, on-chip sensing, and the microfluidic operations are tightly coupled. The status of the droplets is dynamically monitored by on-chip sensors. If an error is detected, the control software performs dynamic re-synthesis procedure and error recovery.</p><p>In order to minimize the size and cost of the system, a hardware-assisted error-recovery method, which relies on an error dictionary for rapid error recovery, is also presented. The error-recovery procedure is controlled by a finite-state-machine implemented on a field-programmable gate array (FPGA) instead of a software running on a separate computer. Each state of the FSM represents a possible error that may occur on the biochip; for each of these errors, the corresponding sequence of error-recovery signals is stored inside the memory of the FPGA before the bioassay is conducted. When an error occurs, the FSM transitions from one state to another, and the corresponding control signals are updated. Therefore, by using inexpensive FPGA, a portable cyberphysical system can be implemented.</p><p>In addition to errors in fluid-handling operations, bioassay outcomes can also be erroneous due the uncertainty in the completion time for fluidic operations. Due to the inherent randomness of biochemical reactions, the time required to complete each step of the bioassay is a random variable. To address this issue, a new "operation-interdependence-aware" synthesis algorithm is proposed in this thesis. The start and stop time of each operation are dynamically determined based on feedback from the on-chip sensors. Unlike previous synthesis algorithms that execute bioassays based on pre-determined start and end times of each operation, the proposed method facilitates "self-adaptive" bioassays on cyberphysical microfluidic biochips.</p><p>Another design problem addressed in this thesis is the development of a layout-design algorithm that can minimize the interference between devices on a biochip. A probabilistic model for the polymerase chain reaction (PCR) has been developed; based on the model, the control software can make on-line decisions regarding the number of thermal cycles that must be performed during PCR. Therefore, PCR can be controlled more precisely using cyberphysical integration.</p><p>To reduce the fabrication cost of biochips, yet maintain application flexibility, the concept of a "general-purpose pin-limited biochip" is proposed. Using a graph model for pin-assignment, we develop the theoretical basis and a heuristic algorithm to generate optimized pin-assignment configurations. The associated scheduling algorithm for on-chip biochemistry synthesis has also been developed. Based on the theoretical framework, a complete design flow for pin-limited cyberphysical microfluidic biochips is presented.</p><p>In summary, this thesis research has led to an algorithmic infrastructure and optimization tools for cyberphysical system design and technology demonstrations. The results of this thesis research are expected to enable the hardware/software co-design of a new class of digital microfluidic biochips with tight coupling between microfluidics, sensors, and control software.</p>Dissertatio

Microfluidic very large-scale integration for biochips: Technology, testing and fault-tolerant design

Microfluidic biochips are replacing the conventional biochemical analyzers by integrating all the necessary functions for biochemical analysis using microfluidics. Biochips are used in many application areas, such as, in vitro diagnostics, drug discovery, biotech and ecology. The focus of this paper is on continuous-flow biochips, where the basic building block is a microvalve. By combining these microvalves, more complex units such as mixers, switches, multiplexers can be built, hence the name of the technology, “microfluidic Very Large-Scale Integration” (mVLSI). A roadblock in the deployment of microfluidic biochips is their low reliability and lack of test techniques to screen defective devices before they are used for biochemical analysis. Defective chips lead to repetition of experiments, which is undesirable due to high reagent cost and limited availability of samples. This paper presents the state-of-the-art in the mVLSI platforms and emerging research challenges in the area of continuous-flow microfluidics, focusing on testing techniques and fault-tolerant design

Terahertz response of microfluidic-jetted fabricated 3D flexible metamaterials

Conventional materials exhibit some restrictions on their electromagnetic properties. Especially in terahertz region, for example, materials that exhibit magnetic response are far less common in nature than materials that exhibit electric response. However, materials can be designed, namely artificial man-made metamaterials that exhibit electromagnetic properties that are not found in natural materials by adjusting, for example, the dielectric, magnetic or structural parameters of the constituent elements. This dissertation demonstrates the use of new fabrication techniques to construct metamaterials in THz range via a material deposition system. The metamaterials are fabricated by stacking alternative layers with conventional designs such as single ring- split ring resonators (SRR) and microstrips to form a 3D metamaterial structure. Conductive nano-particle Ag, Cu and semiconductor polymer fluids are used as structural mediums. The metamaterials are fabricated on polyimide substrate. Their flexible nature will be advantageous in future device innovations. In order to obtain electromagnetic resonance in the terahertz range, the dimensions of the single ring-SRR and microstrips are first approximated by analytical methods and then confirmed by numerical simulation. The fabricated metamaterials are then characterized in transmission mode using Time-domain THz Spectroscopy (THz-TDS) in the 0.1 to 2 THz range

Accelerated Sepsis Diagnosis by Seamless Integration of Nucleic Acid Purification and Detection

<p><bold>Background</bold> The diagnosis of sepsis is challenging because the infection can be caused by more than 50 species of pathogens that might exist in the bloodstream in very low concentrations, e.g., less than 1 colony-forming unit/ml. As a result, among the current sepsis diagnostic methods there is an unsatisfactory trade-off between the assay time and the specificity of the derived diagnostic information. Although the present qPCR-based test is more specific than biomarker detection and faster than culturing, its 6 ~ 10 hr turnaround remains suboptimal relative to the 7.6%/hr rapid deterioration of the survival rate, and the 3 hr hands-on time is labor-intensive. To address these issues, this work aims to utilize the advances in microfluidic technologies to expedite and automate the ``nucleic acid purification - qPCR sequence detection'' workflow.</p><p><bold>Methods and Results</bold> This task is evaluated to be best approached by combining immiscible phase filtration (IPF) and digital microfluidic droplet actuation (DM) on a fluidic device. In IPF, as nucleic acid-bound magnetic beads are transported from an aqueous phase to an immiscible phase, the carryover of aqueous contaminants is minimized by the high interfacial tension. Thus, unlike a conventional bead-based assay, the necessary degree of purification can be attained in a few wash steps. After IPF reduces the sample volume from a milliliter-sized lysate to a microliter-sized eluent, DM can be used to automatically prepare the PCR mixture. This begins with compartmenting the eluent in accordance with the desired number of multiplex qPCR reactions, and then transporting droplets of the PCR reagents to mix with the eluent droplets. Under the outlined approach, the IPF - DM integration should lead to a notably reduced turnaround and a hands-free ``lysate-to-answer'' operation.</p><p>As the first step towards such a diagnostic device, the primary objective of this thesis is to verify the feasibility of the IPF - DM integration. This is achieved in four phases. First, the suitable assays, fluidic device, and auxiliary systems are developed. Second, the extent of purification obtained per IPF wash, and hence the number of washes needed for uninhibited qPCR, are estimated via off-chip UV absorbance measurement and on-chip qPCR. Third, the performance of on-chip qPCR, particularly the copy number - threshold cycle correlation, is characterized. Lastly, the above developments accumulate to an experiment that includes the following on-chip steps: DNA purification by IPF, PCR mixture preparation via DM, and target quantification using qPCR - thereby demonstrating the core procedures in the proposed approach.</p><p><bold>Conclusions</bold> It is proposed to expedite and automate qPCR-based multiplex sparse pathogen detection by combining IPF and DM on a fluidic device. As a start, this work demonstrated the feasibility of the IPF - DM integration. However, a more thermally robust device structure will be needed for later quantitative investigations, e.g., improving the bead - buffer mixing. Importantly, evidences indicate that future iterations of the IPF - DM fluidic device could reduce the sample-to-answer time by 75% to 1.5 hr and decrease the hands-on time by 90% to approximately 20 min.</p>Dissertatio

Evolvable Smartphone-Based Point-of-Care Systems For In-Vitro Diagnostics

Recent developments in the life-science -omics disciplines, together with advances in micro and nanoscale technologies offer unprecedented opportunities to tackle some of the major healthcare challenges of our time. Lab-on-Chip technologies coupled with smart-devices in particular, constitute key enablers for the decentralization of many in-vitro medical diagnostics applications to the point-of-care, supporting the advent of a preventive and personalized medicine. Although the technical feasibility and the potential of Lab-on-Chip/smart-device systems is repeatedly demonstrated, direct-to-consumer applications remain scarce. This thesis addresses this limitation. System evolvability is a key enabler to the adoption and long-lasting success of next generation point-of-care systems by favoring the integration of new technologies, streamlining the reengineering efforts for system upgrades and limiting the risk of premature system obsolescence. Among possible implementation strategies, platform-based design stands as a particularly suitable entry point. One necessary condition, is for change-absorbing and change-enabling mechanisms to be incorporated in the platform architecture at initial design-time. Important considerations arise as to where in Lab-on-Chip/smart-device platforms can these mechanisms be integrated, and how to implement them. Our investigation revolves around the silicon-nanowire biological field effect transistor, a promising biosensing technology for the detection of biological analytes at ultra low concentrations. We discuss extensively the sensitivity and instrumentation requirements set by the technology before we present the design and implementation of an evolvable smartphone-based platform capable of interfacing lab-on-chips embedding such sensors. We elaborate on the implementation of various architectural patterns throughout the platform and present how these facilitated the evolution of the system towards one accommodating for electrochemical sensing. Model-based development was undertaken throughout the engineering process. A formal SysML system model fed our evolvability assessment process. We introduce, in particular, a model-based methodology enabling the evaluation of modular scalability: the ability of a system to scale the current value of one of its specification by successively reengineering targeted system modules. The research work presented in this thesis provides a roadmap for the development of evolvable point-of-care systems, including those targeting direct-to-consumer applications. It extends from the early identification of anticipated change, to the assessment of the ability of a system to accommodate for these changes. Our research should thus interest industrials eager not only to disrupt, but also to last in a shifting socio-technical paradigm

Factories of the Future

Engineering; Industrial engineering; Production engineerin