Automatic volume management for programmable microfluidics

Abstract

Microfluidics has enabled lab-on-a-chip technology to miniaturize and integrate biological and chemical analyses to a single chip comprising channels, valves, mixers, heaters, separators, and sensors. Recent papers have proposed programmable labs-on-a-chip as an alternative to traditional application-specific chips to reduce design effort, time, and cost. While these previous papers provide the basic support for programmability, this paper identifies and addresses a practical issue, namely, fluid volume management. Volume management addresses the problem that the use of a fluid depletes it and unless the given volume of a fluid is distributed carefully among all its uses, execution may run out of the fluid before all its uses are complete. Additionally, fluid volumes should not overflow (i.e., exceed hardware capacity) or underflow (i.e., fall below hardware resolution). We show that the problem can be formulated as a linear programming problem (LP). Because LP's complexity and slow execution times in practice may be a concern, we propose another approach, called DAGSolve, which over-constrains the problem to achieve linear complexity while maintaining good solution quality. We also propose two optimizations, called cascading and static replication, to handle cases involving extreme mix ratios and numerous fluid uses which may defeat both LP and DAGSolve. Using some real-world assays, we show that our techniques produce good solutions while being faster than LP.

References

1. MILP LP_Solve 5.5, http://sourceforge.net/project/showfiles.php?group_id=145213.
2. A. M. Amin, M. Thottethodi, T. N. Vijaykumar, S. Wereley, and S. C. Jacobson. AquaCore: A Programmable Architecture for Microfluidics. In Proceedings of the 34th ISCA, pages 254--265, 2007.
3. R. Go' mez, R. Bashir, A. Sarikaya, M. Ladisch, J. Sturgis, J. Robinson, T. Geng, A. Bhunia, H. Apple, and S. Wereley. Microfluidic Biochip for Impedance Spectroscopy of Biological Species. Biomedical Microdevices, 3(3):201--209, 2001.
4. C. C. Gonzaga. An algorithm for solving linear programming programs in O(n3L) operations. In Progress in Mathematical Programming Interior-point and related methods. Springer-Verlag New York, Inc., 1988.
5. A. Hadd, D. Raymond, J. Halliwell, S. Jacobson, and J. Ramsey. Microchip Device for Performing Enzyme Assays. Analytical Chemistry, 69(17):3407--3412, 1997.
6. J. Janssen and H. Corporaal. Partitioned register file for TTAs. In Proceedings of the 28th MICRO, pages 303--312, 1995.
7. Y. Mechref and M. Novotny. Structural Investigations of Glycoconjugates at High Sensitivity. Chemical Reviews, 102(2):321--370, 2002.
8. N. Nguyen and S. Wereley. Fundamentals and Applications of Microfluidics. Artech House, 2002.
9. V. Srinivasan, V. Pamula, M. Pollack, and R. Fair. A digital microfluidic biosensor for multianalyte detection. In Proceedings of the 16th Annual IEEE International Conference on Micro Electro Mechanical Systems, pages 327--330, 2003.
10. W. Thies, J. P. Urbanski, T. Thorsen, and S. Amarasinghe. Abstraction layers for scalable microfluidic biocomputing. Natural Computing, 2007.
11. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121--189, 1995.
12. M. A. Unger, H.-P. Chou, T. Thorsen, A. Scherer, and S. R. Quake. Monolithic Microfabricated Valves and Pumps by Multilayer Soft Lithography. Science, 288(5463):113--116, 2000.
13. J. P. Urbanski, W. Thies, C. Rhodes, S. Amarasinghe, and T. Thorsen. Digital microfluidics using soft lithography. Lab on a Chip, 6(1):96--104, Jan 2006.
14. Y. Zhang. Solving largescale linear programs by interiorpoint methods under the MATLAB environment. Technical Report 9601, Baltimore, MD 21228--5398, USA, 1996.

Index Terms

• Software and its engineering

  • Software notations and tools

    • Compilers