skip to main content
research-article
Public Access

Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips

Published:27 September 2017Publication History
Skip Abstract Section

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.

References

  1. Christel Baier, Joost-Pieter Katoen, and Kim Guldstrand Larsen. 2008. Principles of Model Checking. MIT press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarCross RefCross Ref
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarCross RefCross Ref
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle Scholar
  11. 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 ScholarGoogle ScholarCross RefCross Ref
  12. 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 ScholarGoogle Scholar
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle Scholar
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle Scholar
  19. Martin L. Puterman. 2014. Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley 8 Sons.Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle Scholar
  21. 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 ScholarGoogle Scholar
  22. 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 ScholarGoogle ScholarCross RefCross Ref
  23. 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 ScholarGoogle ScholarCross RefCross Ref
  24. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!