Fault Detection, Real-Time Error Recovery, and Experimental Demonstration for Digital Microfluidic Biochips

Hu, Kai; Hsu, Bang-Ning; Madison, Andrew C.; Chakrabarty, Krishnendu; Fair, Richard B.

doi:10.7873/date.2013.124

Cited by 47 publications

(28 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To the best of our knowledge, this has not been exploited for routing of droplets yet. A similar issue has been discussed in [11], but here re-routing of droplets in case of physical failures is considered; not the routing problem as such.…”

Section: Related Workmentioning

confidence: 98%

Exact routing for digital microfluidic biochips with temporary blockages

Keszöcze¹,

Wille²,

Drechsler³

2014

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

View full text Add to dashboard Cite

Abstract-Digital microfluidic biochips enable a higher degree of automation in laboratory procedures in biochemistry and molecular biology and have received significant attention in the recent past. Their design is usually conducted in several stages with routing being a particularly critical challenge. Previously proposed solutions for this design step suffer from two issues: They are mainly of heuristic nature and usually assume that the blockages to be bypassed are present the entire time. In contrast, we present a methodology which exploits the fact that blockages are often only present at certain intervals. At the same time, our approach guarantees exact solutions, i.e. always determines a routing with a minimal number of time steps. Experimental results show that, despite the huge complexity, optimal results can be achieved in reasonable run-time and that the consideration of temporary blockages indeed significantly improves the routing results.

show abstract

Section: Related Workmentioning

confidence: 98%

Exact routing for digital microfluidic biochips with temporary blockages

Keszöcze¹,

Wille²,

Drechsler³

2014

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

View full text Add to dashboard Cite

show abstract

“…Hence, DMFBs are revolutionizing many biochemical analysis procedures, including high-throughput DNA sequencing, point-of-care clinical diagnosis, and protein crystallization [7,9]. In recent years, with the integration of different types of sensors (such as capacitive sensors [10] and optical sensors [8] in a cyberphysical platform), real-time feedback and software-based control can be realized and DMFBs have become even more attractive.…”

Section: Figmentioning

confidence: 99%

“…Recently, Hu et al implemented a hardwareassisted error recovery platform [55]. Errors in droplet transportation on a chip array are detected using a capactive sensor.…”

Section: Synthesis With Error Recoverymentioning

confidence: 99%

See 1 more Smart Citation

Advances in Design Automation Techniques for Digital-Microfluidic Biochips

Ibrahim

Chakrabarty

2015

Formal Modeling and Verification of Cyber-Physical Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Due to their emergence as an efficient platform for pointof-care clinical diagnostics, digital-microfluidic biochips (DMFBs) have received considerable attention in recent years. They combine electronics with biology, and they integrate various bioassay operations, such as sample preparation, analysis, separation, and detection. In this chapter, we first present an overview of digital-microfluidic biochips. We next describe emerging computer-aided design (CAD) tools for the automated synthesis and optimization of biochips from bioassay protocols. The chapter includes solutions for fluidic-operation scheduling, module placement, droplet routing, and pin-constrained chip design. We also show how recent advances in the integration of sensors into a DMFB can be exploited to provide cyberphysical system adaptation based on feedback-driven control.

show abstract

“…Duke University reported software-driven EWoD cyber-physical integration in 2013 [12]. Capacitance sensors detect faults that occur when droplets become stuck due to defects and breakdowns that occur over time in the device substrate.…”

Section: Related Workmentioning

confidence: 99%

Simulation of feedback-driven PCR assays on a 2D electrowetting array using a domain-specific high-level biological programming language

Curtis

Brisk

2015

Microelectronic Engineering

View full text Add to dashboard Cite

a b s t r a c t a r t i c l e i n f oThe motivation of our work is to demonstrate that scientists can describe biochemical assays using a high-level domain-specific programming language and can execute them automatically on a two-dimensional electrowetting array featuring integrated sensors that provide feedback in real-time to the host PC that controls the integrated system. The fundamental research problem that this paper addresses is how to express, at a high level of abstraction, the acquisition of sensory information from the device, and the computation on that data, which is required to perform real-time decision making in response. The approach that we have taken is first, to create a new version of BioCoder, a programming language for automated biology, which we have specialized for electrowetting arrays featuring integrated sensors, and second, to use this language to specify two feedbackdriven Polymerase Chain Reaction (PCR) assays at the desired level of abstraction. Our methodology is to evaluate the performance of these assays using a custom-build runtime system to control the execution of feedbackdriven assays on a cycle-accurate software simulator that accurately characterizes the behavior of the electrowetting platform during assay execution. The result of this experiment is successful simulation of these non-trivial feedback-driven assays, starting from a high-level specification, which allows us to conclude that high-level programming language design and implementation targeting electrowetting (or other competing laboratory-on-a-chip technologies) is feasible.

show abstract

Fault Detection, Real-Time Error Recovery, and Experimental Demonstration for Digital Microfluidic Biochips

Cited by 47 publications

References 0 publications

Exact routing for digital microfluidic biochips with temporary blockages

Exact routing for digital microfluidic biochips with temporary blockages

Advances in Design Automation Techniques for Digital-Microfluidic Biochips

Simulation of feedback-driven PCR assays on a 2D electrowetting array using a domain-specific high-level biological programming language

Contact Info

Product

Resources

About