Abstract
A digital microfluidic biochip (DMFB) is an attractive technology platform for various biomedical applications. However, a conventional DMFB is limited by: (i) the number of electrical connections that can be practically realized, (ii) constraints on droplet size and volume, and (iii) the need for special fabrication processes and the associated reliability/yield concerns. To overcome the above challenges, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have been proposed and fabricated recently. Error recovery is of key interest for MEDA biochips due to the need for system reliability. Errors are likely to occur during droplet manipulation due to defects, chip degradation, and the uncertainty inherent in biochemical experiments. In this paper, we first formalize error-recovery objectives, and then synthesize optimal error-recovery protocols using a model based on Stochastic Multiplayer Games (SMGs). We also present a global error-recovery technique that can update the schedule of fluidic operations in an adaptive manner. Using three representative real-life bioassays, we show that the proposed approach can effectively reduce the bioassay completion time and increase the probability of success for error recovery.
- Christel Baier, Joost-Pieter Katoen, and Kim Guldstrand Larsen. 2008. Principles of Model Checking. MIT press. Google Scholar
Digital Library
- Irena Barbulovic-Nad, Hao Yang, Philip S. Park, and Aaron R. Wheeler. 2008. Digital microfluidics for cell-based assays. Lab on a Chip 8 (2008), 519--526.Google Scholar
- Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis. 2013. Automatic verification of competitive stochastic systems. Formal Methods in System Design 43, 1 (2013), 61--92.Google Scholar
Cross Ref
- Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis. 2013. PRISM-games: A model checker for stochastic multi-player games. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 185--191. Google Scholar
Digital Library
- Antonis I. Drygiannakis, Athanasios G. Papathanasiou, and Andreas G. Boudouvis. 2008. On the connection between dielectric breakdown strength, trapping of charge, and contact angle saturation in electrowetting. Langmuir 25 (2008), 147--152.Google Scholar
Cross Ref
- Richard B. Fair, Andrey Khlystov, Tina D. Tailor, Vladislav Ivanov, Randall D. Evans, Vijay Srinivasan, Vamsee K. Pamula, Michael G. Pollack, Peter B. Griffin, and Jack Zhou. 2007. Chemical and biological applications of digital-microfluidic devices. IEEE Design 8 Test of Computers 24 (2007), 10--24. Google Scholar
Digital Library
- Yingchieh Ho, Gary Wang, Kelvin Yi-Tse Lai, Yi-Wen Lu, Keng-Ming Liu, Yun-Ming Wang, and Chen-Yi Lee. 2016. Design of a micro-electrode cell for programmable lab-on-CMOS platform. In Proceedings of the IEEE International Symposium on Circuits and Systems. 2871--2874.Google Scholar
Digital Library
- Mohamed Ibrahim and Krishnendu Chakrabarty. 2015. Efficient error recovery in cyberphysical digital-microfluidic biochips. IEEE Transactions on Multi-Scale Computing Systems 1 (2015), 46--58.Google Scholar
Cross Ref
- Mohamed Ibrahim, Krishnendu Chakrabarty, and Kristin Scott. 2017. Synthesis of cyberphysical digital-microfluidic biochips for real-time quantitative analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 5 (May 2017), 733--746. Google Scholar
Digital Library
- Mohamed Ibrahim, Zipeng Li, and Krishnendu Chakrabarty. 2015. Advances in design automation techniques for digital-microfluidic biochips. In Formal Modeling and Verification of Cyber-Physical Systems. 190--223.Google Scholar
- Christopher Jaress, Philip Brisk, and Daniel Grissom. 2015. Rapid online fault recovery for cyber-physical digital microfluidic biochips. In 2015 IEEE 33rd VLSI Test Symposium (VTS). 1--6.Google Scholar
Cross Ref
- Kelvin Yi-Tse Lai, Ming-Feng Shiu, Yi-Wen Lu, Yingchieh Ho, Yu-Chi Kao, Yu-Tao Yang, Gary Wang, Keng-Ming Liu, Hsie-Chia Chang, and Chen-Yi Lee. 2015. A field-programmable lab-on-a-chip with built-in self-test circuit and low-power sensor-fusion solution in 0.35 m standard CMOS process. In Proceedings of the IEEE Asian Solid-State Circuits Conference. 1--4.Google Scholar
- Kelvin Yi-Tse Lai, Yu-Tao Yang, and Chen-Yi Lee. 2015. An intelligent digital microfluidic processor for biomedical detection. Journal of Signal Processing Systems 78 (2015), 85--93. Google Scholar
Digital Library
- Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty, Tsung-Yi Ho, and Chen-Yi Lee. 2017. Droplet size-aware high-level synthesis for micro-electrode-dot-array digital microfluidic biochips. IEEE Transactions on Biomedical Circuits and Systems 11, 3 (June 2017), 612--626.Google Scholar
- Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, and Chen-Yi Lee. 2016. Error recovery in a micro-electrode-dot-array digital microfluidic biochip. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. 105:1--105:8. Google Scholar
Digital Library
- Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Tsung-Yi Ho, Krishnendu Chakrabarty, and Chen-Yi Lee. 2016. High-level synthesis for micro-electrode-dot-array digital microfluidic biochips. In 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC). 146:1--146:6. Google Scholar
Digital Library
- Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho. 2013. Error recovery in cyberphysical digital microfluidic biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32 (2013), 59--72. Google Scholar
Digital Library
- Haig Norian, Ryan M. Field, Ioannis Kymissis, and Kenneth L. Shepard. 2014. An integrated CMOS quantitative-polymerase-chain-reaction lab-on-chip for point-of-care diagnostics. Lab on a Chip 14, 20 (2014), 4076--4084.Google Scholar
- Martin L. Puterman. 2014. Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley 8 Sons.Google Scholar
Digital Library
- Ramakrishna Sista, Zhishan Hua, Prasanna Thwar, Arjun Sudarsan, Vijay Srinivasan, Allen Eckhardt, Michael Pollack, and Vamsee Pamula. 2008. Development of a digital microfluidic platform for point of care testing. Lab on a Chip 8 (2008), 2091--2104.Google Scholar
- Vijay Srinivasan, Vamsee K. Pamula, Phil Paik, and Richard B. Fair. 2004. Protein stamping for MALDI mass spectrometry using an electrowetting-based microfluidic platform. Proc. SPIE 5591 (2004), 26--32.Google Scholar
- Mária Svoreňová and Marta Kwiatkowska. 2016. Quantitative verification and strategy synthesis for stochastic games. European Journal of Control 30 (2016), 15--30.Google Scholar
Cross Ref
- Erin R. Ferguson Welch, Yan-You Lin, Andrew Madison, and Richard B. Fair. 2011. Picoliter DNA sequencing chemistry on an electrowetting-based digital microfluidic platform. Biotechnology Journal 6 (2011), 165--176.Google Scholar
Cross Ref
- Yang Zhao, Tao Xu, and Krishnendu Chakrabarty. 2010. Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. ACM Journal on Emerging Technologies in Computing Systems 6, 3, Article 11 (Aug. 2010), 28 pages. Google Scholar
Digital Library
Index Terms
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
Recommendations
Error recovery in a micro-electrode-dot-array digital microfluidic biochip
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)A digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today's DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet ...
High-level synthesis for micro-electrode-dot-array digital microfluidic biochips
DAC '16: Proceedings of the 53rd Annual Design Automation ConferenceA digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today's DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet ...
Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips
DAC '08: Proceedings of the 45th annual Design Automation ConferenceRecent advances in digital microfluidics have enabled lab-on-a-chip devices for DNA sequencing, immunoassays, clinical chemistry, and protein crystallization. Basic operations such as droplet dispensing, mixing, dilution, localized heating, and ...






Comments